Morning Brief: Thursday, July 9

Sixty-five feeds. Two weeks. 4,453 items reduced to what follows. (what we track, how we crawl, subscribe)

Thursday. Latent Space publishes SpaceXAI launches Grok 4.5, first Opus-class model post Cursor acquisition — the first frontier release since SpaceXAI absorbed Cursor. A new world-modeling project, MIRA, trains multiplayer interactive world models on Rocket League. On HN, pgrust — a from-scratch Postgres rewrite in Rust — is now passing 100% of the Postgres regression tests. EFF weighs in on Google's new remote attestation scheme (every bit as terrible as its old remote attestation scheme); an HN companion post frames the general problem. Alignment Forum announces a $160M grant from Coefficient Giving. MIT Technology Review reports four US nuclear reactors reaching criticality in the same window. Supabase ships searchable field-level encryption with CipherStash. On the tail: Codeberg momentum, C64 SRAM finally lands, and IBM Home Director as 1996 home automation.

Top (5-7 min)

SpaceXAI launches Grok 4.5, first Opus-class model post Cursor acquisition: Latent Space, 2026-07-09. AINews packages the Grok 4.5 release — the first frontier drop from SpaceXAI since the Cursor acquisition, positioned as Opus-class.
MIRA: Multiplayer Interactive World Models Trained on Rocket League: HN, 2026-07-09. A multiplayer interactive world model trained on Rocket League — a concrete extension of the world-models thread into competitive multi-agent gameplay.
Postgres rewritten in Rust, now passing 100% of the Postgres regression tests: HN, 2026-07-09. malisper/pgrust reports full pass on the Postgres regression suite — a milestone for the Rewrite-Everything-in-Rust wave following yesterday's Bun-in-Rust announcement.
Google's new remote attestation scheme is every bit as terrible as its old remote attestation scheme: EFF Deeplinks, 2026-07-09. EFF's teardown of Google's revised remote-attestation proposal, arguing the redesign preserves the coercive properties of the original.
Announcing our $160M grant from Coefficient Giving: Alignment Forum, 2026-07-09. Alignment ecosystem funding update: a $160M grant from Coefficient Giving lands on the Alignment Forum's org.
Four nuclear reactors hit a big milestone in the US: MIT Technology Review, 2026-07-09. Four US reactors reach criticality — a rare same-window cluster after years of thin activity.
Searchable field-level encryption on Supabase with CipherStash: Supabase, 2026-07-09. Supabase + CipherStash integration lands searchable encryption at the field level — a practical answer to the encrypt-but-still-query problem for Postgres-based stacks.

Themes this week

RSI, world models, and gameplay agents

MIRA: multiplayer interactive world models on Rocket League (today), Latent Space: Grok 4.5, first Opus-class post-Cursor (today), Latent Space: Weng's 35 papers on Harness Engineering for RSI (Wed), Latent Space: Field Guide to Fable (Tue), Kenneth Payne: Fable of the Universal Schelling Machine (Tue).

Remote attestation and platform coercion

EFF: Google's new remote attestation scheme (today), Liam CVW: Remote Attestation (today).

Rewrites in Rust

pgrust: Postgres in Rust passes 100% of the regression tests (today), Rewriting Bun in Rust (Wed), sqlite-utils 4.0 with schema migrations (Tue).

Alt-forge and platform exits

How-To Geek: developers ditching GitHub for Codeberg and self-hosting (today), Noma Security: GitLost exfil from Copilot Agent (Wed).

Encryption without giving up search

[[https://supabase.com/blog/searchable-field-level-encryption-with-cipherstash][Supabase

CipherStash: searchable field-level encryption]] (today),

ClickHouse: pg_re2 regex in Postgres (Wed).

Nuclear and orbital sensors

MIT Tech Review: four US reactors hit criticality (today), Slashdot: shoebox-sized detector satellites for orbital nuclear detection (today).

Scan (15 min)

