News

  1. Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (twitter.com)
  2. Founder of GitLab battles cancer by founding companies (sytse.com)
  3. Linux is an interpreter (astrid.tech)
  4. I decompiled the White House's new app (thereallo.dev)
  5. AI overly affirms users asking for personal advice (news.stanford.edu)
  6. Spanish legislation as a Git repo (github.com)
  7. I Built an Open-World Engine for the N64 [video] (www.youtube.com)
  8. Cocoa-Way – Native macOS Wayland compositor for running Linux apps seamlessly (github.com)
  9. CERN uses ultra-compact AI models on FPGAs for real-time LHC data filtering (theopenreader.org)
  10. From Cloud Native to Serverless with Cloudflare (jahvon.dev)
  11. AMD's Ryzen 9 9950X3D2 Dual Edition crams 208MB of cache into a single chip (arstechnica.com)
  12. Go hard on agents, not on your filesystem (jai.scs.stanford.edu)
  13. Browned Butter Poached Fish with Mussels (www.alisoneroman.com)
  14. Browned Butter Poached Fish with Mussels (www.alisoneroman.com)
  15. Aioli for Everything (www.alisoneroman.com)
  16. My practitioner view of program analysis (sawyer.dev)
  17. Code generation that just works (maryrosecook.com)
  18. Using Perfetto in ZJIT (bernsteinbear.com)
  19. What I built at Recurse Center - a 12 week programming retreat (Return Statement W2'26) (hamy.xyz)
  20. My experience with hypnotherapy for post-viral fatigue/pain/fear (blog.danielsosebee.com)
  21. Building a Runtime with QuickJS (healeycodes.com)
  22. The bee that everyone wants to save (naturalist.bearblog.dev)
  23. Paper Tape Is All You Need – Training a Transformer on a 1976 Minicomputer (github.com)
  24. Hacking old hardware by renaming to .zip [video] (www.youtube.com)
  25. C++26: A User-Friednly assert() macro (www.sandordargo.com)
  26. Actually Effective Corporate Leadership Training (commoncog.com)
  27. AI, Take The Wheel (irvin.quest)
  28. The RSS feed is moving (jimkang.com)
  29. piano (approximateknowledge.net)
  30. for the love of it (clarionsong.substack.com)
  31. Why I Make My Agents Keep Diaries (the.scapegoat.dev)
  32. Build a Single-File Rust Web API with SQLite (hamy.xyz)
  33. A Little Baby Registry Guide (www.alisoneroman.com)
  34. Improved Git Diffs with Delta, Fzf and a Little Shell Scripting (nickjanetakis.com)
  35. AI slop enters the workplace (bjorg.bjornroche.com)
  36. Planned disruption of service (approximateknowledge.net)
  37. Type Construction and Cycle Detection (go.dev)
  38. From error-handling to structured concurrency (blog.nelhage.com)
  39. A Life Unravelling (gochugarugirl.com)
  40. Photo Gallery: Korea Film 2015 (jackratner.com)
  41. What's in a codebase? (www.moderndescartes.com)
  42. weeknotes #58 (olu.online)
  43. Added an image gallery to my digital journal (palomakop.tv)
  44. Slowing down to go fast (indradhanush.github.io)
  45. Writing a JS Engine using Claude Code (iangrunert.com)