Stories by g0xA52A2A

Areal, Are.na's New Typeface

Cabinet: Dynamically Weighted Consensus Made Fast

Chunking for Fasta Parsing

In Order Traversal in Haskell and Rust

Building Bluesky comments for my blog

Zero-Copy (De)Serialization

Jujutsu UI

Destructive Updates – A Stitch in Time

SimdSketch: A Fast Bucket Sketch

Intensional Joy (a concatenative account of internal structure)

Ways to generate SSA

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

Pwn2Own Automotive: Popping the Charx SEC-3100

Optics for UI 1: Deconstructing React with Parametrised Lenses

A Practical Interpretation of Linear Logic

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

1
2
3
4
5
6
7
8
9
10