History of John Backus's FP languages (via mpweiher) — discussion

#historical

What does GitHub’s security team even do? (via dominicm) — discussion

#security #vcs

Authoritative dnsmasq in a MikroTik container (via raymii) — discussion

#networking

Interconverting std::function with copyable_function (via raymii) — discussion

#c++

Being Linux Torvalds (via j11g) — discussion

#ai

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