Stories by g0xA52A2A

A persistent task queue in Rust

Demystifying Pratt Parsers

Propagating bounds through bitwise operations

Working Ternary ALU (2019)

The Centrality of AffineTraversal

Chyp: An interactive theorem prover for string diagrams

ICFP Pearl preprint on rec-def

TIL: Don’t forget your Web Manifest file

Dynamic programming in Haskell: automatic memoization

Go: Execution Tracer Overhaul

Explainer: Dominion Vulns Reported by Halderman

Update: U+237C ⍼ &Angzarr;

Versity open-sources S3 gateway with no poison pill

Anonymous Sums from Scratch

yyjson: A high performance C JSON library

What is Lattice-based Cryptography?

Cuneicode, and the Future of Text in C

Compress-a-Palooza: Unpacking 5B Varints in Only 4B CPU Cycles

Tree Borrows – A new aliasing model for Rust

Parsing Diff Output in Haskell

5
6
7
8
9
10
11
12
13