Stories by todsacerdoti

Property-Based Testing in Practice

Sandbox Your Program Using FreeBSD's Capsicum [video]

An Overview of Attestations in CI

KDE Linux deep dive: package management is amazing, which is why we don't inclu

Retrospective on Weaknesses in Fuzzing Research

(fifteenth RacketCon) playlist is now up

An Efficient Implementation of SELF (1989) [pdf]

Computational Complexity (2023) [pdf]

"Learn APL" Notes

Barebones RISC-V OS written in Zig (2023)

We do not have sufficient links to the UK for Online Safety Act to be applicable

Alpha launch – .well-known/avatar – feedback wanted

LaTeX, LLMs and Boring Technology

Ruby Stability at Scale

Synadia and TigerBeetle Pledge $512,000 to the Zig Software Foundation

Mapping Starlink's global IP transit providers

Technology for Humans: Conversation with Ruby Central's Executive Director, Sha

But What Is the Internet Layer?

Reminiscing about Turbo Pascal

Ron LSP – Type validation for .ron files (in or out of the IDE)

58
59
60
61
62
63
64
65
66
67