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