Articles by todsacerdoti
2

Firefox pwn2own 2025 documentary part 2 [video] (youtube.com)

2

Large-Scale Online Deanonymization with LLMs (substack.com)

3

Computer History Museum Recovers Rare Unix History (youtube.com)

1

Software Engineering Has Changed (lukesnotebook.substack.com)

1

ANN: Tada 0.4.0 – local (cached) dependencies support (github.com/tomekw)

340

New accounts on HN more likely to use em-dashes (marginalia.nu)

1

System is fine. Your users aren't (incrementalforgetting.tech)

1

Building Index-Backed Query Plans in DataFusion (pierrezemb.fr)

36

Turing Completeness of GNU find (arxiv.org)

1

Sometimes it's just better to load "all" the data (codingmilitia.com)

3

Scheduling in a Bare-Metal Web Server (thasso.xyz)

1

TLA+ by Example (tlabyexample.com)

2

Reducing the size of Go binaries by up to 77% (datadoghq.com)

158

Goodbye InnerHTML, Hello SetHTML: Stronger XSS Protection in Firefox 148 (hacks.mozilla.org)

2

Speeding up HTML generation by 2000% (bobrubbens.nl)

2

Trolley: Run Terminal Apps Anywhere (github.com/weedonandscott)

77

I Ported Coreboot to the ThinkPad X270 (dork.dev)

2

C Enum Sizes; Or, How MSVC Ignores the Standard Once Again (ettolrach.com)

3

Signed, Sealed, Stolen: How We Patched Critical Vulnerabilities Under Fire [video] (youtube.com)

1

Binding port 0 to avoid port collisions (ntietz.com)

2

300 Days of RuboCop (lovro-bikic.github.io)

1

Verifpal, Rewritten in Rust (symbolic.software)

2

Using Haskell's 'Newtype' in C (nelhage.com)

1

Designing Odin's Casting Syntax (gingerbill.org)

1

Cursed engineering: jumping randomly through CSV files without hurting yourself (github.com/medialab)

1

Queues for Kafka ready for prime time (freedium-mirror.cfd)

1

Forgejo, AGit, and Pull Request Templates (zancanaro.id.au)

1

Efficient and Acid Compliant Vector Search Indexes in Firebolt (firebolt.io)

1

Using Nsnotifyd with a PowerDNS Secondary (feld.me)

3

Official specification and reference code for Fast Lightweight Online Encryptio (github.com/snowflake-labs)

1

Swift Import Declarations (2019) (nshipster.com)

32

The Tears of Donald Knuth (2015) (acm.org)

2

Bit-Fields (mocelik.com)

2

Documentary about Mozilla Firefox at pwn2own (part 1) [video] (youtube.com)

1

Velocity Is Dead: AI-Generated Compilers and the Future of Software (openhands.dev)

3

Creator of bcachefs seems to have anthropomorphized an LLM and is letting it wo (bcachefs.org)

1

You are not left behind (ufried.com)

1

HTTP/3 on FreeBSD: Getting QUIC Working with Nginx in a Bastille Jail (hofstede.it)

1

CL-Kawa: A Turducken of Programming Languages (atgreen.github.io)

1

We Fixed YAML Comment Preservation in Ruby (and Why We Sponsored It) (discourse.org)

4

Fix Your Tools (ochagavia.nl)

1

How and Why Local LLMs Perform on Framework 13 AMD Strix Point (msf.github.io)

2

Hemmi/Post 1460 Versalog (Sliderule emulator) (thingsabove.github.io)

1

Dumpling: Fine-Grained Differential JavaScript Engine Fuzzing (ndss-symposium.org)

14

Aesthetics of single threading (ta.fo)

12

MeshTNC is a tool for turning consumer grade LoRa radios into KISS TNC compatib (github.com/datapartyjs)

66

Parse, Don't Validate and Type-Driven Design in Rust (harudagondi.space)

3

