Ep. 014 - Finding Miscompiles For Fun, Not Profit (AI Infrastructure) | Justin Lebar & Jordan Nanos
SemiAnalysis WeeklyShow Notes
Justin Lebar (jlebar.com) recently spent $10,000 in an afternoon, uncovering critical miscompiles across NVIDIA's PTXAS, LLVM's AMD GPU, and X86 backends. He joins Jordan Nanos (@JordanNanos) to detail his methodology, which combined traditional fuzzing techniques with novel LLM-assisted bug finding. Their discussion highlights the unique challenges of detecting flaws in less-tested ML compilers compared to mature CPU environments.Lebar shares specific high-severity X86 findings, including an atomic operation bug that splits into two non-atomic operations. They explore the comparative efficacy of fuzzing versus LLM agents in identifying these elusive errors. This episode offers critical insights into compiler security and the burgeoning role of AI in automating rigorous code verification for AI infrastructure.FULL ARTICLE 00:00 Introduction and Content Overview00:25 Justin Lebar's Background and Recent Project00:59 Fuzzing Techniques for Compiler Bugs01:56 Motivation Behind the Project02:48 Challenges in Bug Detection in GPU and ML Compilers04:13 Bug Severity and Findings in AMD and x8605:38 Using LLMs to Read and Find Bugs in Code07:56 Impact of New Models and UltraCode Mode12:18 Estimating Time and Effort Without AI Assistance14:22 Limitations of Manual Code Review for Bugs15:03 Optimism About AI in Software Development16:17 Next Steps and Future Projects18:11 Key Takeaways for Developers and Researchers21:48 Call for Community Engagement and Scientific Approach
More from SemiAnalysis Weekly
Every hybrid bonder on the market today brings the die to the wafer. ASML's patents bring the wafer to the die.Sherry Zhang and Howie join Jordan Nanos (@jordananos) to dig into the patents behind ASML's die-to-wafer hybrid bonder, why a track-based design could beat Besi on alignment and particle control, and why HBM won't adopt die-to-wafer hybrid bonding before 2029. The team also looks at how China is using hybrid bonding to keep scaling past its lithography limits, and what larger photomasks mean for High-NA EUV.Chapters:0:00 The Patent Tip-Off1:53 Hybrid Bonding 1014:06 Die-to-Wafer vs Wafer-to-Wafer5:43 Back End vs Front End8:05 Why HBM Waits Until 202913:45 Everything Comes to the Die18:26 Alignment and Cleanliness22:48 Bonding Instead of Shrinking25:49 China's Toolmakers Step Up28:25 Bigger Masks for High-NA33:29 Two Tool Stacks?Read the full article: ASML Is Building a Hybrid Bonding Tool!https://newsletter.semianalysis.com/p/asml-is-building-a-hybrid-bonding
Brad Gerstner put our 43 gigawatt forecast for 2027 on All-In, then again in his BG2 sit-down with Jensen, and called it too aggressive. The consensus counter sits near 25 GW, built on moratorium headlines and grid connection fears. Jordan Nanos (@JordanNanos) sits down with Jeremie Ontiveros (@JeremieEO) and Reyk Knuhtsen (@robotknower), who have been tracking the same capacity curve since March 2024, and it has barely moved across every model revision. So they aren't cutting it. They're raising it.
GLM 5.3 only attends to the tokens that matter. It still has to keep every one of them.
H100 rental prices went up, on a GPU that should be sliding down its depreciation curve. That curve is what lenders underwrite. Daniel Nishball (@dnishball) kicks off our new Compute Capital Markets group by following the money through Nvidia's $497B backstops, ClusterMAX as a credit signal, and whether each token is profitable. Jordan Nanos (@JordanNanos) brings the rental data. AI debt is about to pass auto loans.
Pay Anthropic $200 a month and you can pull $12,000 of Opus 5.5 tokens at API pricing. Max Kan (@maxkan) and Andrew Megalaa bought every plan, OpenAI, Meta, xAI, MiniMax, Moonshot, Z.ai, Cursor, and measured every token type to find the ceiling. The catch isn't subsidy. Anthropic still books 50 to 60% gross margins on these plans, which means the API itself is the price gouge.