Submissions from stephendiehl.com

		Can Opus 4.6 Do Category Theory in Lean? (stephendiehl.com)
		2 points by macleginn 1 hour ago \| past \| discuss
		Can Opus 4.6 Do Category Theory in Lean? (stephendiehl.com)
		7 points by ibobev 1 day ago \| past \| discuss
		Hypothetical Divine Signatures: Proving Omniscience via Computational Complexity (stephendiehl.com)
		3 points by pure_coder 33 days ago \| past
		GPU Compilation with MLIR (stephendiehl.com)
		2 points by cmdr2 3 months ago \| past
		The Y Combinator in Python (stephendiehl.com)
		2 points by nickdevx 4 months ago \| past
		What is AI market worth? (stephendiehl.com)
		2 points by ibobev 5 months ago \| past
		Exotic Programming Ideas (2021) (stephendiehl.com)
		17 points by ibobev 6 months ago \| past
		The Stochastic Code Monkey Theorem (stephendiehl.com)
		3 points by ibobev 6 months ago \| past
		Typechecker Zoo (stephendiehl.com)
		3 points by ibobev 6 months ago \| past
		Typechecker Zoo (stephendiehl.com)
		5 points by todsacerdoti 6 months ago \| past
		Types of types in Lean: common → exotic (stephendiehl.com)
		2 points by fanf2 6 months ago \| past
		It Would Be Good If the AI Bubble Burst (stephendiehl.com)
		56 points by extesy 7 months ago \| past \| 32 comments
		Types of Types: Common to Exotic (stephendiehl.com)
		16 points by todsacerdoti 7 months ago \| past \| 2 comments
		Program Synthesis: The λ in the Machine (stephendiehl.com)
		3 points by rwosync 8 months ago \| past
		The Future of AI Maths May Be Deeply Weird (stephendiehl.com)
		4 points by rwosync 8 months ago \| past
		AI Slopocalypse 2027 (stephendiehl.com)
		2 points by jruohonen 8 months ago \| past
		Interfacing MCP with Combinatorial, Convex, and SMT Solvers (stephendiehl.com)
		5 points by rwosync 8 months ago \| past
		Remote MCP Servers (stephendiehl.com)
		2 points by rwosync 8 months ago \| past \| 1 comment
		Monads to Machine Code (stephendiehl.com)
		3 points by piinbinary 8 months ago \| past \| 1 comment
		Attention Wasn't All We Needed (stephendiehl.com)
		130 points by mooreds 9 months ago \| past \| 24 comments
		Adventures in Symbolic Algebra with Model Context Protocol (stephendiehl.com)
		121 points by freediver 9 months ago \| past \| 30 comments
		The Kardashev-Marx Scale (stephendiehl.com)
		3 points by rwosync 9 months ago \| past
		Enough Numbers to Build a Universe (stephendiehl.com)
		4 points by andsoitis 9 months ago \| past
		AI Slop 2027 (stephendiehl.com)
		3 points by tenslisi 9 months ago \| past
		Stephen Diehl: The Case Against Crypto in 2025 (stephendiehl.com)
		12 points by colesantiago 11 months ago \| past \| 4 comments
		Dependent Type Checker in Python (stephendiehl.com)
		2 points by tenslisi on Nov 17, 2024 \| past
		Tiny GraphRAG (Part 2) (stephendiehl.com)
		3 points by dtseng123 on Nov 15, 2024 \| past
		The Legacy of Web3 (stephendiehl.com)
		14 points by colesantiago on Nov 10, 2024 \| past \| 7 comments
		Tiny GraphRAG in 1000 lines of Python (stephendiehl.com)
		4 points by dtseng123 on Nov 4, 2024 \| past
		Implementing a JIT Compiled Language with Haskell and LLVM (2017) (stephendiehl.com)
		4 points by swatson741 on Feb 25, 2024 \| past
		More