Programming Deadlock
1.47K 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
Making sense of TypeScript using set theory
https://blog.thoughtspile.tech/2023/01/23/typescript-sets/
Miri: An experimental interpreter for Rust's mid-level intermediate representation (MIR). It can run binaries and test suites of cargo projects and detect certain classes of undefined behavior
https://github.com/rust-lang/miri
🤔5😨1
Higher-order Virtual Machine: HVM is a pure functional runtime that is lazy, non-garbage-collected and massively parallel. It is also beta-optimal, meaning that, for higher-order computations, it can, in some cases, be up to exponentially faster than alternatives, including Haskell's GHC.
https://github.com/HigherOrderCO/HVM
bdwgc: A garbage collector for C and C++
https://www.hboehm.info/gc/