Programming Deadlock

Открыть в Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

Больше

США10 581 Технологии и приложения31 123

1 792

Подписчики

+124 часа

+107 дней

+4330 день

930

Просмотры поста

~ 39624 часа

~ 46448 часов

51.93%

Коэффициент вовлеченности

Нет данных

Постов в день

Ads index

beta

Архив постов

1 790

Isometric Projection in Game Development https://pikuma.com/blog/isometric-projection-in-games

1 790

An experimental proof assistant based on a type theory for synthetic ∞-categories. https://github.com/rzk-lang/rzk

1 790

https://github.com/rzk-lang/rzk

1 790

Hashing Modulo Alpha-Equivalence https://arxiv.org/pdf/2105.02856

1 790

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter https://www.cs.tufts.edu/~nr/pubs/maniaws.pdf

1 790

Parallel programming facilities in OCaml https://ocaml.org/manual/5.2/parallelism.html

1 790

Type-Safe Modular Hash-Consing https://usr.lmf.cnrs.fr/~jcf/ftp/publis/hash-consing2.pdf

1 790

SSA is Functional Programming https://dl.acm.org/doi/pdf/10.1145/278283.278285

1 790

SSA is Functional Programming https://dl.acm.org/doi/pdf/10.1145/278283.278285

1 790

Ray Tracing in One Weekend Book Series https://github.com/RayTracing/raytracing.github.io

1 790

The Best Refactoring You've Never Heard Of https://www.youtube.com/watch?v=vNwukfhsOME

1 790

GitHub Roaster https://github-roast.pages.dev/

1 790

The Linux Kernel Module Programming Guide https://sysprog21.github.io/lkmpg/

1 790

Guix Tips and Common Mistakes https://lambdanil.github.io/Guix_Mistakes/

1 790

Crafting Interpreters https://craftinginterpreters.com/contents.html

1 790

The Functional Machine Calculus https://arxiv.org/abs/2212.08177

1 790

rustgo: calling Rust from Go with near-zero overhead https://words.filippo.io/rustgo/

1 790

jot2022-mvs.pdf

1 790

Reduction of Language Hierarchies https://www.researchgate.net/publication/2819049_Reduction_of_Language_Hierarchies

1 790

Abstract interpretation in the Toy Optimizer https://bernsteinbear.com/blog/toy-abstract-interpretation/