Home

Lobsters

What's wrong with EU age verification? (Nothing)

What is `std::pin::Pin` in Rust?

When Impressive Performance Gains Do Not Matter

The end of the AArch64 desktopexperiment

Investigating Linux graphics (2025)

jj_tui: terminal user interface to jujutsu focused on speed and clarity

WATaBoy: JIT-ing Game Boy Instructions to Wasm Beats a Native Interpreter

The AT-URI Syntax Mess

Loko Scheme 0.13.0

Spindle's new microVM engine

Revisiting Yliluoma’s ordered dither algorithm

Platform Support for GNU Extensions to Basic Regular Expressions

Memory Safe Context Switching

Ante: New Way to Blend Borrow Checking and Reference Counting

Type-checked non-empty strings

Local Reasoning for Global Properties

Canvas patch: we need testers

A native graphical shell for SSH

Evaluation order and nontermination in query languages

Typst: Designing for Incrementality

Diagrams for Penrose Tiles

Proving the Fundamental Theorem of Arithmetic in Agda

Furality Ultra Club A/V Writeup

Longinus: 2 Boundaries in One Bug, Piercing Chrome’s Renderer and V8 Sandbox with a Single Vulnerability, CVE-2026-6307