IPv6 Address Assignment (ath0.com)

3

eBPF on Hard Mode (feyor.sh)

2

Ajail: A basic jail for programs you don't trust (github.com/jtolio)

167

Turn Dependabot off (filippo.io)

1

Goatstack: Project scaffolding tool for Go and Templ webapps (github.com/erodrigufer)

2

'Starkiller' Phishing Service Proxies Real Login Pages, MFA (krebsonsecurity.com)

4

Finding credentials in .msi files with msiexec (ljb.fyi)

2

Brat, a parallel TAP testing harness for the POSIX shell (codeberg.org/sstephenson)

2

How I built a minimal-knowledge sync for WorkLedger (bastiangruber.ca)

1

Linking Smaller Haskell Binaries (brandon.si)

1

Everything you never wanted to know about visually-hidden (dbushell.com)

2

eBPF the Hard Way (feyor.sh)

20

I used Claude Code and GSD to build the accessibility tool I've always wanted (blakewatson.com)

2

A Web Revival: the Internet didn't die, you're just not on it (youtube.com)

5

Internationalise the Fediverse (shkspr.mobi)

47

Reading the undocumented MEMS accelerometer on Apple Silicon MacBooks via iokit (github.com/olvvier)

3

How I made a shooter game in 64 KB (youtube.com)

1

The Dillo Appreciation Post (bobbyhiltz.com)

1

A Scheme Shell (1994) [pdf] (csail.mit.edu)

3

Lindenmayer Systems (justinpombrio.net)

1

A introductory video tutorial for candyfloss (hella.cheap)

1

Concrete Syntax Matters (youtube.com)

44

Choosing a language based on its syntax? (gingerbill.org)

1

Don't Trust Packet Captures on Firewalls (weberblog.net)

3

Salt: Systems Programming, Mathematically Verified (salt-lang.dev)

3

Fairstream (gluegadget.com)

1

Pg-here: Run a local PostgreSQL instance in your project folder with one command (github.com/mayfer)

1

Permissive, then restrictive: concrete solutions and examples in Haskell (2020) (williamyaoh.com)

1

Monitoring Data-Dependent Temporal Patterns (imiron.io)

2

Ditching Discord (alopex.li)

1

DBML: DSL for easily creating ER diagrams (dbdiagram.io)

2

Rust on CHERIoT: Status update #0 (cheriot.org)

2

Bruteforcing the Bitwarden master password I forgor (compilercrim.es)

2

Non-Contributory Keys in the Matrix (erinshepherd.net)

2

F9 Kernel (github.com/f9micro)

104

DNS-Persist-01: A New Model for DNS-Based Challenge Validation (letsencrypt.org)

1

The Global Trust Register (1999) (cam.ac.uk)

2

Understanding Whole Program Paths and Path Profiling (abhamra.com)

13

The case for gatekeeping, or: why medieval guilds had it figured out (joanwestenberg.com)

1

What's cooking on Sourcehut? Q1 2026 (sourcehut.org)

1

Model-context-shell: Unix-style pipelines for MCP. Deterministic tool calls (github.com/stackloklabs)

3

"Vendoring" is a vile anti-pattern (2014) (gist.github.com)

3

Claimcheck: Narrowing the Gap Between Proof and Intent (midspiral.com)

2

An assembler that compiles to a printf loop (sr.ht)

4

Terminals should generate the 256-color palette (gist.github.com)

115

Gentoo on Codeberg (gentoo.org)

115

Using go fix to modernize Go code (go.dev)

1

Vinyl Cache has left GitHub (vinyl-cache.org)

4

The Evolution of x86 SIMD: From SSE to AVX-512 (bgslabs.org)

39

Undo in Vi and Its Successors (utcc.utoronto.ca)

2

The Servo project and its impact on the web platform ecosystem (servo.org)

1

An AI Called Winter: Neurosymbolic Computation or Illusion? – Dustycloud Brain (dustycloud.org)