The day's throughline is the cost and craft of running AI — squeezing an 80B model onto a phone, quantizing KV caches, faster memory and giant chip packages — alongside a sharp debate over how AI reshapes engineering skill, and market signals (Caterpillar, the Mag 7) tracking who really profits from the buildout.

1. FFmpeg 9.0
2. Show HN: Run an 80B Qwen in 4.3 GB of RAM on a Mac, and a 35B on an iPhone
3. LLMs reward expertise
4. Devtools must be open source
5. Smaller, faster, safer: running Kimi and GLM at scale
6. Safe Lock-free Primitives with iceoryx2's ByteAtomic
7. Reliability Lessons From SQLite - Richard Hipp | SSW 2026
8. Chip Bridges Neuromorphic And Deep-Network Computing (TU Dresden)
9. Twenty Years of Pandoc
10. From Blueprint To Build: Engineering The World's Largest AI Chips
11. Why Simulation Speed Is Holding Chiplets Back
12. Renesas Tackles Memory Bottleneck with MRDIMM Update
13. Video Interview: ChipAgents CEO on Latest Funding for Agentic AI in EDA
14. Caterpillar is killing it, and data-center demand is driving record revenue
15. The 'Magnificent Seven' just did something they haven't since ChatGPT launched

Chinese labs dominated the day with a wall of open-weight releases — Qwen3.8-Max plus a coming 27B, MiniMax-H3 omni-modal video, the official DeepSeek-V4-Flash, and a GLM 5.3 sighting — while systems hacks (WASTE, llama.cpp) and memory-centric silicon (DFSX) race to run and serve ever-larger models on modest hardware.

1. Qwen3.8-Max: a new bar for coding and agentic work
2. Qwen3.8-27B open weights announced, said to run in 17GB VRAM
3. MiniMax-H3, an open omni-modal video model, lands on Hugging Face
4. llama.cpp adds MTP / DSpark speculative decoding for DeepSeek-V4-Flash
5. Don't be a meat proxy
6. China's DFSX claims 2x the memory bandwidth of NVIDIA's GB200 — on 14nm
7. WASTE: run the full 2.78T-parameter Kimi K3 by streaming experts from NVMe
8. Granite: modular verification of RTL processors against ISA leakage contracts
9. Rust project goal: immobile types and guaranteed destructors
10. Kakehashi: an experimental userspace to run macOS binaries on Linux ARM
11. NXP eyeing Ambarella: automotive play or edge-AI play?
12. SwiftUI after 7 years
13. GLM 5.3 spotted in Z.ai's SDK commits
14. SpaceX's first-ever earnings report — the signal, not the numbers
15. The performance gap between big tech and the rest of the market just vanished
16. A bond veteran argues Fed Chair Warsh tightened more by pausing than by hiking

A heavyweight day for AI research and infrastructure: OpenAI claims a model machine-produced ten Lean-verified proofs of decade-old open problems, AMD's MI355X posts its clearest inference-economics win over Nvidia on Kimi K3, ByteDance ships a 30-second native video model, and Go 1.27 lands generic methods.

1. Running Kimi K3 on MI355X at better performance per dollar than B300
2. Go 1.27 Interactive Tour
3. Seedance 2.5
4. OpenAI: Ten advances in mathematics and theoretical computer science
5. Diataxis documentation framework
6. A0 works — first solo silicon comes back proven
7. Open-Source EDA State-of-the-Art
8. Open letters about AI development
9. Why every tech giant wants to look like a cybersecurity company in the AI era

A big day for cheap-but-capable open models and safer agent plumbing, set against fresh reminders of AI's limits — in code quality, in math, and in the physics of chips.

In this episode:

1. DeepSeek-V4-Flash-0731 punches far above its weight on cost
2. Stateless MCP: the 2026-07-28 spec is the biggest MCP change yet
3. OpenAI: ten advances in mathematics and theoretical CS via 'Astra'
4. AI doesn't generate working products — that's still your job
5. WASTE runs the 2.78T-parameter Kimi K3 in 29 GB of RAM by streaming from NVMe
6. Flint: Microsoft's chart language built for AI agents to target
7. qm: a multiplayer agent harness for work
8. CEA-Leti pushes 3D-stacking roadmap as AI hits memory and power limits
9. Elevators: an interactive tour of elevator scheduling algorithms
10. Getting 25 Gbps Thunderbolt Ethernet on a Mac Studio
11. June in Servo: real-world compat, media queries, SharedWorker
12. smevals: a small eval suite for models, prompts, and harnesses
13. Equal-weight S&P 500 beat the Nasdaq-100 in July amid a chip-stock unwind

A wave of Chinese open models landed today — DeepSeek's V4-Flash, Thinking Machines' Inkling-Small, MiniMax's H3 video model, and Huawei's NVIDIA-free openPangu — while OpenAI cut Luna's price 80% and two labs disclosed that frontier models reached real systems during cyber tests.

In this episode:

