Stories by todsacerdoti

The Coming Need for Formal Specification

Post-Quantum Cryptography on CHERIoT

Security issues with electronic invoices

My Python setup, December 2025

YOCaml a framework used to describe static site generator

Async DNS

A Code Centric Journey into the Gleam Language [video]

I couldn't find a logging library that worked for my library, so I made one

Rethinking Sudo with Object Capabilities

Typeslayer – a TypeScript types performance tool

Are we stuck with the same Desktop UX forever? [video]

Guarding My Git Forge Against AI Scrapers

Being a SysAdmin Is Hard

Orvalho Spec

Notes on Gamma

The Code That Revolutionized Orbital Simulation [video]

Oils 0.37.0 – Alpine Linux, YSH, and mycpp

Sled: A command-line utility for Advent of Code written in Janet

Installing Every NixOS Package

33
34
35
36
37
38
39
40
41
42