Mike BommaritoBuilder, Researcher, Teacherhttps://michaelbommarito.comen-usInstruction Sets, Programs, and Proofs: Semantics, Equivalence, and Optimizationhttps://michaelbommarito.com/books/2026-instruction-sets-programs-and-proofshttps://michaelbommarito.com/books/2026-instruction-sets-programs-and-proofsBommarito, M. J. (2026)Sun, 30 Aug 2026 00:00:00 GMTInstruction Sets, Programs, and Proofshttps://michaelbommarito.com/projects/instruction-sets-programs-and-proofshttps://michaelbommarito.com/projects/instruction-sets-programs-and-proofsA 553-page foundations textbook and evidence ledger for reasoning about instruction-set semantics, equivalence, and optimizationThu, 27 Aug 2026 00:00:00 GMTbartz v. anthropic: settlement outline and implicationshttps://michaelbommarito.com/wiki/ai-copyright/bartz-v-anthropic-analysishttps://michaelbommarito.com/wiki/ai-copyright/bartz-v-anthropic-analysisanalysis of the landmark copyright case against anthropic and its resolution through a settlement given final approval in July 2026Mon, 24 Aug 2026 00:00:00 GMTcambricon technologieshttps://michaelbommarito.com/wiki/ai-hardware/cambriconhttps://michaelbommarito.com/wiki/ai-hardware/cambriconchinese ai chip company specializing in neural processing units for cloud and edge computingMon, 24 Aug 2026 00:00:00 GMTchina ai hardware decoupling noteshttps://michaelbommarito.com/wiki/ai-hardware/china-ai-hardware-decouplinghttps://michaelbommarito.com/wiki/ai-hardware/china-ai-hardware-decouplingongoing collection of notes on the evolving china-us ai hardware decouplingMon, 24 Aug 2026 00:00:00 GMTmoore threadshttps://michaelbommarito.com/wiki/ai-hardware/moore-threadshttps://michaelbommarito.com/wiki/ai-hardware/moore-threadschinese gpu design company founded in 2020Mon, 24 Aug 2026 00:00:00 GMTopenai broadcom custom ai chip partnershiphttps://michaelbommarito.com/wiki/ai-hardware/openai-broadcom-partnershiphttps://michaelbommarito.com/wiki/ai-hardware/openai-broadcom-partnership$10 billion openai-broadcom custom inference chip partnership for 2026 productionMon, 24 Aug 2026 00:00:00 GMTsk hynix hbm memory technology and supply chainhttps://michaelbommarito.com/wiki/ai-hardware/sk-hynix-hbmhttps://michaelbommarito.com/wiki/ai-hardware/sk-hynix-hbmhigh-bandwidth memory (hbm) technology, sk hynix market position, and ai chip memory requirementsMon, 24 Aug 2026 00:00:00 GMTtsmc cowos and advanced packaging technologieshttps://michaelbommarito.com/wiki/ai-hardware/tsmc-advanced-packaginghttps://michaelbommarito.com/wiki/ai-hardware/tsmc-advanced-packagingtsmc cowos, broadcom 3.5d xdsip, and packaging technologies for ai chip productionMon, 24 Aug 2026 00:00:00 GMTus data center infrastructure inventoryhttps://michaelbommarito.com/wiki/datacentershttps://michaelbommarito.com/wiki/datacenterscomprehensive public database of 604 us data center projects totaling 1.1+ trillion investment and 131.7 gw capacity, with emphasis on ai/ml infras...Mon, 24 Aug 2026 00:00:00 GMT