Stories by todsacerdoti

Coq-of-rust: Formal verification tool for Rust

Memory Corruption in Delphi

Fsync() after open() is an elaborate no-op

East Coast College Tour 2025

Xata Agent: AI agent expert in PostgreSQL

Let the Stagger Experiments Begin

Enhanced OpenAI Chat Actions for Pipedream

A Integrated Functional Logic Programming Language

Smoke test your Django admin site

Xit devlog – optional patches, force push, symlinks

C Plus Prolog

Migrate Django ID field from int to big int with minimal downtime

Guile Hoot with Fibers

Inline Evaluation Adventure

Dropping RISC-V Support

A Perplexing JavaScript Parsing Puzzle

Hacking a GPO 746 rotary phone

Haiku Activity and Contract Report, February 2025

The Art of Formatting Code

74
75
76
77
78
79
80
81
82
83