Stories by todsacerdoti

Some notes on Rust, mutable aliasing and formal verification

Bad Apple, but It's an Animated QR Code of Bad Apple

Haiku Activity and Contract Report, April 2024

The Small Web and Science

Crash: User-configurable login shell configured by the SHELLS environment varia

Cradle: A simpler Haskell process library

1001 Representations of Syntax with Binding (comparison table) (2021)

Patch Tuesday, May 2024 Edition

Reversing Choplifter – Blondihacks

The new APT 3.0 solver

Using Cuelang With Go for extracting structured data from LLMs

How bad is LLVM really?

Snapshot Testing for the Masses

Before you try to change something, make sure you can change nothing

Lego Rodin's Thinker

State of HTML 2023

When to Split Patches (For PostgreSQL)

Using ARG in a Dockerfile – beware the gotcha

Mixing rayon and Tokio for fun and (hair) loss