Stories by todsacerdoti

Creating a Brainrot Language Server in Golang

Understanding Trust Relationships in Cloud-Based Confidential Computing [pdf]

Code Spelunking in DocC

Coral: a Rust-like Borrow Checker for C

Ysco – managed automated updates for Go services

An Opinionated Guide to Keyboard Thumb Keys

Determination: Rust typecheckers for System F and System F-omega

Gccrs: An Alternative Compiler for Rust

Pylingual: Toward Perfect Decompilation of Evolving High-Level Languages

Haiku Activity and Contract Report, October 2024

Visualising software architecture with the C4 model (2019) [video]

XMPP: The Gem of Instant Messaging

Sanitize Client-Side: Why Server-Side HTML Sanitization Is Doomed to Fail

Yellow Scream (2024)

Proposal for a Django Project Template

The evolution of incident response at Podia

2NF: The Missing Use Case

OSS-SEC: shell wildcard expansion (un)safety

A Science of Concurrent Programs

Implementing Signal's Double Ratchet algorithm (2020)