Stories by todsacerdoti

Eurisko, the Computer with a Mind of Its Own – George Johnson

Is not writing tests unprofessional? (2019)

OpenSSH 10.0 Released

How Does C Code Become Assembly

Coqoban: Sokoban (In Coq)

Patch Tuesday, April 2025 Edition

Hardened File Backup Routine

Global Value Numbering Using Random Interpretation

The Barium Experiment

Shorty: A C++ library for concise lambdas

The SRE regular-expression notation (1998)

Obituary for Cyc

Bare: Fast, Lightweight Runtime for Modular JavaScript App

PyReason: Explainable inference for annotated, real valued, graph based and tem

Market Ending Moves

Dreckly: Pkgsrc fork focused on quality and portability to all Unix-like platfo

Better typography with text-wrap pretty

FreeDOS 1.4 Released

Parser Combinators Beat Regexes

FreeBSD VNET Jails Networking