Programming Deadlock
1.48K subscribers
3 photos
104 files
1.19K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
Vala: an Object-Oriented Programming Language with a Self-Hosting Compiler that generates C code and uses GObject as Type System
https://vala.dev/
Applied Category Theory 2022: Live Talks
https://statebox.tv
https://statebox.tv/act2022/live
The Architecture of Open Source Applications
https://aosabook.org/en/index.html
LiquidHaskell (LH) refines Haskell's types with logical predicates that let you enforce critical properties at compile time.
https://ucsd-progsys.github.io/liquidhaskell-blog/