Morning Brief: Thursday, July 30

Sixty-six feeds. Two weeks. 3,998 items reduced to what follows. (what we track, how we crawl, subscribe)

Thursday cycle: light news day. Fifteen non-arXiv items across tracked feeds. Three threads carry over with fresh weight, plus one non-carryover engineering post.

First: Microsoft's competitive positioning goes on-the-record. TechCrunch Thursday: Microsoft is openly competing with OpenAI, Anthropic more than ever. Direct extension of Monday's TNS piece Microsoft is in a race to make OpenAI optional. Monday framed it as strategic hedging; Thursday reports it as executed. Sits alongside Wednesday's pace-letter (OpenAI, Anthropic, Google DeepMind, Meta, Thinky) — the frontier-lab coordination story and the frontier-lab commercial-decoupling story continue on parallel tracks.

Second: the Chinese-humanoid-robot ban moves to second-order analysis. Slashdot Thursday: Who Wins and Who Loses After US Bans Foreign Robots? — the same-day analytical follow-up to Wednesday's ban announcement. Watch for a Boston Dynamics / Agility Robotics / Figure earnings-call reference in the coming weeks: US-only humanoid supply chains are now a policy-blessed market.

Third: the data-center labor thread widens. Slashdot Thursday: AI Companies Are Recruiting Electricians and Carpenters By the Thousands — Slashdot's repackaging of Wednesday's NYT HN post. The same story appearing across HN and Slashdot 24h apart is usually the sign of a durable narrative forming. Pairs with Wednesday's Workplaces Look For Cheaper AI As 'Tokenmaxxing' Fades — the deployment-cost-reality frame and the data-center-labor frame are the same story from different angles.

Fourth (non-carryover): Databricks ships an engineering post. Convert proprietary code to open ANSI SQL with Genie Code. First substantive engineering piece in a stretch dominated by industry-vertical finance-marketing pieces (Quality care is the mission, Energy runs on volatile markets, Manufacturing runs on capital). Genie Code as the migration path for proprietary-dialect SQL — a real product move, not a case study.

Hillel Wayne's Wednesday Logic for Programmers is Done hits HN Thursday as Logic for Programmers. The book ships. Hillel-Wayne feed has been silent for 15 days before Wednesday, so this is the end of that specific silence and the beginning of the book's public-launch cycle.

Nature Machine Intelligence resumes after a 5-day silence with two papers: Classifying multipartite continuous-variable entanglement structures through data-augmented neural networks and a reusability report on liquid electrolyte design. Journal is back.

RTL-SDR third wave. Testing Airspy's New WebSpy Web SDR Interface with an RTL-SDR Thursday makes it nine posts in 72 hours after the 7-day silence that ended Monday. The feed silence was not gradual, and neither is the return.

Hackaday Thursday: A Capable KVM Built With The ESP32 and Keyboard Lights As An Airgap Attack Vector (yesterday but new to today's crawl). Two solid infosec/electronics posts.

HN Thursday front page (thin): Logic for Programmers, Why the future is local app (local-first framing), Kuna: Decompiler Development in the Age of Coding Agents (agent-native reverse engineering).

Leeham Thursday: For the next narrowbody, what are the airframe efficiency gains? — closes this week's Airbus/Boeing/Safran Q2 sequence with a forward-looking piece on the next platform. Four Leeham posts in three days after the earnings cadence.

Slashdot Thursday: Qantas Plane Flies For More Than 24 Hours In Record-Breaking Flight — the hardware/aviation quirk item of the day.

Wednesday still frames the week: Latent Space AINews Fearing RSI: OpenAI, Anthropic, GDM, Meta, Thinky cosign letter to "Pace" AI development, as HuggingFace details Machine-Speed Offensive Cyberattack, BBC ChatGPT claims rogue AI attacked more companies, Schneier Measuring LLMs' Ability to Perform Cryptanalysis (paired with Willison's Tuesday Discovering cryptographic weaknesses with Claude), Cyera $1B acquisition of Oasis Security, Trump admin bans new Chinese humanoid robots, MIT Tech Review AI Hype Index: Unsexy AI, Pluralistic Reverse Centaurs go global, RTL-SDR second wave (four posts), CIDER hat-trick, Kimi K3 few can run it, Anthropic Our position on open-weights models.

