strace tips for better debugging (by rrampage) — discussion

#debugging #linux

HTML WARDen (an HTML-based wiki) (via jbauer) — discussion

#release

Modularizing George Cave's eInk Energy Dashboard (by jamesthurley) — discussion

#hardware #javascript

The Hat, the Spectre and SAT solvers (via hwayne) — discussion

#compsci #math

100 years of Zermelo’s axiom of choice: What was the problem with it? (via meithecatte) — discussion

#formalmethods #math

Introducing the twom database format (via snej) — discussion

#databases

OxCaml, Jane Street's extension of OCaml is now open-source (via avsm) — discussion

#ml

Tattoy: a text-based terminal compositor (by tombh) — discussion

#release

Design Patterns for Securing LLM Agents against Prompt Injections (by simonw) — discussion

#security #vibecoding

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

#ask #programming

Radicle Desktop: a graphical user interface for the Radicle peer-to-peer code forge (by rudolfs) — discussion

#vcs

If the Moon Were Only 1 Pixel - A tediously accurate map of the solar system (via frontsideair) — discussion

#art

Quantum Computing without the Linear Algebra (via abhi9u) — discussion

#compsci #pdf

Rendering crispy text on the GPU (via jmillikin) — discussion

#graphics

Asterinas: A Linux ABI-compatible, Rust-based framekernel OS (via jmillikin) — discussion

#osdev #rust

macOS Tahoe brings a new disk image format (via jmillikin) — discussion

#mac

Three Algorithms for YSH Syntax Highlighting (by andyc) — discussion

#programming #unix

What I talk about when I talk about IRs (via asb) — discussion

#compilers

jemalloc Postmortem (by je) — discussion

#c #programming

The Case for Software Craftsmanship in the Era of Vibes (via rtfeldman) — discussion

#vibecoding