Gauguin, Descartes, Bayes: A Diurnal Golem’s Brain (via df) — discussion

#programming

beads: Beads - A memory upgrade for your coding agent (via alper) — discussion

#vibecoding

Mergiraf - syntax-aware git merge driver (via gmem) — discussion

#programming #vcs

[2022] JSONSki: Streaming Processing of JSONPath Queries with Fast Forwarding (via agnishom) — discussion

#programming

Avian Physics 0.4 (via lonami) — discussion

#games #release #rust

Demystifying Scala 3 Types By Bill Venners (by softinio) — discussion

#scala

Django forever · Applied Cartography (via pauloxnet) — discussion

#python #web

Literate Tracing (via asb) — discussion

#education #pdf

A Copy-and-Patch Tutorial (via asb) — discussion

#compilers

Space-Efficient Data Structures for Top-k Completion (2013) (via calvin) — discussion

#compsci #pdf

MPTCP / Multipath TCP for Linux (via fanf) — discussion

#linux #networking

pglinter: Database linting and analysis for PostgreSQL (via fanf) — discussion

#databases

Flash: shell parser, formatter, and interpreter written in Rust (by raphamorim) — discussion

#programming #rust

nitro: tiny but flexible init system and process supervisor (via wezm) — discussion

#unix

Push the Button: Using LuaJIT + FFI + CoreBluetooth with an async design to automate a trivial task (by mogs) — discussion

#lua #mac

zoo of array languages (by veqq) — discussion

#apl

Taming AI-Assisted Code with Deterministic Workflows (by tomas) — discussion

#vibecoding #wasm

Modern iOS Security Features -- A Deep Dive into SPTM, TXM, and Exclaves (via calvin) — discussion

#hardware #ios #pdf #reversing

Litex: The First Formal Language Learnable in 2 Hours (via aarroyoc) — discussion

#formalmethods

The Peach meme: On CRTs, pixels and signal quality (again) (via m_eiman) — discussion

#art #retrocomputing