Thursday signal (short, worth reading)
- SpaceXAI launches Grok 4.5, first Opus-class model post Cursor acquisition, Latent Space, 07-09
- MIRA: Multiplayer Interactive World Models Trained on Rocket League, HN, 07-09
- Postgres rewritten in Rust, now passing 100% of the Postgres regression tests, HN, 07-09
- Google's new remote attestation scheme is every bit as terrible as its old, EFF, 07-09
- Remote Attestation, HN, 07-09
arXiv notable (202 items today, mid-week volume)
- Cost-Effective Agent Harnesses for Abstract Reasoning and Generalization on ARC-AGI-1, arXiv, 07-09
- AgentLens: Production-Assessed Trajectory Reviews for Coding Agent Evaluation, arXiv, 07-09
- Agentic Data Environments, arXiv, 07-09
- Beyond Attack-Success Rate: Action-Graded Severity Scale for Tool-Using AI Agents, arXiv, 07-09
- Institutional Red-Teaming: Deployment Rules, Not Just Models, Causally Shape Multi-Agent AI Safety, arXiv, 07-09
- Multi-Agent AI Control: Distributed Attacks Hamper Per-Instance Monitors, arXiv, 07-09
- From Atomic Actions to Standard Operating Procedures: Iterative Tool Optimization for Self-Evolving LLM Agents, arXiv, 07-09
- Grounding Spatial Relations in a Compact World Model: Instruction Leakage and a Goal-Free Dynamics Fix, arXiv, 07-09
- LiveOIBench: Can Large Language Models Outperform Human Contestants in Informatics Olympiads?, arXiv, 07-09
- Effective Strategies for Asynchronous Software Engineering Agents, arXiv, 07-09
AI-safety funding and governance
- Alignment Forum: $160M grant from Coefficient Giving, Alignment Forum, 07-09
- Institutional Red-Teaming: deployment rules causally shape multi-agent AI safety, arXiv, 07-09
Platforms, forges, developer exits
- Why developers are ditching GitHub for Codeberg and self-hosting alternatives, HN, 07-09
Encryption, security, attestation
- Google's new remote attestation scheme is every bit as terrible as its old, EFF, 07-09
- Remote Attestation, HN, 07-09
- Searchable field-level encryption on Supabase with CipherStash, Supabase, 07-09
- Software Is Now Written at the Speed of Thought. Security Isn't., Pinboard, 07-09
Preservation, retro, hardware
- C64 Finally Gets the SRAM Corporate Wouldn't Pay For, Hackaday, 07-09
- IBM Home Director: Home Automation in 1996, Hackaday, 07-09
- Die Casting Comes Home, Hackaday, 07-09
HN sundries
- How Donkey Kong Toppled Atari, HN, 07-09
- Spider venom kills varroa mites without harming honeybees, HN, 07-09
Energy, environment, orbital sensors
- Four nuclear reactors hit a big milestone in the US, MIT Tech Review, 07-09
- Shoebox-Sized 'Detector Satellites' Could Sniff Out a Nuclear Bomb In Space, Slashdot, 07-09
- US FDA Rejects Petition To Set PFAS Limits In Food, Slashdot, 07-09
Aviation, telecom, media
- JetZero's changed Z4 BWB, Part 2, Leeham, 07-09
- Truecaller clashes with India's telecom regulator over anti-spam rules, TechCrunch, 07-09
- Pluralistic: Post-political (09 Jul 2026), Pluralistic, 07-09
Yesterday's carryover worth re-reading Thursday morning
- Lilian Weng summarizes 35 papers on Harness Engineering for RSI, Latent Space, 07-08
- GitLost: We Tricked GitHub's AI Agent into Leaking Private Repos, HN, 07-08
- Rewriting Bun in Rust, HN, 07-08
- TypeScript 7, HN, 07-08
- Tenda firmware contains hidden authentication backdoor, HN, 07-08

Tail

LWN.net Weekly Edition for July 9, 2026, LWN, 07-09
CollectWise (YC F24) Is Hiring, HN, 07-09
Mac Shine: Multiscale thalamocortical mechanisms of consciousness, MIT calendar, 07-08

Feed silences (diagnostic)

arxiv-cs-ai: 202 items today, mid-week baseline continues after Tuesday's 673-item flush and Wednesday's 234.
OpenAI, Anthropic-first-party, Simon Willison, Databricks, ClickHouse, Apple ML Research, Google Research, Hugging Face Blog, 404 Media, Schneier, Interconnects, GitHub Blog, GitHub Engineering, Kenneth Payne, Martin Fowler, Microsoft Research, Cloudflare, Databricks, Charity Majors: no posts today.
Netflix Tech Blog, James Bornholt: persistent DNS/TLS errors continue (unchanged).
Planet Clojure: no Thursday posts yet.
WBUR: no Endless Thread today.
bitsavers (6 feeds): connected, 0 items (sparse archive, expected).
claude-code-releases: no release today (v2.1.204 was Wednesday).

Build provenance

build: 2026-07-09 | crawler-sha: 5fe7ab8 (Walsh-Research/1.2, compliance v1.3) | feeds: 65 active (78 configured, incl. 12 corp-eng, 6 bitsavers, 5 generated) | items-considered: 4453 (14d, incl. 2678 arXiv) | warehouse: 23652 items | published: 7 | note: Thursday. SpaceXAI Grok 4.5 is the first Opus-class model since the Cursor acquisition (Latent Space AINews). MIRA trains multiplayer interactive world models on Rocket League. pgrust (Postgres in Rust) passes 100% of the Postgres regression tests. EFF eviscerates Google's revised remote-attestation scheme; HN surfaces a companion primer. Alignment Forum announces a $160M Coefficient Giving grant. Four US nuclear reactors reach criticality. Supabase + CipherStash ship searchable field-level encryption. arXiv holds 202 items (mid-week baseline).