| | GPU Compilation with MLIR (stephendiehl.com) |
| 2 points by cmdr2 15 days ago | past |
|
| | The Y Combinator in Python (stephendiehl.com) |
| 2 points by nickdevx 36 days ago | past |
|
| | What is AI market worth? (stephendiehl.com) |
| 2 points by ibobev 50 days ago | past |
|
| | Exotic Programming Ideas (2021) (stephendiehl.com) |
| 17 points by ibobev 79 days ago | past |
|
| | The Stochastic Code Monkey Theorem (stephendiehl.com) |
| 3 points by ibobev 79 days ago | past |
|
| | Typechecker Zoo (stephendiehl.com) |
| 3 points by ibobev 79 days ago | past |
|
| | Typechecker Zoo (stephendiehl.com) |
| 5 points by todsacerdoti 85 days ago | past |
|
| | Types of types in Lean: common → exotic (stephendiehl.com) |
| 2 points by fanf2 3 months ago | past |
|
| | It Would Be Good If the AI Bubble Burst (stephendiehl.com) |
| 56 points by extesy 3 months ago | past | 32 comments |
|
| | Types of Types: Common to Exotic (stephendiehl.com) |
| 16 points by todsacerdoti 4 months ago | past | 2 comments |
|
| | Program Synthesis: The λ in the Machine (stephendiehl.com) |
| 3 points by rwosync 4 months ago | past |
|
| | The Future of AI Maths May Be Deeply Weird (stephendiehl.com) |
| 4 points by rwosync 5 months ago | past |
|
| | AI Slopocalypse 2027 (stephendiehl.com) |
| 2 points by jruohonen 5 months ago | past |
|
| | Interfacing MCP with Combinatorial, Convex, and SMT Solvers (stephendiehl.com) |
| 5 points by rwosync 5 months ago | past |
|
| | Remote MCP Servers (stephendiehl.com) |
| 2 points by rwosync 5 months ago | past | 1 comment |
|
| | Monads to Machine Code (stephendiehl.com) |
| 3 points by piinbinary 5 months ago | past | 1 comment |
|
| | Attention Wasn't All We Needed (stephendiehl.com) |
| 130 points by mooreds 5 months ago | past | 24 comments |
|
| | Adventures in Symbolic Algebra with Model Context Protocol (stephendiehl.com) |
| 121 points by freediver 5 months ago | past | 30 comments |
|
| | The Kardashev-Marx Scale (stephendiehl.com) |
| 3 points by rwosync 6 months ago | past |
|
| | Enough Numbers to Build a Universe (stephendiehl.com) |
| 4 points by andsoitis 6 months ago | past |
|
| | AI Slop 2027 (stephendiehl.com) |
| 3 points by tenslisi 6 months ago | past |
|
| | Stephen Diehl: The Case Against Crypto in 2025 (stephendiehl.com) |
| 12 points by colesantiago 8 months ago | past | 4 comments |
|
| | Dependent Type Checker in Python (stephendiehl.com) |
| 2 points by tenslisi 11 months ago | past |
|
| | Tiny GraphRAG (Part 2) (stephendiehl.com) |
| 3 points by dtseng123 11 months ago | past |
|
| | The Legacy of Web3 (stephendiehl.com) |
| 14 points by colesantiago 12 months ago | 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 |
|
| | GameStop, Bitcoin and the Commoditization of Populist Rage (2021) (stephendiehl.com) |
| 2 points by bmer on Feb 10, 2024 | past | 1 comment |
|
| | Yes, Crypto Is All a Scam (stephendiehl.com) |
| 238 points by cpa on Feb 7, 2023 | past | 384 comments |
|
| | Yes, Crypto Is All a Scam (stephendiehl.com) |
| 17 points by colesantiago on Feb 7, 2023 | past | 4 comments |
|
|
| More |
