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

Cursor YOLO deleted everything in my computer (via bramh) — discussion

#vibecoding

Frequent reauth doesn't make you more secure (via soareschen) — discussion

#security

Use-after-free in CAN BCM subsystem leading to information disclosure (CVE-2023-52922) (via fro) — discussion

#linux #security

Architecture Decision Records (via pushcx) — discussion

#practices