Stories by g0xA52A2A

Into CPS, Never to Return

Well-Typed Substructural Languages

Hacking physics from the back of a napkin (2020)

Dependent Types and the Art of HTTP Headers

The Rise of Bluesky

Scientific computing with confidence using typed dimensions

Reliable Immutable Transfer Protocol

OpenVMM – A New VMM for Windows and Linux, Written in Rust

Linearity in Query Processing

Hytradboi 2025

OpenBSD crond / crontab set_range() heap underflow (CVE-2024-43688)

Behind the Scenes on Type Directed Search for Unison Share

No More Tears, No More Knots: Arena-Allocated Trees in Rust

EGraphs as Ground Completion Talk and Egraphs 2024 Notes

Sans I/O when rubber meets the road

Identifying Leap Years (2020)

What does GCD have in common with leap years?

The FastLanes Compression Layout: Decoding >100B Integers per Second [pdf]

Spending too much time optimizing for loops

1
2
3
4
5
6
7
8
9
10