Public personalized feed, a rssssr, if you will.
Last updated at:
SF October 14th: A Birds of a Feather Session on Agentic Engineering
Rewriting Tailwind CSS in OCaml: Is It (Pixel-)Correct?
Jepsen 0.3.14
What's been going on in w64devkit the past year
0061: i'm not a cat, artificial adventures, synthetic sagas, anthropic, sponsors
.plan-26-38: Near, far, wherever you are, Tessera infers on
System One models like Jev can train their own replacements
Finding Bugs
Sex, AI, and the Apocalypse
A New Equal-Area Map for Interactive Computer Use
Interpreting Pangram
Query plan rewriting in PostgreSQL
What comes after git
Doing it again, twenty years later: introducing Quill
Parallel Fun with Monoids and Map-Reduce,
How well do agents use test and verification techniques?
The AtomicLog + LogDrive: Strong vs weak sealing
Find Git Commits by Commit Message Text
Source of truth is all you need
Morel on Go, and why platforms shouldn’t matter
JetBrains
Lorenz and Little: How Much Does Your Tail Cost?
The real AI risk is inside the labs
Keyboardion
Production ML-DSA Verification in 350 Lines of Python
Some more things about Django I've been enjoying
iddqd, or the hardest kind of unsafe Rust
Get Oracle Partition High Values as VARCHAR2 types instead of LONG in Oracle 19c and earlier
Why I joined OpenAI
Rust is perfectly imperfect
2025 Recap: so many projects
RFC: Pass pointers to const in assembly
Generators with UnpinCell
November book status update
Why I'm not collaborating with Kenneth Reitz