Stories by todsacerdoti

You can make up HTML tags

Consider a Nix Flake for your windows-rs Project

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

39 40 41 42 43 44 45 46 47 48