Application blackbox (by dxu) — discussion

#debugging #linux

A Tour of WebAuthn (via freddyb) — discussion

#cryptography #web

Debu.gs: Try Inferno without Installing It (via lproven) — discussion

#historical #osdev

Formal Methods: Just Good Engineering Practice? (via phk) — discussion

#formalmethods

How to collect performance statistics with Cabal (by Hecate) — discussion

#haskell

ASK: What are you doing this week? (by caius)

#ask #programming

How Many Hours Can You Code? (via bitfield) — discussion

#practices

Problem Driven Development (via freetonik) — discussion

#practices #programming

Practical Data Oriented Design (via ucirello) — discussion

#video #zig

What would it take to add refinement types to Rust? (via emschwartz) — discussion

#plt #rust

Fast LLM Inference From Scratch (via mpweiher) — discussion

#ai

Goodhart's Law Isn't as Useful as You Might Think (via Student) — discussion

#practices

Hacking Life into My Little Counter (via jummo) — discussion

#hardware

Deliver the Bare Minimum (by bt) — discussion

#culture #rant

On Long Term Software Development (by ahu) — discussion

#programming

Unnecessary Optimization in Rust: Hamming Distances, SIMD, and Auto-Vectorization (by emschwartz) — discussion

#performance #rust

How bloom filters made SQLite 10x faster (by av) — discussion

#databases

Why we use our own hardware at Fastmail (via luke8086) — discussion

#devops #hardware

Minimilistic Log Moniitoring System (via antonmedv) — discussion

#devops #release

Four limitations of Rust’s borrow checker (via imadij) — discussion

#plt #rust