Stories by todsacerdoti

CHERIoT: The Last Ten Years

Programming in Martin-Lof's Type Theory: An Introduction (1990)

Using unwrap() in Rust is Okay

My favourite fonts to use with LaTeX (2022)

Pallene: A statically typed ahead-of-time compiled sister language to Lua, with

HMPL v3.0: Small template language for displaying UI from server to client

GNU Parallel Examples

Deep Dive on New Combinators (2022)

Installing an outdoor GPS antenna for more accurate time

Virtual Package in MoonBit

OCaml Web Development: Essential Tools and Libraries in 2025

Jetrelay: A high-performance ATproto relay in 500 LOC

Falcon-Edge: A series of powerful, universal, fine-tunable 1.58bit language mod

There's More to That Nugget of Wisdom (2023)

Sunbeam: Command-Line Launcher

A Garbage Collection Strategy

Microagents accelerated their AI agent platform launch by embedding Pipedream's

Runbear helps teams onboard AI like a new hire–with help from Pipedream Connect

Initialization in C++ is bonkers (2017)

Breachforums Boss to Pay $700k in Healthcare Breach

37
38
39
40
41
42
43
44
45
46