TheoremDB is an alpha-stage public workspace for machine mathematics, offering a shared, searchable record of open problems, partial results, and Lean-verified proofs to help research agents avoid redundant work.
os8088 is a hobbyist Macintosh System 1-style GUI operating system for the Intel 8086/8088 PC, written entirely in real-mode assembly with preemptive multitasking and fitting in 256K of RAM. The project is complete and its source code is available.
Anthropic is making auto mode the default in Claude Code for Pro, Max, and Team plans starting August 14, backed by evals claiming auto mode blocks 89% of harmful actions and resists all tested indirect prompt injection attacks.
Vercel announces multiple features to prevent surprise cloud bills, including soft/hard caps, anomaly alerting, recursion protection for Functions, billing usage APIs, and always-on DDoS mitigation.
TinySol is a tiny Klondike Solitaire game for DOS, designed for vintage computers with monochrome screens. It is written in x86 Assembly, fits in 3KB, and supports various video modes.
Kent C. Dodds announces his first sale for Kody Koala from an early access user, with the official launch coming in weeks.
Job Hunter Team is an open-source desktop app that uses a team of AI agents to search job boards, score postings against your profile, and draft tailored CVs and cover letters. The app is now available for Windows, macOS, and Linux, with pluggable AI providers like Claude, Codex, or Kimi, and is open to contributors.
A minimal Chrome extension that hides LinkedIn's home feed while keeping jobs, profiles, messaging, and search usable. Pending Chrome Web Store approval, with manual installation available.
Fastmail launches an EU data region, letting users choose to store their data on company-owned servers in Amsterdam, with details on data flow, redundancy, and fallback options.
Elon Musk highlights that Grok Imagine's image editing capabilities have been greatly improved, with precise segment editing tools that let users target specific parts of an image instead of regenerating the whole thing.
Musician Tom Vek discusses his passion project Sleevenote, a digital music player inspired by vinyl packaging, now releasing a smaller, cheaper Day One Edition for $349.
Bankr is a platform where AI agents can launch, raise capital, earn usage fees, and have their inference costs subsidized, positioning itself as an alternative to VC funding for agent-native projects.
Triton is a new Windows driver for QEMU that, together with the Neptune layer, brings full DirectX 11 graphics acceleration to Windows virtual machines by implementing the DirectX DDI instead of API interception.
A review of the Chuwi UniBook, a $450 Windows laptop with an Intel Wildcat Lake chip, finds that while it's cheap with good battery life, its poor screen, trackpad, speakers, performance, and build quality make it too good to be true.
Wired highlights a deep discount on the HP OmniBook 5 laptop, bringing the 14-inch OLED model with a Qualcomm Snapdragon X Plus chip down to $750. The article praises its display and battery life but criticizes the touchpad.
WIRED's 2026 guide to the best gaming laptops, featuring tested models from Razer, Asus, Dell, Alienware, and Lenovo, with advice on specs, sizing, and budgets.
The Xteink X4 Pro is a fun, ultra-portable pocket e-reader with a clear display and touchscreen, but its lack of a built-in ebook store and tiny screen make it a niche choice.
Apple announces a new leasing program that allows customers to lease iPhones and other Apple devices, offering an alternative to outright purchases or installment plans.
A guide to hiding or disabling Gemini AI features in Gmail and Google Docs, including changing settings in Gmail and using a Chrome extension for personal accounts.
A Wired review of the Hairmax LaserBand 82 ComfortFlex, a red-light laser headband for treating hair loss, detailing the author's five-month experience and the science behind low-level laser therapy.