Top (5-7 min)

Microsoft is openly competing with OpenAI, Anthropic more than ever: TechCrunch, 2026-07-30. On-the-record execution of Monday's TNS thesis Microsoft is in a race to make OpenAI optional. The frontier-lab commercial-decoupling story runs in parallel with the frontier-lab coordination story.
Who Wins and Who Loses After US Bans Foreign Robots?: Slashdot, 2026-07-30. Same-day second-order analysis of Wednesday's Chinese humanoid ban. US-only humanoid supply chains are now a policy-blessed market.
AI Companies Are Recruiting Electricians and Carpenters By the Thousands: Slashdot, 2026-07-30. Repackaging of Wednesday's NYT HN post. Same story appearing across HN and Slashdot 24h apart is usually a durable-narrative signal.
Convert proprietary code to open ANSI SQL with Genie Code: Databricks, 2026-07-30. First substantive engineering post from Databricks in weeks. Genie Code as a proprietary-dialect SQL migration path.
Logic for Programmers: HN, 2026-07-30. Hillel Wayne's book ships. Follows Wednesday's Hillel post Logic for Programmers is Done.
Logic for Programmers is Done: Hillel Wayne, 2026-07-29. Author announcement that pairs with today's HN posting. End of a 15-day Hillel Wayne feed silence.
Classifying multipartite continuous-variable entanglement structures through data-augmented neural networks: Nature Machine Intelligence, 2026-07-30. NMI resumes after 5-day silence. Data augmentation for quantum entanglement structure classification.
Kuna: Decompiler Development in the Age of Coding Agents: HN, 2026-07-30. Agent-native reverse engineering. Fits alongside the broader developer tools rebuilt for coding agents thread (Cursor Start Tuesday, Hubble Wednesday).
Why the future is local app: HN, 2026-07-30. Local-first framing. Recurring HN theme this year, still unresolved.
Testing Airspy's New WebSpy Web SDR Interface with an RTL-SDR: RTL-SDR, 2026-07-30. Third-wave RTL-SDR post. Nine posts in 72h after 7-day silence.
A Capable KVM Built With The ESP32: Hackaday, 2026-07-30. ESP32-based KVM. The KVM-of-the-week beat.
Keyboard Lights As An Airgap Attack Vector: Hackaday, 2026-07-30. Classic airgap side-channel research.
For the next narrowbody, what are the airframe efficiency gains?: Leeham News, 2026-07-30. Closes the week's Airbus/Boeing/Safran Q2 sequence with a forward-looking piece on the next platform.

Themes this week

