Submissions from stephendiehl.com

		A Field Guide to Bugs (stephendiehl.com)
		2 points by ibobev 3 days ago \| past \| discuss
		Book Review: Klara and the Sun (stephendiehl.com)
		2 points by ibobev 15 days ago \| past \| 1 comment
		Book Review: Capitalist Realism (stephendiehl.com)
		2 points by ibobev 16 days ago \| past
		Book Review: The Crisis of Democratic Capitalism (stephendiehl.com)
		1 point by ibobev 16 days ago \| past
		Book Review: Tomorrow, and Tomorrow, and Tomorrow (stephendiehl.com)
		3 points by ibobev 16 days ago \| past \| 1 comment
		Book Review: Tomorrow, and Tomorrow, and Tomorrow (stephendiehl.com)
		1 point by ibobev 17 days ago \| past
		Every Democrat Who Enabled Trump's Crypto Corruption (stephendiehl.com)
		3 points by ibobev 17 days ago \| past
		The Thirty Years' War Is Starting Again (2025) (stephendiehl.com)
		2 points by ibobev 17 days ago \| past \| 2 comments
		Book Review: When We Cease to Understand the World (stephendiehl.com)
		7 points by ibobev 19 days ago \| past \| 1 comment
		Book review: There Is No Antimemetics Division (stephendiehl.com)
		282 points by ibobev 19 days ago \| past \| 227 comments
		Book Review: Piranesi (stephendiehl.com)
		2 points by ibobev 19 days ago \| past
		Book Review: What We Can Know (stephendiehl.com)
		2 points by ibobev 19 days ago \| past
		Unnecessary and Unstable: Why Stablecoins Are Bad (stephendiehl.com)
		4 points by dpmartinez 39 days ago \| past
		Optimal Caverna Gameplay via Formal Methods (stephendiehl.com)
		2 points by ibobev 61 days ago \| past
		Can Opus 4.6 Do Category Theory in Lean? (stephendiehl.com)
		4 points by macleginn 67 days ago \| past
		Can Opus 4.6 Do Category Theory in Lean? (stephendiehl.com)
		8 points by ibobev 68 days ago \| past
		Hypothetical Divine Signatures: Proving Omniscience via Computational Complexity (stephendiehl.com)
		3 points by pure_coder 3 months ago \| past
		GPU Compilation with MLIR (stephendiehl.com)
		2 points by cmdr2 6 months ago \| past
		The Y Combinator in Python (stephendiehl.com)
		2 points by nickdevx 6 months ago \| past
		What is AI market worth? (stephendiehl.com)
		2 points by ibobev 7 months ago \| past
		Exotic Programming Ideas (2021) (stephendiehl.com)
		17 points by ibobev 8 months ago \| past
		The Stochastic Code Monkey Theorem (stephendiehl.com)
		3 points by ibobev 8 months ago \| past
		Typechecker Zoo (stephendiehl.com)
		3 points by ibobev 8 months ago \| past
		Typechecker Zoo (stephendiehl.com)
		5 points by todsacerdoti 8 months ago \| past
		Types of types in Lean: common → exotic (stephendiehl.com)
		2 points by fanf2 9 months ago \| past
		It Would Be Good If the AI Bubble Burst (stephendiehl.com)
		56 points by extesy 9 months ago \| past \| 32 comments
		Types of Types: Common to Exotic (stephendiehl.com)
		16 points by todsacerdoti 9 months ago \| past \| 2 comments
		Program Synthesis: The λ in the Machine (stephendiehl.com)
		3 points by rwosync 10 months ago \| past
		The Future of AI Maths May Be Deeply Weird (stephendiehl.com)
		4 points by rwosync 10 months ago \| past
		AI Slopocalypse 2027 (stephendiehl.com)
		2 points by jruohonen 10 months ago \| past
		More

HN For You