Overflow Clip (via calebhearth) — discussion

#css

Smaller Than Pixel Art: Sub-Pixel Art (via WilhelmVonWeiner) — discussion

#graphics #video

Safety in an Unsafe World (via itamarst) — discussion

#plt #rust #video

Go sync.Once is Simple... Does It Really? (via eduard) — discussion

#go

Original ChipWits FORTH Code Open Sourced (via lorddimwit) — discussion

#games #historical #retrocomputing

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