Programming Deadlock
1.59K subscribers
3 photos
124 files
1.29K links
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
coqasm.pdf
296.9 KB
Coq: The world’s best macro assembler?
πŸ’―7🀯1
SectorC: A C Compiler in 512 bytes
https://xorvoid.com/sectorc.html
πŸ€”1πŸ‘Ύ1
❀7😐5
πŸ‘3🀯1
P10.pdf
36.4 KB
The Power of Ten: Rules for Developing Safety Critical Code (NASA)
πŸ”₯5πŸ—Ώ2
paramorphism-synthesis.pdf
370.6 KB
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
πŸ”₯2
unification-and-anti-CoC.pdf
168.7 KB
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
πŸ™2πŸ‘1πŸ”₯1