-
What are you doing this week?
-
You might not need… a service worker
-
Optimizing LLVM's bump allocator
-
You Don’t Know Jack About Formal Verification
-
Temporal Shrinking (2025)
-
Solod v0.2: Networking, new targets, friendlier interop
-
HyperCard on the Macintosh
-
Obfuscation: building the final boss of cryptography
-
Kivo - A lightweight desktop teleprompter built with PySide6
-
Autocrypt v2 - Post-Quantum and Reliable Deletion
-
Pystd standard library, similar-ish functionality with a fraction of the compile time
-
A Core Calculus for Documents (2024)
-
sekaictf 2026 infra writeup
-
The Vulnerability Identity Crisis
-
Rebuilding the computer room
-
What happens when you run a CUDA kernel
-
Integrity on Embedded Linux Devices under the Cyber Resilience Act
-
Can iCloud remotely enable Protect Mail Activity on your Mac?
-
TOP500 at ISC’26: We have a New Number 1
-
U-00DC-Sprache: "Ü" programming language
-
Robust AI Security and Alignment: A Sisyphean Endeavor?
-
Introducing Test That
-
A Typed, Algebraic Approach to Parsing (2019)
-
How VictoriaLogs Stores Your Logs in a Columnar Layout
-
Tech Morality is Hard
More