Stories by todsacerdoti

A cheat sheet for why using ChatGPT is not bad for the environment

Replacing API schema coupling with semantics

Hello 0-Days, My Old Friend: A 2024 Zero-Day Exploitation Analysis

Efficiency vs. Resilience

Performance optimization is hard because it's fundamentally a brute-force task

Syntactic Musings on Match Expressions

Good Regulator Theorem

No-engine gamedev using Odin and Raylib

Generating Mazes with Inductive Graphs (2017)

A Dependently Typed Assembly Language [pdf] (2001)

Audit of the Rust P256 Crate

What if we embraced simulation-driven development?

Using HAProxy to protect me from scrapers

Nouveau: The Rule Based Language Family

Technical Debt as Theory Building and Practice

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Are "AI" Systems Tools?

Oxide and Friends – A Half-Century of Silicon Valley with Randy Shoup

Comfy.Guide

Systemd system extensions for Fedora image based systems