BIO: The Bao I/O Coprocessor (via ciferkey) — discussion

#hardware

Linear Temporal Logic Visualizer (via hwayne) — discussion

#formalmethods #math

Developer Spotlight: Somtochi Onyekwere from Fly.io (by eatonphil) — discussion

#databases #person

Trivy Compromised a Second Time - Malicious v0.69.4 Release (via drmorr) — discussion

#security

Adding Live Reload to a Static Site Generator Written in Go (by bugsmith) — discussion

#go

Related UI elements should not appear unrelated (via untitaker) — discussion

#design

What we heard about Rust's challenges, and how we can address them (via emschwartz) — discussion

#rust

Emacs Internal #01: is a Lisp Runtime in C, Not an Editor (via confusedalex) — discussion

#emacs

Lobsters Interview with Internet_Jannitor (by veqq) — discussion

#person

Life TV: Video with 2 bits to spare (via tumdum) — discussion

#hardware

Thunderbird: Introducing our Public Roadmaps (via freddyb) — discussion

#email #release

The Good, the Bad, and the Leaky: jemalloc, bumpalo, and mimalloc in meilisearch (via emschwartz) — discussion

#rust

Serenely Fast I/O Buffer (With Benchmarks) | SereneDB (via eatonphil) — discussion

#c++ #databases

I'm OK being left behind, thanks (via gerikson) — discussion

#practices #vibecoding

The Social Smolnet (via dzwdz) — discussion

#browsers #culture

Beat Paxos (via rmoff) — discussion

#distributed

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

#ask #programming

Wayland set the Linux Desktop back by 10 years (via hongminhee) — discussion

#linux

Unified Modules For Your Nixfiles (via knl) — discussion

#nix

Fedora Asahi Remix 43 is now available (via runxiyu) — discussion

#linux #release #reversing