-
Arguing With Agents
-
Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region
-
How do Wake-On-Lan works?
-
Mathematics in the Library of Babel
-
The Fediverse deserves a dumb graphical client
-
My PR has been waiting a year, or the exponential curve behind open source backlogs
-
Rust should have stable tail calls
-
Bad Apple!! but it's running on TIS-100
-
Spec Driven Development isn't Waterfall
-
Object oriented programming in Ada
-
What Really Happened in Y2K?
-
120+ Icons and Counting
-
jemalloc 5.3.1 released
-
A collection of small, low stakes and low effort tools
-
Multi-Agent gVisor Isolation
-
Eternal November - the new influx of users, and why it's way better than the last one
-
Dependency cooldowns turn you into a free-rider
-
Rewriting Every Syscall in a Linux Binary at Load Time
-
Release OpenSSL 4.0.0
-
Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory
-
Fabricked: Misconfiguring Infinity Fabric to Break AMD SEV-SNP
-
5NF and Database Design
-
What happened to Metalink?
-
The Quiet Colossus — On Ada, Its Design, and the Language That Built the Languages
-
GitHub Stacked PRs
More