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

Seventy Years of Parsing: Theoretical and Practical Consequences (via cript0nauta) — discussion

#compsci #pdf

The (Petty) Reason We Didn't End Up Using jj (via eatonphil) — discussion

#java

Caught a .git/config crawler (via FedericoSchonborn) — discussion

#networking

Can you run every line of code in Super Mario Bros.? (via hugoarnal) — discussion

#games #video