Frontier-lab commercial decoupling (Microsoft on-the-record): TechCrunch: Microsoft is openly competing with OpenAI, Anthropic more than ever (Thu), New Stack: Microsoft is in a race to make OpenAI optional (Mon, carryover).
Frontier-lab coordination: pace letter arrives, OpenAI signs (carryover): Latent Space AINews: Fearing RSI — OpenAI, Anthropic, GDM, Meta, Thinky cosign pace letter (Wed), TechCrunch: Anthropic's Dario Amodei responds (Tue), New Stack: Anthropic wants tests, not bans (Tue), Latent Space AINews: Much ado about Open Weights (Tue), Anthropic: Our position on open-weights models (Mon).
Vendor sandbox / rogue-agent story in general press (carryover): BBC via HN: ChatGPT claims rogue AI attacked more companies (Wed), Willison: Anatomy of a Frontier Lab Agent Intrusion (Tue), 404 Media: Claude Chats Exposed on Google (Mon).
LLM cryptanalysis — Willison → Schneier (carryover): Schneier: Measuring LLMs' Ability to Perform Cryptanalysis (Wed), Willison: Discovering cryptographic weaknesses with Claude (Tue).
China tech trade: robot ban moves to second-order analysis: Slashdot: Who Wins and Who Loses After US Bans Foreign Robots? (Thu), Slashdot: Trump Administration Bans New Chinese Humanoid Robots (Wed), MIT Tech Review: Samsung's chip workers jumping to SK Hynix (Tue), Slashdot: China Begins Mass Production of Homegrown DUV Chip Tools (Mon).
AI deployment: cost reality + labor supply: Slashdot: AI Companies Are Recruiting Electricians and Carpenters By the Thousands (Thu), NYT via HN: AI companies are recruiting electricians and carpenters by the thousands (Wed), Slashdot: Workplaces Look For Cheaper AI As 'Tokenmaxxing' Fades (Wed), MIT Tech Review: The AI Hype Index — Unsexy AI (Wed), New Stack: Moonshot opens Kimi K3 weights — but few can run it (Mon).
Agent-security M&A (carryover): TechCrunch: Cyera acquires Oasis Security for $1B (Wed).
Developer tools rebuilt for coding agents: Kuna: Decompiler Development in the Age of Coding Agents (Thu), HN: Hubble — Open-source notetaking app for you and your agents (Wed), Cursor Start (Tue), Vercel Sandbox supports forking (Tue).
RTL-SDR third wave (9 posts in 72h): Testing Airspy's New WebSpy Web SDR Interface with an RTL-SDR (Thu), DeepSDR public-safety map with Whisper + LLM (Wed), Building a $50 BOM SDR (Wed), Radio Silence — iOS KiwiSDR client (Wed), TunerScope — browser HDTV antenna tuning (Wed), VibeSDR on Apple Watch (Tue), isTRAIN train-crossing detector (Tue), SDROxide Rust SDR client (Tue), CellScope LTE sniffing on Windows (Tue).
Aviation: Airbus/Boeing/Safran Q2 sequence closes: Leeham: For the next narrowbody, what are the airframe efficiency gains? (Thu), Leeham: Airbus full-year guidance back on track after record Q2 (Wed), Leeham: Airbus walks line between shareholder returns and clean-sheet ambitions (Tue), Leeham: Boeing CEO — Max 7 and Max 10 deliveries in 2027, low margins until 2030 (Tue), Leeham: Strong LEAP engine demand lifts Safran to record first-half (Tue).
CIDER internals hat-trick (carryover): Planet Clojure / metaredux: Leveling Up CIDER's ClojureScript Support (Wed), Planet Clojure / metaredux: Sharpening CIDER's Debugging Tools (Tue), Planet Clojure / metaredux: Closing the Find-Usages Gap in CIDER (Mon).
Distributed-systems verification (carryover): Antithesis: Finding bugs in Raft implementations (Mon).

Scan (15 min)

