Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 869
مشترکین
+124 ساعت
+77 روز
+3730 روز
آرشیو پست ها
1 869
How OCaml type checker works -- or what polymorphism and garbage collection have in common
https://okmij.org/ftp/ML/generalization.html
1 869
Better Firmware with LLVM/Clang
https://interrupt.memfault.com/blog/arm-cortexm-with-llvm-clang
1 869
Delimited continuations in operating systems
https://okmij.org/ftp/continuations/ZFS/context-OS.pdf
1 869
An experimental proof assistant based on a type theory for synthetic ∞-categories.
https://github.com/rzk-lang/rzk
1 869
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter
https://www.cs.tufts.edu/~nr/pubs/maniaws.pdf
