The Logic of CUE (via bzm3r) — discussion

#plt

Tour of a pattern matcher: expression and pattern expansion (via fanf) — discussion

#lisp

Postgres Internals Hiding in Plain Sight (via eduard) — discussion

#databases

Spectral rendering, part 2: Real-time rendering (via tgfrerer) — discussion

#graphics #math

The Complexity of Simplicity (via vaguelytagged) — discussion

#historical #rust #video

Wrangling Kubernetes contexts (by natkr) — discussion

#devops

Mechanical translation from COBOL to Kotlin using formal methods (via jmillikin) — discussion

#formalmethods #kotlin

Rust in Android: move fast and fix things (via pointlessone) — discussion

#c++ #rust

Another Fedora Flatpak discussion (via calvin) — discussion

#linux

Messing with bots (via jcd) — discussion

#web

SIMA 2: A Gemini-powered AI agent for 3D virtual worlds (via jmillikin) — discussion

#ai #games

Synit: Reactivity and object capabilities in the system layer of an OS (via shalabh) — discussion

#osdev #programming

Language Design Notes (via pushcx) — discussion

#plt

There is no such thing as a 3.5 inch floppy disc (via epilys) — discussion

#hardware

Parsing integers in C (via runxiyu) — discussion

#c

Evaluating embedding quality by testing metric properties (Z3 solver) (by Mbat) — discussion

#ai #python

Testable Dotfiles Management With Chezmoi (via telemachus) — discussion

#go #practices #testing #vcs

Patterns for Defensive Programming in Rust (via UkiahSmith) — discussion

#rust

Ingress NGINX Retirement: What You Need to Know (via gmem) — discussion

#devops

Why Fei-Fei Li and Yann LeCun Are Both Betting on “World Models” — and How Their Bets Differ (via chaosprint) — discussion

#ai