Polystate: Composable Finite State Machines (via andyferris) — discussion

#zig

Telescopes Are Tries: A Dependent Type Shellac on SQLite (by philzook) — discussion

#databases #formalmethods #plt

Compressing for the browser in Go (via carlana) — discussion

#go #web

Implicit is better than explicit (via carlana) — discussion

#devops

tabiew: A TUI for viewing & querying CSV, TSV, JSON, SQLITE, and more (via technetium) — discussion

#programming

Asterinas: a new Linux-compatible kernel project (via runxiyu) — discussion

#linux

Allocators are Monkeys With Typewriters (via runxiyu) — discussion

#programming

Makefile formatter and linter (via runxiyu) — discussion

#programming #unix

Fixing Letrec (Reloaded) (via veqq) — discussion

#lisp #pdf #plt

Finding a billion factorials in 60 ms with SIMD (via WilhelmVonWeiner) — discussion

#math

Building my own paper tape punch (via jcs) — discussion

#hardware #retrocomputing

I wrote my PhD Thesis in Typst (via isuffix) — discussion

#programming

How fast are Linux pipes anyway? (2022) (via fanf) — discussion

#linux #performance

FreeBSD Kernel Modules pkg(8) Repositories (by vermaden) — discussion

#freebsd #release

A Macro Story (via susam) — discussion

#lisp

postmarketOS v25.06: the one with systemd (via funderscore) — discussion

#linux #mobile #systemd

CDP Retirement in Firefox (via freddyb) — discussion

#browsers

tayga: Simple, no-fuss NAT64 for Linux (via fanf) — discussion

#networking

Generating Musical Scales (by petecorey) — discussion

#art #elixir

Discover C++26’s compile-time reflection (via raymii) — discussion

#c++