Fidget is a library for representing, compiling, and evaluating large-scale math expressions, i.e. hundreds or thousands of arithmetic clauses. It’s mainly designed as a backend for implicit surfaces, but the library is flexible enough for many different uses.

Introduction to Synthetic Agda, by Corinthia Beatrix Aberlé.

A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional, by Vanessa McHale.

Load is not what you should balance: Introducing Prequal (PDF), by Bartek Wydrowski, Robert Kleinberg, Stephen M. Rumble, and Aaron Archer.

Facebook Cookbooks Suite, using Chef. See also their Philosophy. Contains wisdom.

A Retrospective on the Source Code Control System (PDF), by Marc J. Rochkind. From the original creator of SCCS.

gtwr Technical Bulletin, Stefan Gotteswinter has a blog!

Building Ultra Long Range TOSLINK, by Benjojo.

IP-over-Toslink, 2 channels @ 44kHz/16bit = 1536kbit/s digital data… By Manawyrm.

Elektročas HH3, the most accurate pendulum clock on the planet.

Bad Apple but it’s 6,500 regexes that I search for in Vim.

Visualizing All ISBNs and the ones available at Anna’s Archive.

Tree Calculus, a kind of Lambda calculus with reflection.

PQConnect automatically applies post-quantum cryptography from end to end between computers running PQConnect.

Dissecting Puma: Anatomy of a Ruby Web Server, by Dan Svetlov.

Eileen: A plan for Iris in Lean, by Markus de Medeiros.

UltraLogLog: A Practical and More Space-Efficient Alternative to HyperLogLog for Approximate Distinct Counting, by Otmar Ertl.

usam, an experiment in blending the sam editor with the shell. Funky.

Luigi Mangione and the Making of a Modern Antihero, by Jessica Winter.