How to use Common Lisp on NixOS with C libraries (by honza) — discussion

#lisp #nix

Blogging through the decades (via craigkerstiens) — discussion

#historical

Loop targets (via ubernostrum) — discussion

#python

Reading the Generalized Isolation Level Definitions paper with Alloy (via eatonphil) — discussion

#databases #formalmethods

Hyrum's Law in Golang (via telemachus) — discussion

#api #go #practices

On "Safe" C++ (via alper) — discussion

#c++

Display/KMS Meeting at XDC 2024: Detailed Report (via calvin) — discussion

#graphics #linux

Understanding the BM25 full text search algorithm (by emschwartz) — discussion

#compsci #databases #math

Testing with Go and PostgreSQL: ephemeral DBs (by stapelberg) — discussion

#databases #go #testing

A Survey of Protocol Fuzzing (via itamarst) — discussion

#security

Obtaining statistical properties through modeling and simulation (via eatonphil) — discussion

#databases #formalmethods

What to expect from CHICKEN 6 (by Bunny351) — discussion

#compilers #lisp

The Prequel to SQL is SEQUEL (via eatonphil) — discussion

#databases #historical

How XBOW found a Scoold authentication bypass (via n1000) — discussion

#ai #security

How we prevent conflicts in authoritative DNS configuration using formal verification (via veqq) — discussion

#formalmethods #lisp

Released ESLint Plugin Perfectionist v4.0.0 (by azat_io) — discussion

#javascript #practices #programming #web

Running web browsers in a FreeBSD jail (via jmillikin) — discussion

#freebsd

An Unreachable Hidden XKCD Easter Egg inside CPython (by abhi9u) — discussion

#c #python

The Netflix Simian Army (via BiteCode) — discussion

#networking #scaling

Paged Out! Issue #5 (via freddyb) — discussion

#release #security