Together for a healthier Clippy (by blyxyas) — discussion

#rust

Google’s exponential path to climate-wrecking digital bloat (via sjamaan) — discussion

#vibecoding

Why false sharing alignment should be 128 bytes on x64 (by monoid) — discussion

#performance

Eliminating Go bound checks with unsafe (via abareplace) — discussion

#go #performance

Turning a Chinese IoT camera into an owl livestream (via jmillikin) — discussion

#ios #reversing

Compiling a Go program into a native binary for Nintendo Switch (via juliethefoxcoon) — discussion

#games #go

Odin 1.0 Announcement (by gingerBill) — discussion

#plt #programming #video

A Rust-to-Lean verification pipeline with AI provers: An experience report (via jmillikin) — discussion

#formalmethods #rust #vibecoding

OpenSSH 10.4 (via fanf) — discussion

#release

Radicle: P2P Git Replication with Git Native Issues and Patches (via datboi) — discussion

#vcs

AT&T's very rare Security-Plus Telephone (via ecksdee) — discussion

#cryptography #historical #security

Securing agentic identity (via gioele) — discussion

#security

Orasort - Common prefix skipping, adaptive sort (via alemi) — discussion

#databases

GLM 5.2 and the coming AI margin collapse (by martinald) — discussion

#vibecoding

Hacking the Kyocera KY-42C (via jummo) — discussion

#hardware #reversing

ReactOS "Open-Source Windows" Project Now Capable Of Running Half-Life 2 (via RaphGL) — discussion

#windows

Januscape: Guest-to-Host Escape in KVM/x86 (via fro) — discussion

#linux #security

Connections in Math: the two kinds of random (via thomas0) — discussion

#compsci #math

Backstage access: an unauthenticated SQL injection in Front Gate Tickets (via freddyb) — discussion

#security

Postgres Is Enough (via blainsmith) — discussion

#databases