Programming Deadlock
1.47K subscribers
3 photos
104 files
1.18K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Applied Category Theory Course
https://math.ucr.edu/home/baez/act_course/
πŸ₯΄1
❀1πŸ‘1
Complete Bidirectional Typing for the Calculus of Inductive Constructions
https://arxiv.org/pdf/2102.06513.pdf
❀1
Making a fast curry: push/enter vs. eval/apply for higher-order languages
https://www.microsoft.com/en-us/research/uploads/prod/2016/07/eval-apply-icfp.pdf
A simple, arena-backed, generic dynamic array for C
https://nullprogram.com/blog/2023/10/05/
πŸ”₯3πŸ’Š1
An Algebraic Approach to Typechecking and Elaboration
https://bentnib.org/docs/algebraic-typechecking-20150218.pdf
πŸ‘1πŸ”₯1
Guide to Network Programming
https://beej.us/guide/bgnet/html/
πŸ”₯3πŸ‘Ž1