disks-rs: Disk handling with Rust (via tris) — discussion

#rust

Verified and Efficient Matching of Regular Expressions with Lookaround (by agnishom) — discussion

#formalmethods

First release of OpenVox, the community fork of Puppet (via shurup) — discussion

#devops

Tailwind CSS v4.0 (via wezm) — discussion

#css #release

The Grand Unified Theory of Documentation (via veqq) — discussion

#practices #programming

Fundamental Theory of Ada: Type Model (2007) (via veqq) — discussion

#plt

Why don't constructors have override checking? (by jez) — discussion

#java #plt #ruby

MasterCard DNS Error Went Unnoticed for Years (via zk) — discussion

#security

Modern iOS Theming with UITraitCollection (via calvin) — discussion

#ios

The Juggler's Curse (via eBPF) — discussion

#practices

Using the most unhinged AVX-512 instruction to make the fastest phrase search algorithm (via l1npengtul) — discussion

#assembly #performance #rust

Oleg's Programming Site (via veqq) — discussion

#compsci #plt #programming

C stdlib isn’t threadsafe and even safe Rust didn’t save us (via emschwartz) — discussion

#c #rust

Guile Hoot 0.6.0 released (via dustyweb) — discussion

#lisp #wasm

Guided by the beauty of our test suite (via fanf) — discussion

#rust #testing

Introducing RealtimeSanitizer for Rust (via itamarst) — discussion

#rust #testing

Stratoshark: Wireshark for the Cloud (via denz) — discussion

#debugging #networking #security

Debugging a Vision Transformer Compilation Issue (by ohrv) — discussion

#ai #debugging #python

Embedding Python in Rust (for tests) (by eatonphil) — discussion

#python #rust #testing

Lean app monitoring—The Starter Pack (by stebunovd) — discussion

#performance #practices #programming