Articles by todsacerdoti
2

Interactively visualize GitHub Actions Matrix configurations (katexochen.github.io)

1

What the Internet Was Like in 2003 (cybercultural.com)

9

Custom Cross Compiler with Nix (hobson.space)

1

Attention from First Principles (metaworld.me)

2

Polyglot-image: A disk image that boots on multiple architectures (github.com/blitz)

1

Mostly Automated Proof Repair for Verified Libraries [pdf] (kirancodes.me)

1

We asked four AI coding agents to rebuild Minesweeper–the results were explosive (arstechnica.com)

8

LAVD: Meta's New Default Scheduler [pdf] (lpc.events)

2

Folder.zone: Share end-to-end encrypted folders live (folder.zone)

3

Reproducing the NixOS 25.11 Minimal Installation ISO (engelen.eu)

3

Logical gates on Floquet codes via folds and twists (arxiv.org)

2

Schrödinger's test: The /dev/mem case (elisa.tech)

2

Dirlock (steamos.cloud)

2

Meeting could have been an Email (substack.com)

11

Are We Loong Yet? (areweloongyet.com)

2

Why Quantum Cryptanalysis Is Bollocks (youtube.com)

2

The lightest notes app implementation in 111 loc (github.com/antonmedv)

1

FreeBSD Closes the Laptop Gap: Year One Project Update (freebsdfoundation.org)

12

Lua 5.5 Released (lua.org)

1

Towards a secure peer-to-peer app platform for Clan (clan.lol)

1

Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with T (sine.foundation)

3

Understanding your Linux graphics driver stack (timur.hu)

3

Installing Void Linux on ZFS with Hibernation Support (dragas.net)

1

Debian's Git Transition (diziet.dreamwidth.org)

1

The Cognitive Burden of Garbage Collection vs. Move Semantics (2023) (insanitybit.github.io)

1

Dumbphone journey – eight month update (frog.equipment)

4

Inverse Parentheses (kellett.im)

1

Computational complexity of New York Times games (arxiv.org)

3

You Can't Opt-Out of Accessibility (vale.rocks)

40

How I protect my Forgejo instance from AI web crawlers (esy.fun)

3

The atomic time scale at NIST Boulder has failed (journa.host)

2

Web/HTML Things to Avoid (catb.org)

2

Mnemonics for Hidden Controls in Win32 (abareplace.com)

3

Polyproto: A refreshingly simple decentralised, federated protocol (polyproto.org)

2

Task Injection – Exploiting agency of autonomous AI agents (bughunters.google.com)

1

Text similarity search via normalized compression distance (haskell.org)

4

The Texas Instruments CC-40 invades Gopherspace (plus TI-74 BASICALC) (oldvcr.blogspot.com)

1

Faster Practical Modular Inversion (purplesyringa.moe)

1

How capacity hints work in Go (grobinson.net)

1

The Big Ideas in Relay (youtube.com)

3

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4 (abhamra.com)

4

UnifyBio: Power Tools for Translational Data Science – Benjamin Kamphaus [video] (youtube.com)

18

The Polyglot NixOS (x86.lol)

1

Business SLOs (medium.com/haagwee)

2

Exposing Game Servers over Tailscale (chameth.com)

3

Unix v4 Tape (discuss.systems)

2

A visualizer for BPF program state (lwn.net)

3

What do people love about Rust? (rust-lang.org)

1

A List of Books to Learn Programming with Ruby and Rails (2023) (writesoftwarewell.com)

2

The lightest notes app implementation (medv.io)

17

The scariest boot loader code (online.fr)

1

Pi 5 NAS with Custom Carbon Fibre Panels, Made on the Makera Z1 (the-diy-life.com)

1

Help my website is too small (lukeplant.me.uk)

3

Dismantling Defenses: Trump 2.0 Cyber Year in Review (krebsonsecurity.com)

1

LeaseGuard: Raft Leases Done Right (emptysqua.re)

1

When Scope Lies: The Wildcard Pattern Drop Footgun in Rust (obeli.sk)

1

Go ahead, self-host Postgres (pierce.dev)

2

Generate and play music playlists on Apple music (github.com/gntousakis)

1

Reinventing the dial-up modem (2019) (saket.me)

1

Porting a complete HTML5 parser and browser test suite [from Python to OCaml us (recoil.org)

1

A Testing Conundrum (nedbatchelder.com)

1

2026 Demo Day Dates (ycombinator.com)

54

How to hack Discord, Vercel and more with one easy trick (kibty.town)

1

Stop Losing Intent: Absent, Null, and Value in Rust (minikin.me)

1

Hardware-Attested Nix Builds (garnix.io)

2

Dear ACM, you're doing AI wrong but you can still get it right (recoil.org)

16

Microsoft kills IntelliCode in favor of the paid Copilot (visualstudiomagazine.com)

1

Interactive Fluid Typography (electricmagicfactory.com)

6

Ringspace: A proposal for the human web (taggart-tech.com)

1

Secure Local Configuration in Kakoune (ficd.sh)

1

Selective Applicative Functors (veritates.love)

96

Yep, Passkeys Still Have Problems (blackhats.net.au)

1

How Twitter is (probably) crawling the Internet for AI (kitsunemimi.pw)

72

Log level 'error' should mean that something needs to be fixed (utcc.utoronto.ca)

2

The Wrong Question About Type Systems (furkan3ayraktar.github.io)

1

A Survey of Dynamic Array Structures (azmr.uk)

1

Keeping secrets, or (less than two weeks ago) (kellett.im)

3

Kris: Cross-compile Janet projects with Zig (github.com/pyrmont)

1

KDE Ni OS Is a Playful Take on Immutable Linux Built on NixOS (linuxiac.com)

1

Qjp – turn any JSON file into a quick TUI menu (github.com/plainas)

1

Minimum Viable Benchmark (For Evaluating LLMs) (nilenso.com)

1

Building a WASM Runner with Cloud Hypervisor (burakemir.ch)

2

Adventures in the Land of Language Servers (speakerdeck.com)

3

FreeBSD Adopting a Port: Maomao (evilham.eu)

3

Vm.overcommit_memory=2 is always the right setting (ariadne.space)

2

Determinate Nix 3.0 (determinate.systems)

1

File d'attente – file-based job queue (sr.ht)

2

Maybe consider putting cutlass in your CUDA/Triton kernels (maknee.github.io)

5

Most Parked Domains Now Serving Malicious Content (krebsonsecurity.com)

2

Normals_revisited: Revisiting a known normal transformation in computer graphic (github.com/graphitemaster)

3

Nemotron 3 Nano Technical Report [pdf] (nvidia.com)

3

Optimization Countermeasures (mcyoung.xyz)

6

November in Servo: monthly releases, context menus, parallel CSS parsing, and m (servo.org)

3

Global Known_hosts for SSH Services (knownhosts.net)

2

Single-Pass Huffman Coding (doisinkidney.com)

4

Torvalds on Linux Security Modules (phoronix.com)

1

Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)

4

I'm Just Having Fun (jyn.dev)