What TLA+ can and can't check
Last week Boris Cherny, the inventor of Claude Code, mentioned that Opus was able to use TLA+1 to find race conditions in code. And now everybody...
Read moreTag: 30. September 2026
I spent an unreasonable amount of time testing whether Logitech's Superstrike analogue clicks actually make me react quicker
Do inductive clicks really help lower reaction time?
Read more
As handholding mechanics come under fire elsewhere, Control Resonant devs confirm they made a "conscious decision" not to use yellow paint
Control Resonant is one of the few modern open-world games which doesn't always point you to where you should go next. This desire to give players...
Read moreSecurity updates for Wednesday
Security updates have been issued by AlmaLinux (389-ds:1.4, container-tools:rhel8, go-toolset:rhel8, grafana, httpd:2.4, nodejs:22, postgresql:12, and postgresql:15), Debian (libwebsockets, openssl, and pcre2), Fedora (adwaita-icon-theme, cinnamon, dconf, epiphany,...
Read moreQt 6.12 LTS Released With QML Hot Reloading, StyleKit In Experimental Form
Qt 6.12 is now available as the newest version of the Qt6 toolkit and also serving as a Long Term Support (LTS) release...
Read more
Florida attorney general asks judge to bar OpenAI from developing new AI models without third-party approval
Florida asked a court to bar OpenAI from developing new AI models without third-party approval and to keep minors off ChatGPT.
Read more
Ludovic Rousseau: macOS Golden Gate and smart cards status
I will compare this version of macOS with the previous one, Tahoe, which I presented in macOS Tahoe and smart cards status. CCID $ grep -A...
Read more
Catch a Rare Lunar Occultation Jupiter Plus Saturn at Opposition in Early October
It’s a busy skywatching month ahead. The first full week of October sees two top-notch skywatching events, with Saturn reaching opposition, and the Moon occulting Jupiter...
Read more
This $30 gaming mouse proves you don't need 8,000 Hz polling at 65,000 DPI for a good time
It's the best budget wired gaming mouse right now.
Read moreRusticl Had A Great Year For Rust OpenCL In Mesa With 3.1 Support, More Drivers
Rusticl lead developer Karol herbst provided a status update on this Mesa Rust-based OpenCL driver during the XDC 2026 conference happening in Toronto...
Read more
Cloudflare Impact reaches $100 million in donations
This week, Cloudflare's Impact programs will reach $100 million in donated services. This milestone means that thousands of entities including journalists, civil society, state and local...
Read more