Stories by todsacerdoti

Fast CVVDP implementation in C

Slaughtering Competition Problems with Quantifier Elimination (2021)

An Experiment in Vibe Coding

MongoBleed Explained Simply

Haskelling My Typst

Tiny, types-first schema validation for TypeScript

Solve Hi-Q with AlphaZero and Curriculum Learning

I was wrong about TypeScript part 1

I was wrong about TypeScript part 2

Release age v1.3.0: post-quantum (and more)

Liberating Bluetooth on the ESP32

39C3: To sign or not to sign: Practical vulnerabilities in GPG and friends [video]

Server Radar – Track Hetzner Server Prices and Receive Email Alerts

LLMs in Programming

Fastverse: A Suite of High-Performance and Low-Dependency R Packages

Windows 2 for the Apricot PC/Xi

Gpg.fail

The brain power behind programming [pdf]

The TTY Layer: The Past, Present, and Future [video]

23
24
25
26
27
28
29
30
31
32