Home
Lobsters
When Impressive Performance Gains Do Not Matter
What is `std::pin::Pin` in Rust?
Canvas patch: we need testers
Loko Scheme 0.13.0
Ante: New Way to Blend Borrow Checking and Reference Counting
WATaBoy: JIT-ing Game Boy Instructions to Wasm Beats a Native Interpreter
Evaluation order and nontermination in query languages
Typst: Designing for Incrementality
“Double Threat” to Private Communications: Undemocratic Chat Control Backroom Deals and Imminent Concessions Spark Relaunch of fightchatcontrol.eu
Towards Understandable Software
Type-checked non-empty strings
Longinus: 2 Boundaries in One Bug, Piercing Chrome’s Renderer and V8 Sandbox with a Single Vulnerability, CVE-2026-6307
What are you doing this week?
You might not need… a service worker
Optimizing LLVM's bump allocator
Kivo - A lightweight desktop teleprompter built with PySide6
Obfuscation: building the final boss of cryptography
Solod v0.2: Networking, new targets, friendlier interop
ipv6_frag_escape: Linux LPE - Reliable Jail/Container Escape
Autocrypt v2 - Post-Quantum and Reliable Deletion
A Core Calculus for Documents (2024)
HyperCard on the Macintosh
TOP500 at ISC’26: We have a New Number 1
You Don’t Know Jack About Formal Verification
Pystd standard library, similar-ish functionality with a fraction of the compile time
