How prime factorizations govern the Collatz conjecture (via classichasclass) — discussion

#math

Implementing a Struct of Arrays (via kristoff) — discussion

#c++ #zig

Benchmarking Crimes Meet Formal Verification (via gnyeki) — discussion

#formalmethods #osdev

How To Understand That Jepsen Report (via eatonphil) — discussion

#databases

Bridging the Gap Between Keyword and Semantic Search with SPLADE - Arcturus Labs (via softwaredoug) — discussion

#ai

The future of web development is AI. Get on or get left behind (via drmorr) — discussion

#satire #vibecoding #web

Overengineering PR create with jj (via drmorr) — discussion

#vcs #vibecoding

Smaller, faster serialization for Ruby apps and beyond (via MatheusRich) — discussion

#ruby

V8 JavaScript engine gets eager compilation hints, but will devs use sparingly as advised? (via MatheusRich) — discussion

#browsers #javascript

Odin, A Pragmatic C Alternative with a Go Flavour (via cgrinds) — discussion

#c #go

Augmentation / Replacement (by facundoolano) — discussion

#practices #vibecoding

Stop Fighting Your ROS 2 Environment: Build Faster, Reproducibly, Anywhere (via domenkozar) — discussion

#nix

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

#ask #programming

Fuzzing with Grammars (via bal-e) — discussion

#testing

modern-latex: A short guide to LaTeX that avoids legacy cruft (via diktomat) — discussion

#practices

iBeacons (via eBPF) — discussion

#hardware #historical

Tech Companies Apparently Do Not Understand Why We Dislike AI (via gmem) — discussion

#ai #culture

Distributed training of LLMs on consumer GPUs (via runxiyu) — discussion

#ai

Helmdar: 3D Scanning Brooklyn on Rollerblades (via shapr) — discussion

#art

Moving Beyond Containers - Introducing Boxer by Daniel Phillips @Wasm I/O 2025 (via linkdd) — discussion

#devops #video #wasm