Foundational Verification of Running-Time Bounds for Interactive Programs (via typesanitizer) — discussion

#formalmethods #pdf #performance

Integrating Discord SDK into EVE Frontier (via juliethefoxcoon) — discussion

#c++ #games #pdf #python

‘Huge Breakthrough’ in the Math of Imbalance (via jo3_l) — discussion

#math

Why aren't my two Cortex-A9 cores cache coherent? (via binjip978) — discussion

#hardware #rust

The immortal 1984 Macintosh (restoration diary) (via ggpsv) — discussion

#mac #retrocomputing

KDE Linux experiences (via w8l) — discussion

#linux

hdiutil is deprecated in macOS 27 Golden Gate (via classichasclass) — discussion

#mac

NetBSD and my life (2005) (via gnyeki) — discussion

#netbsd

PiKVM project has gained support for web-camera forwarding (via intelfx) — discussion

#release

An arcade fighting game over SSH (via andypiper) — discussion

#games

A 2026 Survey of Rust GUI Libraries (via dkess) — discussion

#rust

Linus Torvalds uses AI to debug an Intel GPU driver bug (via Yogthos) — discussion

#linux #vibecoding

nss-userhosts - hosts files for unprivileged users (by felixs) — discussion

#linux #rust #show

InjectionBunny, a NTFS3 SUID injection for privilege escalation (via alemi) — discussion

#linux #security

There continue to be reasons for software to be slow (by typesanitizer) — discussion

#performance #vibecoding

Stalking the Wily Hacker: 40 years later (via gir) — discussion

#person #security #video

Espressif releases Linux BSP for ESP32-S31 RISC-V boards (via raymii) — discussion

#hardware #linux

You should never be angry at work (via MooreMachine) — discussion

#practices

Robot comment classifier (by kqr) — discussion

#ai #practices #vibecoding

The Schrödinger Email (by yashgarg) — discussion

#email