Thursday feeds
- Microsoft is openly competing with OpenAI, Anthropic more than ever, TechCrunch, 07-30
- Who Wins and Who Loses After US Bans Foreign Robots?, Slashdot, 07-30
- AI Companies Are Recruiting Electricians and Carpenters By the Thousands, Slashdot, 07-30
- Qantas Plane Flies For More Than 24 Hours In Record-Breaking Flight, Slashdot, 07-30
- Convert proprietary code to open ANSI SQL with Genie Code, Databricks, 07-30
- Classifying multipartite continuous-variable entanglement structures through data-augmented neural networks, Nature Machine Intelligence, 07-30
- Reusability report: Exploring the utility and extensibility of an integrated modelling framework for liquid electrolyte design, Nature Machine Intelligence, 07-30
- LWN.net Weekly Edition for July 30, 2026, LWN, 07-30
- For the next narrowbody, what are the airframe efficiency gains?, Leeham News, 07-30
- Testing Airspy's New WebSpy Web SDR Interface with an RTL-SDR, RTL-SDR, 07-30
- A Capable KVM Built With The ESP32, Hackaday, 07-30
- Keyboard Lights As An Airgap Attack Vector, Hackaday, 07-30
- Use Your Head While Trimming Trees, Hackaday, 07-30
Thursday HN front page (thin)
- Logic for Programmers, HN, 07-30
- Kuna: Decompiler Development in the Age of Coding Agents, HN, 07-30
- Why the future is local app, HN, 07-30
Wednesday HN front page (carryover)
- SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers, HN, 07-29
- Cracking Windows Open: Porting RADV to Win32, HN (Collabora), 07-29
- LearnVector – Andrew Ng's AI company, HN, 07-29
- Hubble: Open-source notetaking app for you and your agents, HN, 07-29
- Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co-Design, HN, 07-29
- Hooray for the Sockets Interface, HN (APNIC), 07-29
- ChatGPT claims rogue AI attacked more companies, HN (BBC), 07-29
- Multiple Mouse Cursors in Wayland, HN, 07-29
- A.I. companies are recruiting electricians and carpenters by the thousands, HN (NYT), 07-29
- Some thoughts about Anthropic's new cryptanalysis results, HN, 07-29
Wednesday feeds (carryover)
- [AINews] Fearing RSI: pace letter + HuggingFace Machine-Speed Offensive Cyberattack, Latent Space, 07-29
- The AI Hype Index: Unsexy AI, MIT Technology Review, 07-29
- Measuring LLMs' Ability to Perform Cryptanalysis, Schneier on Security, 07-29
- Pluralistic: Enshittification and Reverse Centaurs go global, Pluralistic, 07-29
- Introduction To honeysql - Clojure SQL Library, Planet Clojure, 07-29
- Eyre: Gathering System Facts, Planet Clojure, 07-29
- Leveling Up CIDER's ClojureScript Support, Planet Clojure, 07-29
- How enabling two settings tripled our scores on the ARC-AGI-3 benchmark, OpenAI, 07-29
- How GPT-5.6 fuses frontier intelligence with frontier efficiency, OpenAI, 07-29
- Accelerating scientific discovery with ChatGPT for Academic Researchers, OpenAI, 07-29
- Adding a custom MCP server to Claude and ChatGPT, Simon Willison, 07-29
- AI Worming through Word, Simon Willison, 07-29
- Logic for Programmers is Done, Hillel Wayne, 07-29
- Post-quantum authentication to origins is now supported, Cloudflare, 07-29
- FreeBSD Support: Greatest Hits, Klara Systems, 07-29
- An Update on the FreeBSD Journal: New Editor, New Format, FreeBSD Foundation, 07-29
- Instrumenting my espresso machine with OpenTelemetry, ClickHouse, 07-29
- Lorenz and Little: How Much Does Your Tail Cost?, Marc Brooker, 07-29
- Tame Dependabot: Group your updates, slow the cadence, keep security fast, GitHub Engineering, 07-29
- Automate all the things: How to use Grafana Cloud's AI, Grafana Labs, 07-29
- Sign in with ChatGPT is in beta on Supabase, Supabase, 07-29
- Cursor, now on iPad, cursor-blog, 07-29
- Physicists Solve a Big Quantum Mystery. Now, Old Results Don't Add Up., Quanta Magazine, 07-29
- Imprecise beliefs: a tiny introduction, Alignment Forum, 07-29
- Value Generalisation 1: a Research and Deployment Program, Alignment Forum, 07-29
Wednesday TNS (carryover)
- OpenAI fixed GPT-5.6 Sol's most frustrating flaw, The New Stack, 07-29
- Anthropic backs urgent call for the most powerful AI labs to hit the brakes, The New Stack, 07-29
- The beast needs a cage: Why PortSwigger's agentic pentesting is kept safe behind bars, The New Stack, 07-29
- OpenAI, Anthropic, and Cursor all localized pricing for India, The New Stack, 07-29
- Opus 5 vs. Fable 5: What does half the price buy?, The New Stack, 07-29
- The AI vibe shift: NanoClaw and Echo team up to stop the next Hugging Face Breach, The New Stack, 07-29
- Stateful systems are incredibly hard to build: How Perplexity thinks about AI agent sandboxes, The New Stack, 07-29
Wednesday Vercel changelog
- Grok Voice Think Fast 2.0 on AI Gateway, Vercel, 07-29
- Edge Config is now Global Config, Vercel, 07-29
- AI Gateway adds unified fast mode support, Vercel, 07-29
- Sign in with ChatGPT is now available on Vercel, Vercel, 07-29

