Programming in Martin-Lof's Type Theory: An Introduction (1990) (via fanf) — discussion

#book #pdf #plt

Mutexes Are Faster Than Spinlocks (via runxiyu) — discussion

#performance

Don’t Use ISO/IEC 14977 Extended Backus-Naur Form (EBNF) (2019, 2023) (via runxiyu) — discussion

#api

Using unwrap() in Rust is Okay (via runxiyu) — discussion

#rust

My favourite fonts to use with LaTeX (2022) (via runxiyu) — discussion

#design

erlang-red: Visual low-code flow-based programming environment for Erlang, inspired by Node-RED (via linkdd) — discussion

#erlang #programming

Pallene: a statically typed ahead-of-time compiled sister language to Lua, with a focus on performance (via fanf) — discussion

#lua

HMPL v3.0: Small template language for displaying UI from server to client (by aanthonymax) — discussion

#javascript #release

A Ledger In PostgreSQL Is Fast (by pgr0ss) — discussion

#databases

Senior devs aren't just faster, they can dodge problems juniors are forced to solve (by beyarkay) — discussion

#programming

ASK: What Problems are Truly Technical, not Social? (by veqq)

#ask #programming

New Life Hack: Using LLMs to Generate Constraint Solver Programs for Personal Logistics Tasks (by emschwartz) — discussion

#formalmethods #vibecoding

A richer Journelly org capture template (by xenodium) — discussion

#emacs #lisp #mac

GNU Parallel Examples (via gnyeki) — discussion

#performance

Detecting malicious Unicode (via eBPF) — discussion

#devops

Deep Dive on New Combinators (via veqq) — discussion

#apl

Evolution of Rust compiler errors (via ekuber) — discussion

#compilers #rust

Installing an outdoor GPS antenna for more accurate time (via eBPF) — discussion

#hardware

Classical "Single user computers" were a flawed or at least limited idea (via datarama) — discussion

#historical

Repair Time Requirements to Prevent Data Resurrection in Cassandra & Scylla (by msun) — discussion

#databases #distributed