Mechanized type inference for record concatenation (by Gabriella439) — discussion

#plt

The Popup That Says the Quiet Part Out Loud (via FedericoSchonborn) — discussion

#ios #vibecoding

How I'm using CSS View Transitions on this blog (via FedericoSchonborn) — discussion

#css

You shouldn't trust Trusted Publishing (by yossarian) — discussion

#python #security

Reporting a 19+ Years Hidden Linux Kernel Zero-Day for Google kernelCTF: CVE-2026-43456 (via rrampage) — discussion

#linux #networking #security

Signed Integers By Default (via runxiyu) — discussion

#plt

Waterfall CAD Playground - A Haskell powered programmable-CAD environment, in the browser with WASM (by hungry_joe) — discussion

#graphics #haskell

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