- SAIR Open Math OS released (2026-10-16)
terrytao.wordpress.com - How to Formalize All of Mathematics (2026-10-16)
terrytao.wordpress.com - Why are we even doing all this? (2026-10-15)
terrytao.wordpress.com - What agents mean for Rust (and vice versa) (2026-10-14)
smallcultfollowing.com - Why 'externalized' proofs of cyclic trait impls does not work (2026-10-10)
smallcultfollowing.com - On Git Refs (2026-10-07)
matklad.github.io - Benchmark In Milliseconds (2026-10-05)
matklad.github.io - Strands Decider: Why Not an Encoder? (2026-10-04)
brooker.co.za - Small Decisions: Engineering a Leading Model (2026-09-28)
brooker.co.za - 0061: i'm not a cat, artificial adventures, synthetic sagas, anthropic, sponsors (2026-09-20)
www.scattered-thoughts.net - Synthetic sagas (2026-09-20)
www.scattered-thoughts.net - Finding Bugs (2026-09-19)
matklad.github.io - Encoding vcmpps and vcmppd (2026-08-17)
www.corsix.org - Cylic trait implementations: motivation (2026-08-10)
smallcultfollowing.com - Don't Take the Black Pill (Text Adaptation) (2026-07-31)
andrewkelley.me - Lorenz and Little: How Much Does Your Tail Cost? (2026-07-29)
brooker.co.za - Backtrack-free cursive (2026-07-12)
mmapped.blog - My Thoughts on the Bun Rust Rewrite (2026-07-09)
andrewkelley.me - Artificial adventures (2026-07-01)
www.scattered-thoughts.net - More Fake Mastodon Signups (2026-06-12)
aphyr.com - Getting Paid by Flat Rate Movers (2026-06-07)
aphyr.com - Encephalitis (2026-06-03)
burntsushi.net - Interleaved deltas (2026-05-22)
mmapped.blog - The Kyle Kingsbury Podcast Podcast - Episode 2 - Dave Rossi (2026-05-08)
aphyr.com - A simplified model of Fil-C (2026-04-17)
www.corsix.org - Whispering gallery (2026-04-14)
mmapped.blog - From error-handling to structured concurrency (2026-03-23)
blog.nelhage.com - Anthropics Compiler Challenge (2026-02-08)
www.corsix.org - 2025 Recap: so many projects (2025-12-31)
fasterthanli.me - Six versions accessing: wait-free protected versions with bounded cardinality (2025-12-30)
www.pvk.ca - Introducing arborium, a tree-sitter distribution (2025-12-13)
fasterthanli.me - Does Dioxus spark joy? (2025-11-22)
fasterthanli.me - Zig's New Async I/O (Text Version) (2025-10-29)
andrewkelley.me - Solving regex crosswords with Z3 (2025-10-21)
blog.nelhage.com - Monoid-augmented FIFOs, deamortised (2025-08-20)
www.pvk.ca - The ITTAGE indirect branch predictor (2025-07-04)
blog.nelhage.com - VPTERNLOG: when three is 100% more than two (2024-11-23)
www.pvk.ca - Generators with UnpinCell (2024-10-25)
without.boats - UnpinCell (2024-10-16)
without.boats - Pinned places (2024-07-23)
without.boats - Regex engine internals as a library (2023-07-05)
burntsushi.net - A byte string library for Rust (2022-09-07)
burntsushi.net - Proving the Coding Interview II (2022-04-28)
dijkstracula.github.io - Proving the Coding Interview (2022-04-17)
dijkstracula.github.io - Notes on setting up Ivy in Python 3 (2022-04-17)
dijkstracula.github.io