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

Introducing virtual package in MoonBit (via hongminhee) — discussion

#plt

Leeks and leaks (via eduard) — discussion

#security

Streamlining Web App Development With Zeroconf (via skatkov) — discussion

#networking #ruby

OCaml Web Development: Essential Tools and Libraries in 2025 (via adamcstephens) — discussion

#ml #web

Jetrelay: A high-performance ATproto relay in 500 LOC (by asayers) — discussion

#linux

ASK: What are you doing this weekend? (by caius)

#ask #programming

A coherent European/non-US cloud strategy: building railroads for the cloud economy (via adamshaylor) — discussion

#devops

Unravelling t-strings (via ubernostrum) — discussion

#python

Refactoring Clojure (via runxiyu) — discussion

#clojure

Pathfinding (via runxiyu) — discussion

#games

Teal: a statically-typed dialect of Lua (via ksynwa) — discussion

#lua