Home
Lobsters
stop asking writers about "AI"
What's wrong with EU age verification? (Nothing)
The end of the AArch64 desktop experiment
Local Reasoning for Global Properties
What is `std::pin::Pin` in Rust?
Investigating Linux graphics (2025)
May in Servo: user scripts, mp4 compat, blackboxing in DevTools, and more
When Impressive Performance Gains Do Not Matter
jj_tui: terminal user interface to jujutsu focused on speed and clarity
Parse, Don't Validate — In a Language That Doesn't Want You To
Slint and the Node.js Event Loop
Soatok’s Informal Guide to Threat Models
Memory Safe Context Switching
Diagrams for Penrose Tiles
Platform Support for GNU Extensions to Basic Regular Expressions
Rheo 0.4.0
Spindle's new microVM engine
Serving Local AI on my Jetson through Durable Streams
A native graphical shell for SSH
Revisiting Yliluoma’s ordered dither algorithm
Run any Dockerfile on Vercel
The AT-URI Syntax Mess
Furality Ultra Club A/V Writeup
WATaBoy: JIT-ing Game Boy Instructions to Wasm Beats a Native Interpreter
Proving the Fundamental Theorem of Arithmetic in Agda
