Linear Types
A line-by-line translation of the OCaml runtime from C to Rust
λFunctional Programming Content type: DiscussionInduction for extended affine type A Soergel bimodules: first steps
📏LinearTypes Content type: AcademicRust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
⚙️Systems Programming Content type: Blog Content type: DiscussionLess-relevant results