homepostsblogrollCHC3
  • Borrow-checking without type-checking (2026-04-22)
    www.scattered-thoughts.net
  • Symposium: community-oriented agentic development (2026-04-21)
    smallcultfollowing.com
  • 256 Lines or Less: Test Case Minimization (2026-04-20)
    matklad.github.io
  • A simplified model of Fil-C (2026-04-17)
    www.corsix.org
  • Whispering gallery (2026-04-14)
    mmapped.blog
  • Spec Driven Development isn't Waterfall (2026-04-09)
    brooker.co.za
  • 0058: borrow-checking surprises, books, links (2026-04-07)
    www.scattered-thoughts.net
  • Borrow-checking surprises (2026-04-07)
    www.scattered-thoughts.net
  • What about juniors? (2026-03-25)
    brooker.co.za
  • From error-handling to structured concurrency (2026-03-23)
    blog.nelhage.com
  • Maximally minimal view types, a follow-up (2026-03-22)
    smallcultfollowing.com
  • Kirk, Scotty, and Spock (2026-03-22)
    mmapped.blog
  • Maximally minimal view types (2026-03-21)
    smallcultfollowing.com
  • My heuristics are wrong. What now? (2026-03-20)
    brooker.co.za
  • Consensus Board Game (2026-03-19)
    matklad.github.io
  • LLM time (2026-03-14)
    graydon2.dreamwidth.org
  • JJ LSP Follow Up (2026-03-05)
    matklad.github.io
  • The third hard problem (2026-02-28)
    mmapped.blog
  • Dear Time Lords: Freeze Computers In 1993 (2026-02-27)
    graydon2.dreamwidth.org
  • Anthropics Compiler Challenge (2026-02-08)
    www.corsix.org
  • Thoughts on No Graphics API (2026-01-05)
    www.corsix.org
  • Six versions accessing: wait-free protected versions with bounded cardinality (2025-12-30)
    www.pvk.ca
  • A note on Fil-C (2025-11-07)
    graydon2.dreamwidth.org
  • Zig's New Async I/O (Text Version) (2025-10-29)
    andrewkelley.me
  • Solving regex crosswords with Z3 (2025-10-21)
    blog.nelhage.com
  • An Open Letter to Everyone I've Butted Heads With (2025-08-29)
    andrewkelley.me
  • Monoid-augmented FIFOs, deamortised (2025-08-20)
    www.pvk.ca
  • Renting is for Suckers (2025-07-24)
    andrewkelley.me
  • 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)
    blog.burntsushi.net
  • A byte string library for Rust (2022-09-07)
    blog.burntsushi.net
  • Using unwrap() in Rust is Okay (2022-08-08)
    blog.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