Available now! Telegram Research 2025 — the year's key insights 
Programming Deadlock
Open in Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Show more1 684
Subscribers
+324 hours
+87 days
+3630 days
Posts Archive
1 684
A Lisp Way to Type Theory and Formal Proofs
https://hal.science/hal-01563373
1 684
What every programmer should know about memory, Part 1
https://lwn.net/Articles/250967/
1 684
A simple program specializer (based on partial evaluation) for a subset of Scheme.
https://github.com/sergei-romanenko/unmix
1 684
Metaprogramming (Julia)
https://docs.julialang.org/en/v1/manual/metaprogramming/#Metaprogramming
1 684
Asymptotic speedup via effect handlers
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/asymptotic-speedup-via-effect-handlers/296879DE2FD96FB6CF388F27978C76E4
1 684
Improvements to static analysis in the GCC 14 compiler
https://developers.redhat.com/articles/2024/04/03/improvements-static-analysis-gcc-14-compiler
1 684
Fixing a Bug in PyPy's Incremental GC
https://www.pypy.org/posts/2024/03/fixing-bug-incremental-gc.html
1 684
Garbage Collection for Systems Programmers
https://bitbashing.io/gc-for-systems-programmers.html
1 684
Binding Time Analysis: A New PERspective
https://dl.acm.org/doi/pdf/10.1145/115865.115881
1 684
CONS Should not CONS its Arguments, or, a Lazy Alloc is a Smart Alloc
https://www.cs.tufts.edu/~nr/cs257/archive/henry-baker/cons-lazy-alloc.pdf
1 684
An impure solution to the problem of matching fans
https://arxiv.org/pdf/1710.07516.pdf
1 684
About the efficient reduction of lambda terms
Andrea Asperti
https://arxiv.org/pdf/1701.04240v1.pdf
1 684
Macros that Compose: Systematic Macro Programming
https://okmij.org/ftp/Scheme/Macros-talk.pdf
1 684
Build systems a la carte: theory and practice
https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/
1 684
Experimental undelimited continuations in C via x86-64 assembly
https://github.com/cslarsen/callcc-c/blob/master/callcc.c
