Cofi: free and open-source coffee brew timer (via deer) — discussion

#practices

The absurdly complicated circuitry for the 386 processor's registers (via calvin) — discussion

#hardware #historical #reversing

Designing type inference for high quality type errors (via surprisetalk) — discussion

#compilers #plt

Astro Linker Chrome Extension - A Fun Personal Project (by Linell) — discussion

#javascript #show #vibecoding

RVSDG: An Intermediate Representation for Optimizing Compilers (2019) (via bal-e) — discussion

#compilers

Roons: A Mechanical Computer Kit (via Internet_Janitor) — discussion

#art

Redis is open source again (via av) — discussion

#law

Journelly: like tweeting but for your eyes only (in plain text) (by xenodium) — discussion

#emacs #ios #show

minidisc: Zero-config service discovery for Tailscale networks (via terryfilch) — discussion

#go #networking

Digital Dams That Don't Hold: Why Internet Censorship Fails as Technical Policy (by thunderbottom) — discussion

#networking #philosophy

An i386 Hobby sperating system with graphics, multitasking, networking and an i386 C compiler (via runxiyu) — discussion

#compilers #osdev

OSS command-line AI assistant inspired by OpenAI Codex for local LLMs (via runxiyu) — discussion

#vibecoding

E-book reader for e-ink devices (via runxiyu) — discussion

#design #mobile

A quick demo of core.async.flow (via coby) — discussion

#clojure #video

Easier layout with margin-trim (via snej) — discussion

#css

git-sqlite: A custom diff and merge driver for sqlite (via runxiyu) — discussion

#databases #vcs

A faster way to copy SQLite databases between computers (via runxiyu) — discussion

#databases

Making PyPI's test suite 81% faster (via yossarian) — discussion

#performance #python #testing

Elm test distributions (by janiczek) — discussion

#elm #haskell #testing

Understanding Kafka KRaft: How Controllers and Brokers Talk in the Zookeeper-less World (via rmoff) — discussion

#distributed