Articles by todsacerdoti
2

Custom Data Structures in E-Graphs (uwplse.org)

1

Thinking Deeply About Theming and Color Naming (css-tricks.com)

20

Block the "Upgrade to Tahoe" Alerts (robservatory.com)

72

Verified Spec-Driven Development (VSDD) (gist.github.com)

2

Breeze QtWidgets style changes to help us prepare for Union (akselmo.dev)

1

Fast-Servers: An Interesting Pattern (sdf1.org)

1

January in Servo: preloads, better forms, details styling, and more (servo.org)

2

Debugging Reproducibility Issues in Rust Software (8pit.net)

1

Epoll's handle-centric design is more composable than kqueue's filter-centric d (ariadne.space)

17

Everything Changes, and Nothing Changes (btao.org)

1

Who Is the Kimwolf Botmaster "Dort"? (krebsonsecurity.com)

1

Atomic GraphRAG Demo: A Single Query Execution (memgraph.com)

3

What's cooking in git.git (Feb 2026, #11) (kernel.org)

1

Elementary OS 8.1.1 Available Now (elementary.io)

2

History of the Graphical User Interface: The Rise (and Fall?) Of WIMP Design (uxtigers.com)

1

Code Review Bench: Towards Billion Dollar Benchmarks (withmartian.com)

5

JavaScript DRMs Are Stupid and Useless (the-ranty-dev.vercel.app)

1

FIPS: Free Internetworking Peering System (github.com/jmcorgan)

1

Bitflipped: Computer is a cosmic ray detector (2018) (github.com/smerity)

2

ZSA: Andrew Smith (zsa.io)

2

"Our programs are fun to use." (aresluna.org)

1

Accidentally disabling SSH access via scp (sny.sh)

2

Mothlamp Problems (leaflet.pub)

1

The proposal for generic methods for Go has been officially accepted (reddit.com)

63

OsmAnd’s Faster Offline Navigation (2025) (osmand.net)

2

AirSnitch: Demystifying and Breaking Client Isolation in Wi-Fi Networks (ndss-symposium.org)

5

Sliced by Go's Slices (ohadravid.github.io)

1

Ordered Dithering with Arbitrary or Irregular Colour Palettes (matejlou.blog)

2

Model Collapse Ends AI Hype (youtube.com)

1

Unit testing your code's performance, part 2: Testing speed (pythonspeed.com)

1

Can LLMs SAT? (aiono.dev)

2

Git in Postgres (nesbitt.io)

1

Lyte2D: A comfy little game engine (lyte2d.com)

3

Managing Complexity with Mycelium (yogthos.net)

1

Deterministic Programming with LLMs (mcherm.com)

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)

348

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)