Shopify switches to native development, Microsoft adopts Rust as Tier-1 language
First things first
Some big shifts are happening - companies bouncing back to native code, AI models getting more powerful and cost-effective, and even NASA uncovering hidden details in Earth’s rocks. Meanwhile, concerns about digital ownership and security risks keep popping up, plus tech giants are diving deeper into military contracts and energy deals.
It’s a wild mix of innovation, controversy, and just plain weird stuff out there.
The top 6
Rust Is Tier-1 Language at Microsoft
Don't Let Anyone Take Away Your Big Box of Cables
Tell HN: OpenAI keeps re-enabling the 'allow training' setting
Software Drives People Insane
Astra for Coding: Why Are We Doing This Again?
Armin Ronacher criticizes the current state of AI engineering, comparing it to involution, where effort increases without meaningful progress. Despite Astra's impressive capabilities, he finds it ineffective for practical software engineering and notes issues with its code quality and training process.
Support our sponsor
Your Newsletter Deserves Better Than a Free Plan
Quote of the day
Happiness is not something ready made. It comes from your own actions.
Dalai Lama
Also big today
Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra
List of references on Sony websites to players "owning" their digital games
Silicon Valley Is Transforming the Military-Industrial Complex
Big tech companies and venture capital firms are increasingly benefiting from multi-billion dollar Defense Department contracts, especially in AI-enabled systems. This shift is expanding the military-industrial complex into Silicon Valley, raising concerns about transparency, effectiveness, and taxpayer costs.
Google will buy half the electricity of a nuclear power plant
OpenAI Agents API
NASA Color Trick Was Meant for Mars. Now It's Unveiling Rock Art on Earth
Pass it on
Enjoying the digest?
Forward it to someone who'd like it, or send them the link to subscribe.
Share hn.todayOne for the road
I went to the aquarium this weekend.
There's something fishy about that place.
Worth a look
Neki
Music Theory for the 21st-Century Classroom
Music theory for the 21st-century classroom covers fundamental concepts such as pitch, scales, rhythm, and harmony, providing a comprehensive guide for modern music education. It includes exercises and explanations on intervals, chords, progressions, and non-chord tones to enhance understanding and practical skills.
Detecting and countering misuse of AI: September 2026
AI models like Claude have been exploited by threat actors for malicious activities such as cyber operations, influence campaigns, and biological misuse from December 2025 to August 2026. Disruption efforts and strengthened safeguards aim to prevent future misuse, highlighting ongoing risks and the need for collaboration.
The Deathray: A simple way for an untrusted site to freeze a Mac
The part of Navier-Stokes no one is talking about
OpenAI's recent proof of the Navier-Stokes equations was accompanied by a Lean 4 formal verification, drastically reducing the time needed for formal proofs from thousands of hours to just 17. This breakthrough makes formal verification more practical for applications like security, smart contracts, and critical algorithms.
NTSB Issues Investigative Update on B-767 Runway Excursion Accident in Miami
Song of the day
Deep cuts