Deterministic Simulation Testing in Rust: A Theater Of State Machines (via eatonphil) — discussion

#databases #distributed #rust #testing

How I ensure every Daily Q-less puzzle is solvable (via hwayne) — discussion

#games

Enterprise Loop pattern in multiple languages (via icefox) — discussion

#practices #satire

How I build software quickly (by EvanHahn) — discussion

#practices

BMesh (via pekkavaa) — discussion

#graphics

Unified Memory Management (via amw-zero) — discussion

#databases

Making Unsafe Rust a Little Safer: Find Memory Errors in Production with GWP-ASan (via emschwartz) — discussion

#rust

“Bad Apple!!” But It’s 3288 Lean Tactics Spamming VSCode (via eBPF) — discussion

#formalmethods #graphics

The case against which-key: a polemic (via slondr) — discussion

#emacs

Glitching Google WiFi Pro from Root to EL3 (via timschumi) — discussion

#hardware #pdf #reversing #security

Two weeks of wayback (via FedericoSchonborn) — discussion

#linux

TouchFS - Context-Aware File Generation (via friendlysock) — discussion

#osdev #vibecoding

#[derive(Clone)] is broken (via technetium) — discussion

#rust

Cocoa Basics Part Zero: Introduction (via calvin) — discussion

#mac #programming

WebAssembly: Yes, but for What? (via fanf) — discussion

#wasm

Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders (by soareschen) — discussion

#programming #rust

All Programming Languages are Fast (via thibauttt) — discussion

#clojure #plt

My first verified (imperative) program (via runxiyu) — discussion

#formalmethods #plt

How Janet's PEG module works (via veqq) — discussion

#lisp

You Should Run a Certificate Transparency Log (via giffengrabber) — discussion

#cryptography #security