The changing role of finite-state model checking (by ahelwer) — discussion

#formalmethods #testing

IPython is All You Need (by ncoop57) — discussion

#ai #python

Perspec 1.0: A Haskell desktop app for perspective correction of document photos (via bdesham) — discussion

#graphics #haskell #release

Dynamically Naming Servers (by gmem) — discussion

#devops

Micro language implementation: Calcium (via kngl) — discussion

#plt #python

Control and complexity: tension in systems design (by ferd) — discussion

#practices

Emacs 31.1 released (via dutchie) — discussion

#emacs #release

Tiny, Untyped Monads (2024) (via abhin4v) — discussion

#javascript

ASK: What are you doing this week? (by caius)

#ask #programming

3 constraints before I build anything | Jordan Lord (via schmudde) — discussion

#practices

Building certgrep.sh: a free certificate transparency search engine (by juxhin) — discussion

#security

Your executable is a SQLite database (via jummo) — discussion

#databases #linux

Kodak DC50 now usable on the Apple II (via SoapDog) — discussion

#retrocomputing

touch - A lightweight implementation of the Unix touch command for Windows (by rajtilakjee) — discussion

#python #release #vibecoding #windows

Adding JIT-compilation to a toy interpreter with libgccjit (via rtpg) — discussion

#compilers

Everything I own, owned (via wonk) — discussion

#security #vibecoding

SVG Filter Effects: Creating Texture with <feTurbulence> (2019) (via typesanitizer) — discussion

#design #web

offgrid electric car (2025) (via gnyeki) — discussion

#hardware

Critical Coldcard flaw: what happened, who is affected, and what to do (via janus) — discussion

#cryptography #merkle-trees #security

“Bare Metal” STM32 Programming (2018) (via kaycebasques) — discussion

#assembly #c #c++ #hardware