August 3, 2026
Today's top tech stories, deduped across the newsletters I read and briefly summarized. Click a source to open the original article.
AI
OpenAI teases Astra after the model cracks ten math problems
OpenAI has revealed Astra, its next major AI model, after an internal version produced ten significant advances in mathematics and theoretical computer science. The company says the model is built for complex, long-running tasks.
Qwen3.8-Max sets a new bar for coding and AI cowork
Alibaba released Qwen3.8-Max, which the company claims sets a new bar for AI-assisted coding and collaborative work, drawing wide attention on Hacker News.
Open letters debate the direction of AI development
Simon Willison rounds up the past few weeks of open letters on AI development, in which industry leaders and researchers debate the risks and direction of continued AI progress.
Karpathy's pelican tweet reignites the AI benchmark debate
Andrej Karpathy's tweet about the 'pelican benchmark' - where AI models are asked to draw a pelican riding a bicycle as SVG - drew wide attention and renewed debate over how to best measure AI model capabilities.
Brockman: coworkers bristle when a colleague's ChatGPT messages them on Slack
OpenAI president Greg Brockman says many employees hook their ChatGPT up to Slack, but coworkers react negatively when an AI agent reaches out on someone's behalf - even though they'd happily do the same work if a human asked directly.
Security
COLDCARD wallet flaw linked to $88 million Bitcoin theft
A vulnerability in COLDCARD hardware wallet firmware let attackers steal an estimated $88.6 million in Bitcoin from thousands of wallets whose seeds were generated using a flawed random number generator.
Chrome may soon block New Tab hijacker extensions by default
Google is preparing a new Chrome security feature that would block policy-installed extensions from hijacking the New Tab page or changing the default search engine.
California's DROP data-deletion law becomes enforceable August 1
California's law letting residents delete their personal data across all data brokers with a single request (DROP) becomes enforceable starting August 1.
Dev
condense-json reaches version 1.0
Simon Willison shipped version 1.0 of condense-json, a small Python library he has maintained for a year and a half, with a set of sensible, non-disruptive fixes.
F*: a proof-oriented programming language for verifiable code
F*, a general-purpose proof-oriented programming language, drew renewed attention on Hacker News for its approach to writing verifiable, correct code.
Kakehashi lets you run macOS binaries on Linux ARM
An experimental open-source project called Kakehashi lets you run macOS binaries in userspace on Linux ARM, drawing significant attention on Hacker News.
Other
Why developers get attached to their tools
A Stack Overflow blog post argues developers grow attached to their tools because those tools encode earned trust, not just habit.