Tail

Microsoft on-the-record vs OpenAI/Anthropic: TechCrunch Thursday: Microsoft is openly competing with OpenAI, Anthropic more than ever. Monday's TNS piece framed this as strategic hedging; Thursday reports it as executed. Runs in parallel with the frontier-lab coordination story (Wednesday's pace letter).
Foreign robot ban → second-order analysis in 24h: Wednesday: Trump Administration Bans New Chinese Humanoid Robots. Thursday: Who Wins and Who Loses After US Bans Foreign Robots?. US-only humanoid supply chains are now a policy-blessed market. Watch for Boston Dynamics / Agility Robotics / Figure earnings-call references.
Data-center labor: same story across HN and Slashdot in 24h: Wednesday: HN posts the NYT A.I. companies are recruiting electricians and carpenters by the thousands. Thursday: Slashdot repackages. Same story appearing across two aggregators 24h apart usually means the narrative sticks. Pairs with Wednesday's tokenmaxxing-fades reality check.
Hillel Wayne's book ships: Hillel Wayne Wednesday: Logic for Programmers is Done (end of a 15-day feed silence). HN Thursday: Logic for Programmers appears on the front page. Book launch cycle begins.
Databricks ships engineering, not just verticals: Convert proprietary code to open ANSI SQL with Genie Code. First substantive Databricks engineering post in a stretch dominated by Quality care is the mission, Energy runs on volatile markets, Manufacturing runs on capital, Bringing real-time fraud prevention to government benefits. Product move, not case study.
RTL-SDR fully back and continuing (9 posts in 72h): Thursday adds Testing Airspy's New WebSpy Web SDR Interface with an RTL-SDR to Wednesday's four and Tuesday's four. What began as a 7-day silence ending Monday has become a nine-post surge in 72 hours.
Nature Machine Intelligence resumes: Two papers Thursday after 5 days silent. Journal is back on schedule.
Aviation Q2 sequence closes forward-looking: Leeham Thursday closes the week's four-post Airbus/Boeing/Safran Q2 sequence with a forward-looking piece on the next narrowbody airframe efficiency gains.

Feed silences (>72h since last item)

Sources that publish frequently but have gone quiet:

Antithesis (3 days) — last item 2026-07-27.
Ink & Switch (3 days) — last item 2026-07-27.
The Air Current (3 days) — last item 2026-07-27.
claude-code-releases (5 days) — last item 2026-07-25.
Fly.io (6 days) — last item 2026-07-24.
BSD Now (7 days) — last item 2026-07-23.
Murat Demirbas (7 days) — last item 2026-07-23.
Neon (7 days) — last item 2026-07-23.
DuckDB (8 days) — last item 2026-07-22.
Google Research (8 days) — last item 2026-07-22.
Interconnects (8 days) — last item 2026-07-22.
Julia Evans (9 days) — last item 2026-07-21.
Stephen Wolfram (9 days) — last item 2026-07-21.
Tailscale (9 days) — last item 2026-07-21.
Netflix Tech Blog (13 days) — last item 2026-07-17.
Terence Tao (13 days) — last item 2026-07-17.

Build provenance