Bob M
Nvidia Built Its Own Money Printer With GPU Financing
TL;DR
- Nvidia invested about $1 billion in AI startups in 2024 through NVentures, and a big chunk came right back as GPU orders. - For every $10 billion Nvidia puts into OpenAI, NewStreet Research pegs the return at $35 billion in GPU sales and lease payments. - Nvidia
GPT-5.6 Sol Ultra Math Proof: The Cycle Double Cover Conjecture Claim Explained
Key Takeaways: - GPT-5.6 Sol Ultra reportedly generated a proof of the Cycle Double Cover Conjecture using 64 subagents. - The conjecture, posed independently by Szekeres and Seymour in the 1970s, has remained open for 50 years. One of graph theory's most well-known unsolved problems. - OpenAI
Apple OpenAI Trade Secret Suit Targets Two Defecting Engineers
Key Takeaways
- Apple filed a "blockbuster" trade-secret lawsuit against OpenAI on July 10, 2026, in the Northern District of California, accusing the AI company of a "deliberate and systematic" theft of proprietary hardware designs. - Two former Apple employees are named: Tang Tan (ex–VP
xAI's Trade Secret Lawsuit Against OpenAI Just Died For Good
Key Takeaways
- xAI's trade secret lawsuit against OpenAI was dismissed with prejudice, meaning xAI can never refile. - The case accused OpenAI of misappropriating source code and confidential details through former xAI employees who joined OpenAI. - OpenAI stated the engineer at the center of the case
One Person Rebuilt Postgres in Rust With AI. 250,000 Lines, Fast.
TL;DR
- pgrust is a full PostgreSQL reimplementation in Rust, built solo by a developer using Codex 5.4 AI agents — 250,000 lines of code in a short time. - Passes 100% of Postgres's regression suite across more than 46,000 queries, targeting Postgres 18.3
Meta Kills Free AI Models. Muse Spark 1.1 Costs Money.
TL;DR
- Muse Spark 1.1 is a closed-weight AI model from Meta. You access it through the Meta Model API at $1.25 per million input and $4.25 per million output tokens. - New devs get $20 in starter credits before billing kicks in. US-only during public