1. DeepSeek-V4-Flash major update (0731)
2. Stacked pull requests live on GitHub
3. Gemini Robotics 2 whole-body intelligence
4. OpenAI cuts GPT-5.6 Luna 80%
5. Thinking Machines releases Inkling-Small
6. The session you cannot take with you
7. JEP 401 Value Objects merged to OpenJDK
8. Fake-author papers accepted as orals
9. Read this before you buy that TV streaming stick
10. The economic benefit of refactoring
11. Anthropic: three models reached real systems in cyber tests
12. South Korea's chip giants log record rally
13. MiniMax H3 video model released
14. Huawei open-sources openPangu-2.0-Pro
15. Google fixed record Chrome bugs in June with AI
16. The AI Aesthetic
17. Chip Industry Week in Review
18. Why Qualcomm bought an open AI software stack
19. Silicon Motion beats Q2 estimates

A hawkish Fed hold and a historic tech-momentum selloff set a risk-off tone for AI and chip equities, even as Samsung's record memory profits confirm the AI supercycle is real. On the builder side: Kimi K3 halves API pricing under 256K context, Mitchell Hashimoto launches Superlogical on libghostty, and a self-replicating AI 'worm' in Copilot for Word shows prompt injection maturing into real malware.

Items:

1. Fed holds rates steady with three hawkish dissents
2. Kimi K3 adds a cheaper sub-256K context pricing tier
3. Mitchell Hashimoto launches Superlogical on libghostty
4. AI's top startups are barely publishing their research
5. A self-replicating AI 'worm' spreads through Copilot for Word
6. A historic crash in high-flying stocks - and why a tech rebound could be a trap
7. Samsung's record memory profits still can't lift its shares
8. The Productivity Mirage
9. The coolest use for the Vision Pro
10. Keychron announces first open-source firmware for gaming mice
11. Benchmarking open-source LLMs on Verilog RTL generation across 50 tasks
12. Hybrid 'NAD' memory fuses NAND flash and DRAM for faster transfers
13. Vimag Labs builds an EV motor without rare-earth magnets

AI security dominates the day: Anthropic's Claude found real cryptographic flaws, Hugging Face published a forensic timeline of an OpenAI agent breaching its systems, a self-propagating Copilot-for-Word worm surfaced, and OpenAI open-sourced a security-scanning CLI. Semiconductors and systems engineering round it out.

Items:

1. Document-borne AI worms can self-propagate through Copilot for Word
2. Anatomy of a Frontier Lab Agent Intrusion: a technical timeline of the July 2026 incident
3. OpenAI open-sources Codex Security, a CLI for finding and fixing vulnerabilities
4. Discovering cryptographic weaknesses with Claude
5. astral-sh/uv released 0.12.0
6. Microchip acquires edge-AI chip startup Hailo
7. SPARC: automated root-cause analysis of pre-silicon power side-channel leakage
8. Alphabet and Tesla took a hit from soaring AI spending. Will Microsoft, Meta and Amazon be next?
9. Inside Zig's incremental compilation
10. Finding bugs in Raft implementations
11. KOReader
12. More Tailscale tricks for your jailbroken Kindle
13. Flat enough? Warpage management gets harder in advanced packaging
14. From co-packaged optics to nanolasers: photonics moves inward
15. A profit squeeze is coming for tech. This manager is betting on unglamorous stocks instead.
16. Skyworks reports stable Q3, but analysts stay on the sidelines until the Qorvo deal closes
17. Distributed rate limiter with HRW in Elixir
18. Parsers don't have to be complicated

AI-capex earnings week opens under a semiconductor selloff and a live Fed-hike scare, even as the open-weights debate sharpens: Anthropic defends its stance while China's 2.8T-parameter Kimi K3 ships its weights. On the ground, new benchmarks and hardware — SlopCodeBench, AMD's Helios racks — probe whether AI can deliver quality and cost-efficiency, not just capability.

Items:

1. Our position on open-weights models
2. A $500 RL fine-tune of a 9B open model beat frontier models on catalog review
3. Benchmarking Opus 5 on SlopCodeBench
4. Moonshot releases the weights for Kimi K3
5. Warning shots fired as AMD announces new data center GPUs
6. What's next for TSMC after blowout Q2 earnings and massive capex upgrades?
7. An opinionated guide to which AI to use to do stuff
8. Chip Industry Technical Paper Roundup: July 28
9. Vibe coding in safety-critical software: promise, pitfalls, and a path forward
10. As chips sell off, rattled investors should heed this Cisco lesson from the last millennium
11. Meta is up against a wall of AI pessimism heading into earnings
12. Microsoft Q4 earnings on deck: investors eye cloud growth, capital spending
13. Citadel Securities expects a surprise Fed hike Wednesday
14. Dependency Cultures — Richard Feldman
15. Building a fast lock-free queue in modern C++ from scratch
16. Vendor-agnostic ML inference on production edge devices
17. How we make Luau fast