Stories by todsacerdoti

Koreo: The platform engineering toolkit for Kubernetes

Barrelfish

A compiler for the Micron programming language – the Oberon with the power of C

Facet: Rust reflection, serialization, deserialization – know the shape of your

GSoC 2024: The 1001 thresholds in LLVM

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