A tiny-models-and-verification day: Cactus's 16.9 MB Whistle pushes speech recognition onto bare CPUs, a Claude-built Rust Quake proves itself pixel-for-pixel against id's C, and a set theorist pushes back on OpenAI's unreadable math manuscripts; in markets, SpaceX's spectrum grab rattles telcos and AI-driven memory costs dent iPhone 18 Pro demand.
- Whistle: a 16.9 MB open speech-to-text model that runs on any CPU —
- A set theorist on OpenAI's claimed Partition Principle result: 'unclear, muddled' and a denial of service on mathematicians —
- Chip week: GF to make CoWoS interposers for TSMC, hyper-NA EUV, $300M GPU-smuggling charge —
- SpaceX buys Grain's 800 MHz spectrum for Starlink Mobile; carrier stocks slide —
- Nikkei: Apple cuts iPhone 18 Pro component orders 15%+ as memory-driven price hikes cool demand —
- Show HN: Quake ported to safe Rust by Claude agent fleets, pixel-exact against id's C —
- Biohub, DOE, NIH, DeepMind and Meta commit $1.8B to AI-ready biological data —
- ttok 1.0 defaults to the GPT-5/GPT-6 tokenizer — and OpenAI hasn't confirmed GPT-6's —
- Adding Go's defer to the TypeScript compiler — and concluding it shouldn't exist —
- A deep reference to keyboard differences between Windows and Mac —
- Microsoft: start testing post-quantum certificate ecosystems now —
