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

What Dynamic Typing Is For (via ggpsv) — discussion

#practices #web

Octothorpes (via rishikesh) — discussion

#web

We need (at least) ergonomic, explicit handles (via emschwartz) — discussion

#rust

Free Software hasn't won (via UkiahSmith) — discussion

#law #philosophy

Why did containers happen? A view from ten years in the trenches by Docker's former CTO Justin Cormack (via Mordo) — discussion

#virtualization