Articles by todsacerdoti
1

Shower Thoughts (patreon.com)

1

Measuring out-of-sync clocks on the Internet (alexsci.com)

1

Kiorg v1.4.1 – A modern battery included file manager with Vim inspired keybind (github.com/houqp)

25

Binaries (fzakaria.com)

2

A Practical Introduction to Finger Trees (chrispenner.ca)

123

You can make up HTML tags (maurycyz.com)

2

Consider a Nix Flake for your windows-rs Project (lgug2z.com)

12

Fast CVVDP implementation in C (github.com/halidecx)

17

Slaughtering Competition Problems with Quantifier Elimination (2021) (grossack.site)

1

An Experiment in Vibe Coding (nolanlawson.com)

72

MongoBleed Explained Simply (2minutestreaming.com)

3

Haskelling My Typst (unnamed.website)

2

Tiny, types-first schema validation for TypeScript (github.com/easrng)

1

Solve Hi-Q with AlphaZero and Curriculum Learning (robw.fyi)

2

I was wrong about TypeScript part 1 (chefama.blog)

3

I was wrong about TypeScript part 2 (chefama.blog)

3

Release age v1.3.0: post-quantum (and more) (github.com/filosottile)

34

Liberating Bluetooth on the ESP32 (exquisite.tube)

1

39C3: To sign or not to sign: Practical vulnerabilities in GPG and friends [video] (ccc.de)

1

Server Radar – Track Hetzner Server Prices and Receive Email Alerts (iodev.org)

2

LLMs in Programming (blog.danieljanus.pl)

1

Fastverse: A Suite of High-Performance and Low-Dependency R Packages (fastverse.org)

43

Windows 2 for the Apricot PC/Xi (ninakalinina.com)

1

The brain power behind programming [pdf] (umich.edu)

2

The TTY Layer: The Past, Present, and Future [video] (youtube.com)

18

Easel Turns One One year of building my own IDE in Clojure (phronemophobic.com)

5

Getting Started with Playdate on Ubuntu (sethmlarson.dev)

2

Linux kernel community discussion on ML/LLM tools in kernel development (lwn.net)

1

Critic: Code Inspection System in Opera Software (2019?) (sudonull.com)

2

You can't design software you don't work on (seangoedecke.com)

2

Arcan 0.7.1 – Minutes to Midnight (arcan-fe.com)

3

QNX Self-Hosted Developer Desktop Brings QNX 8.0 to a Wayland and XFCE Desktop (phoronix.com)

59

Pre-commit hooks are broken (jyn.dev)

3

Rapace – RPC over SHM / WS / TCP / Mem (bearcove.eu)

1

Nix-prompt: a clean and modular bash prompt with just the right amount of custo (github.com/nix-tricks)

1

"Enabling" C threads in a Python / WASM environment (yosefk.com)

10

Contract.md: The Naughty List for AI Coding Agents (discussdontcode.com)

53

How I think about Kubernetes (garnaudov.com)

2

Show HN: Twine – A tool to dynamically trace calls in production Elixir systems (github.com/ollien)

2

Metastable Failures and Interactions Between Systems (charap.co)

1

Play the Monty Hall Game (donk.systems)

10

GNU Mes and the Module System (elenq.tech)

170

I'm a laptop weirdo and that's why I like my new Framework 13 (matthewbrunelle.com)

1

Beautiful Reprs (pomponchik.org)

2

Writing an NES Emulator in Haskell (arthi-chaud.github.io)

22

When a driver challenges the kernel's assumptions (online.fr)

2

Doubly Dual Shuffles (dotat.at)

1

Released KC3 v0.1.16 (kmx.io)

2

The HTML Elements Time Forgot (htmhell.dev)

5

Timeless Games (cxong.github.io)

2

One formula that demystifies 3D graphics [video] (youtube.com)

6

Gleam v1.14 – the happy holidays release 2025 (gleam.run)

2

Fucking Approachable Swift Concurrency (fuckingapproachableswiftconcurrency.com...

1

Load and store forwarding in the Toy Optimizer (bernsteinbear.com)

2

Advent of Code 2025: Haskell Solution Reflections for All 12 Days (jle.im)

20

The next-gen mainboard designed with amigaos4 and morphos in mind (vitasys.nl)

2

QEMU Version 10.2.0 Released (qemu.org)

3

Datafun – functional language that generalizes Datalog (rntz.net)

2

Querying and Ingest Issues in EU (honeycomb.io)

1

Wayback 0.3 Released (freedesktop.org)

6

(My) Second Year of the Linux Desktop (For Gaming) (matthewbrunelle.com)

3

A Curl 2025 Review (haxx.se)

1

Cjanet (github.com/janet-lang)

2

Swanky Python: Interactive Development for Python (emacsconf.org)

1

ZipPop: A space conserving unzipping script (github.com/th0ma5w)

51

My 2026 Open Social Web Predictions (timothychambers.net)

1

Nix State of the SBoM (engelen.eu)

2

Tygor: Type-safe back end for Go and TypeScript apps (github.com/ahimsalabs)

1

FreeBSD: Installation on a ThinkPad X200 Tablet in 2025 (co.ua)

2

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

1

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

10

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)

1

Open Forms (aryank.in)

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)