fanf2
- Karma
- 0
- Created
- ()
- Submissions
- 0
- 6× faster batched binary search in Rust (pythonspeed.com)
- Mechanized type inference for record concatenation as in Nix (haskellforall.com)
- In-place functional programming with Koka (dl.acm.org)
- CO2 helps viruses stay alive longer in the air (statnews.com)
- Ditching Vagrant: VMs with KVM and Virsh on Debian (benjamintoll.com)
- Proving the fundamental theorem of arithmetic in Agda (byorgey.github.io)
- The Economics of Starlink and SpaceX (ispcol.potaroo.net)
- An arbitrary-palette positional dithering algorithm (bisqwit.iki.fi)
- Flap: A deterministic parser with fused lexing (arxiv.org)
- Unfathomable bugs #10: The Broken Windows Build (algassert.com)
- Question: Is matching fixed regexes with back-references in P? (branchfree.org)
- Prism: An impure functional language with typed effects (stephendiehl.com)
- Perceus: Garbage free reference counting with reuse (dl.acm.org)
- What data access pattern is as slow as possible? (blog.weineng.me)
- Shard your locks: benchmarking 6 Golang cache designs (strebkov.dev)
- Swsim: A Software SIM Card (github.com)
- Mlibc: A fukk-featured portable C standard library (github.com)
- Record Type Inference for Dummies (haskellforall.com)
- Performance of WASM Runtimes in 2026 (00f.net)