Using ThinkPad T480 as a mobile phone (via gnyeki) — discussion

#hardware

SQLite WAL Mode Can Lock Short-Lived Readers (via ubernostrum) — discussion

#databases

The secret life of data in Valkey (via eatonphil) — discussion

#databases

Teaching Kids Forth (by liberty) — discussion

#concatenative #education

OpenLoco version 26.07 Release (via raymii) — discussion

#c++ #games #release

Forth Moving Lisp Moving Forth (via LenFalken) — discussion

#concatenative #programming

Fast DEFLATE compression in Lean (via typesanitizer) — discussion

#formalmethods #performance #vibecoding

Dmitri Gaskin on jQuery (via janus) — discussion

#javascript #retrocomputing #video

Xavier Leroy on programming, languages and formal verification (via xvw) — discussion

#formalmethods #ml #video

Beginner J: Dealing Cards (via veqq) — discussion

#apl #video

Scanwheel: a drum style mechanical television you can build yourself (via fanf) — discussion

#hardware #video

Himalaya v2.0.0: CLI to manage emails (by soywod) — discussion

#email #release #rust

Maybe we should revisit microkernels (by bobpoekert) — discussion

#osdev

How to self-host servers in your living room on static IPs (via lim) — discussion

#networking

Banner Highway 01 (via alemi) — discussion

#art #historical

Memory Safety Absolutists (via ekuber) — discussion

#c #rust #zig

How I Find Problems to Solve as a Staff Engineer (by lalitm) — discussion

#practices

Your harddrive is probably full (via gonz) — discussion

#culture #performance #practices

General Resolution: LLM usage in Debian (via boramalper) — discussion

#culture #linux #vibecoding

Verse: A New Scripting Language (via laqq3) — discussion

#logiclangs #plt #video