Stories by todsacerdoti

OpenVMS x86_64 at the Edge

Formally Verified Post-Quantum Algorithms

C Scripting with TCC and Bash

Mozilla's New Logo Brings Back the Dinosaur Mascot (Kinda)

Markov chains are funnier than LLMs

Making a Chess Engine in Zig

Don't Repeat Yourself and the Strong Law of Small Numbers – iRi

Kubernetes 1.31 Brings More Stability to Cloud-Native Deployments

Fear Not the Association of Types

Safer C++

Missing Salamanders: Matrix Media can be decrypted to multiple valid plaintexts

Reckoning

Optimisation-dependent IR decisions in Clang

A Definition of Magic in Programming Languages

Decentralized and Verifiable Cloud Service on Ethereum

Incorporating Lua with Livtet – Jacky Alciné

Official native Windows support for OCaml with opam 2.2.0

An unordered list of things I miss in Go