Home

Lobsters

What's wrong with EU age verification? (Nothing)
What is `std::pin::Pin` in Rust?
The end of the AArch64 desktopexperiment
stop asking writers about "AI"
When Impressive Performance Gains Do Not Matter
Investigating Linux graphics (2025)
jj_tui: terminal user interface to jujutsu focused on speed and clarity
Local Reasoning for Global Properties
Memory Safe Context Switching
May in Servo: user scripts, mp4 compat, blackboxing in DevTools, and more
Platform Support for GNU Extensions to Basic Regular Expressions
Diagrams for Penrose Tiles
WATaBoy: JIT-ing Game Boy Instructions to Wasm Beats a Native Interpreter
Spindle's new microVM engine
Revisiting Yliluoma’s ordered dither algorithm
The AT-URI Syntax Mess
Slint and the Node.js Event Loop
Loko Scheme 0.13.0
A native graphical shell for SSH
Furality Ultra Club A/V Writeup
Proving the Fundamental Theorem of Arithmetic in Agda
Ante: New Way to Blend Borrow Checking and Reference Counting
Type-checked non-empty strings
Canvas patch: we need testers
Evaluation order and nontermination in query languages