Articles by todsacerdoti
1

Apple has a transparency issue [video] (youtube.com)

1

.plan Files (2020) (matteolandi.net)

1

The Timeless Way of Programming (2022) (tomasp.net)

1

Goto Considered Good (adamledoux.net)

1

CodeSpeak: Software Engineering with AI (codespeak.dev)

1

Launching Interop 2026 (hacks.mozilla.org)

1

Workledger – An offline first engineering notebook (workledger.org)

1

Inspecting the Source of Go Modules (filippo.io)

1

Technical "Whitepaper" for Afl-Fuzz (coredump.cx)

46

The Future for Tyr, a Rust GPU Driver for Arm Mali Hardware (lwn.net)

2

Commet – Matrix Client (commet.chat)

2

Lessons from CalyxOS signing process redesign (calyxos.org)

2

Proof-Oriented Programming in F* (fstar-lang.org)

1

Technical Issues of Separation in Function Cells and Value Cells (1988) (nhplace.com)

3

Majutsu, Magit for Jujutsu (github.com/0wd0)

7

Kimwolf Botnet Swamps Anonymity Network I2P (krebsonsecurity.com)

1

Functional Programming in M4 (tuhs.org)

1

CVE-2026-1529 – keycloak: unauthorized organization registration via improper I (cvefeed.io)

1

Pax: The Cache Performance You're Looking For (mydbanotebook.org)

1

How to level up the Fediverse [video] (fosdem.org)

1

Elegant Transducer Pipelines (reddit.com)

1

Elegant Transducer Pipelines (gist.github.com)

3

I built Fluxer, a Discord-like chat app (fluxer.app)

1

Patch Tuesday, February 2026 Edition (krebsonsecurity.com)

2

Cysqlite – A New SQLite Driver (charlesleifer.com)

3

The Missing GitHub Status Page (mrshu.github.io)

1

Setting Up Zed (ljb.fyi)

1

PostmarketOS at FOSDEM 2026 and Hackathon (postmarketos.org)

34

Redefining Go Functions (pboyd.io)

1

FreeBSD Home NAS, part 10: monitoring with VictoriaMetrics and Grafana (co.ua)

3

Browser.html – a web browser built with web technologies using Servo as web ren (tangled.org)

1

A fun Python puzzle with circular imports (utcc.utoronto.ca)

1

Sarvam Arya: Orchestration stack for production-grade agents (sarvam.ai)

2

A few design decisions for a new chat platform (sporks.space)

1

Grumpy Julio plays with CLI coding agents (jmmv.dev)

3

Fine, I'll Try AI (technobabble.bearblog.dev)

1

Implementing custom error types in Rust and Axum (rup12.net)

1

Better Python tests with inline-snapshot (pydantic.dev)

2

Trying Out Thunderbird Appointment While I Patiently Wait for an Invite (matthewbrunelle.com)

1

Learnings from Creating a GUI Library (s-schoener.com)

1

The Case for Contextual Copyleft: Licensing Open Source Training Data and Gener (arxiv.org)

66

Offpunk 3.0 (ploum.net)

1

Alice the Caml (gridbugs.org)

2

SecretSpec 0.7: Declarative Secret Generation – devenv (devenv.sh)

2

Fun with Dada (smallcultfollowing.com)

4

Concerns about low-quality PRs beeing merged into main (llvm.org)

2

Constraint Propagation for Fun (eli.li)

3

Updates and Bot Wars (marisabel.nl)

2

Currency Rates on GitHub Pages (currency-rates.github.io)

46

Exploiting signed bootloaders to circumvent UEFI Secure Boot (2019) (habr.com)

57

Running Your Own AS: BGP on FreeBSD with FRR, GRE Tunnels, and Policy Routing (hofstede.it)

1

RustCast -open-source Raycast-style launcher written in Rust (github.com/unsecretised)

12

Willow – Protocols for an uncertain future [video] (fosdem.org)

1

Busy Months in KDE Linux (pointieststick.com)

4

The Scriptovision Super Micro Script video titler is almost a home computer (oldvcr.blogspot.com)

2

Implementing Auto Tiling with Just 5 Tiles (kyledunbar.dev)

1

Compiling Prolog to Forth [pdf] (vfxforth.com)

1

Why Every R Package Wrapping External Tools Needs a Sitrep() Function (drmowinckels.io)

4

Adventures in Guix Packaging (nemin.hu)

1

DavMail Pop/IMAP/SMTP/Caldav/Carddav/LDAP Exchange Gateway (sourceforge.net)

2

Game Boy Advance d-pad capacitor measurements (gekkio.fi)

10

Reverse-Engineering Raiders of the Lost Ark for the Atari 2600 (github.com/joshuanwalker)

3

Beyond Agentic Coding (haskellforall.com)

2

(Bsky thread) "This turns the maintainer into an unwitting vibe coder" (bsky.app)

1

Impl Rust – Avro IDL Tool in Rust via Antlr (youtube.com)

2

Hacking up your own shell completion (2020) (feltrac.co)

1

A Horrible Conclusion (addisoncrump.info)

1

Emacs-tramp-RPC: High-performance TRAMP back end using JSON-RPC instead of shell (github.com/arthurheymans)

4

System time, clocks and their syncing in macOS (eclecticlight.co)

1

Declarative, Reproducible Emacs with straight.el and use-package (jakebox.github.io)

3

Maple Mono: open-source monospace font (subf.dev)

3

Programming Is Dead: The Future of Software Engineering (hamptonmakes.com)

1

FOSDEM 2026 – Making Web Components work: a framework's perspective [video] (fosdem.org)

1

Updates on GNU/Hurd progress [video] (fosdem.org)

1

Anatomy of a Python Function (mostlypython.com)

1

Seltani: An online, shared, text-based, open-source fan project based on the My (eblong.com)

166

Hackers (1995) Animated Experience (hackers-1995.vercel.app)

2

Tactical tornado is the new default (olano.dev)

1

The Universal Paperclip Clicker (corecursive.com)

2

Nix-run: run Nix derivations without nix3 or flakes (tangled.org)

1

Elfconv: AOT binary translator of Linux/ELF –> WebAssembly (github.com/yomaytk)

4

How to Program Computers (KOS) (fall.tr)

2

Django: Profile Memory Usage with Memray (adamj.eu)

2

Calling Lean Functions as Python Functions (philipzucker.com)

1

The LLM spectrum and responsible LLM use (janiczek.cz)

1

The Search for Meaning Through Collaboration and Code (clojurecivitas.github.io)

1

The Promises of 'High-Assurance' Cryptography (symbolic.software)

4

Adding Canada Back to Our List of Accepted Countries of Incorporation (ycombinator.com)

1

Jujutsu v0.38.0 Released (github.com/jj-vcs)

5

GitHub Actions Is Slowly Killing Your Engineering Team (iankduncan.com)

1

CSRF Protection in Phoenix with SEC-Fetch-Site (mediremi.com)

1

Trust Signals Are Broken (ordep.dev)

3

We are QA Engineers now (serce.me)

2

FOSDEM 26 – My Hallway Track Takeaways (sluongng.substack.com)

1

Craft and AI (slightknack.dev)

2

Customizable Nice <Select> (nerdy.dev)

2

Recent trends in the work of the Django Security Team (djangoproject.com)

1

Indiewebify.me? Yes Please (rickardlindberg.me)

1

EarlyBinder and Instantiating Parameters (rust-lang.org)

1

A few CPU hardware bugs (taricorp.net)