Hunting a 16-year-old SQLite bug with TLA+: is dqlite affected? | Ubuntu
Hunting a 16-year-old SQLite bug with TLA+: We model the WAL race condition to reproduce the issue, verify the fix, and analyze if dqlite is vulnerable.
Interesting Links
The design of AI memory systems | Tom Bedor's Blog
For me, the question of memory is the most interesting subfield of AI. The first time I interacted with MemGPT (now Letta), I felt like I had crossed a Rubicon: memory transformed a simple question and answer bot into (what appeared to be) a being.
Owning Code in the Age of AI
AI can generate code faster than humans can understand it. What does software ownership mean when engineers no longer write most of the code?
Auto-Dependency Generation
One of the most important, and yet potentially frustrating, tasks that is required to allow any make-based build environment to function properly is the correct listing of dependencies in the makef…
Pi: The Minimal Agent Within OpenClaw
A gentle introduction to the Pi coding agent and why I think it’s a glimpse into the future of software.
Reliable Signals of Honest Intent
It's better if the message comes in an expensive box.
Abstraction, intuition, and the “monad tutorial fallacy”
While working on an article for the Monad.Reader, I've had the opportunity to think about how people learn and gain intuition for abstraction, and the implications for pedagogy. The heart of the matter is that people begin with the concrete, and move to the abstract. Humans are very good at pattern recognition, so this is…
A Friendly Tour of Process Memory on Linux
A deep dive into how Linux manages process memory, page tables, and virtual address spaces
Burrows-Wheeler Transform (BWT) interactive introduction
An interactive deep dive into how the Burrows-Wheeler transform works for compression and for genomics sequence alignment algorithms.
In defence of swap: common misconceptions
tl;dr: Having swap is a reasonably important part of a well functioning system. Without it, sane memory management becomes harder to achieve.
Abdul Rahman Sibahi | A Dumb Introduction to z3
Exploring the world of constraint solvers with very simple examples.
Make better documents. - Anil Dash
A blog about making culture. Since 1999.
Gleam my new obsession | Eric Codes
In my previous blog post I stated that I started defaulting to Rust for my personal projects. While I really like Rust for its type-system, I'm not a huge fan of its learning curve. There is definitely a bit of a sunk-cost with a dash of Stockholm syndrome whenever I say I love Rust.
My Quarterly System Health Check-in: Beyond The Dashboard - nilenso blog
Srihari Srirama...
Pure and impure software engineering
Why do solo game developers tend to get into fights with big tech engineers? Why do high-profile external hires to large companies often fizzle out? Why is AI…