Stories by todsacerdoti

Rsync: Vulnerabilities

The gen auto-trait problem

Montreal Subway Foot Traffic Data, 2024 Edition

Satisfiability Modulo Theory – CDCL and Quantifiers

The Visible Zorker

Haiku Activity and Contract Report, December 2024 (Ft. Iceweasel)

RP2350 Hacking Challenge Results

Taskfinder

Usable DOS-based live USB media, for distraction-free writing

Verified post-quantum cryptography on the web

The power of open source in PostgreSQL

ODB C++ ORM version 2.5.0 released

What Every Hacker Should Know About TLB Invalidation [pdf]

Challenges to Funding Open Source

Split Out Unrelated Changes

Subtitle Generator Using Whisper

Creator of Ghostty talks Zig over Go [video]

Accurate Benchmarking

Adding Structured Data with Perl