Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Book Review: Klara and the Sun (stephendiehl.com)
2 points by ibobev 4 days ago | past | 1 comment
Book Review: Capitalist Realism (stephendiehl.com)
2 points by ibobev 6 days ago | past | discuss
Book Review: The Crisis of Democratic Capitalism (stephendiehl.com)
1 point by ibobev 6 days ago | past | discuss
Book Review: Tomorrow, and Tomorrow, and Tomorrow (stephendiehl.com)
3 points by ibobev 6 days ago | past | 1 comment
Book Review: Tomorrow, and Tomorrow, and Tomorrow (stephendiehl.com)
1 point by ibobev 7 days ago | past | discuss
Every Democrat Who Enabled Trump's Crypto Corruption (stephendiehl.com)
3 points by ibobev 7 days ago | past | discuss
The Thirty Years' War Is Starting Again (2025) (stephendiehl.com)
2 points by ibobev 7 days ago | past | 2 comments
Book Review: When We Cease to Understand the World (stephendiehl.com)
7 points by ibobev 9 days ago | past | 1 comment
Book review: There Is No Antimemetics Division (stephendiehl.com)
282 points by ibobev 9 days ago | past | 227 comments
Book Review: Piranesi (stephendiehl.com)
2 points by ibobev 9 days ago | past | discuss
Book Review: What We Can Know (stephendiehl.com)
2 points by ibobev 9 days ago | past | discuss
Unnecessary and Unstable: Why Stablecoins Are Bad (stephendiehl.com)
4 points by dpmartinez 29 days ago | past
Optimal Caverna Gameplay via Formal Methods (stephendiehl.com)
2 points by ibobev 51 days ago | past
Can Opus 4.6 Do Category Theory in Lean? (stephendiehl.com)
4 points by macleginn 56 days ago | past
Can Opus 4.6 Do Category Theory in Lean? (stephendiehl.com)
8 points by ibobev 58 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 5 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 6 months ago | past
Exotic Programming Ideas (2021) (stephendiehl.com)
17 points by ibobev 7 months ago | past
The Stochastic Code Monkey Theorem (stephendiehl.com)
3 points by ibobev 7 months ago | past
Typechecker Zoo (stephendiehl.com)
3 points by ibobev 7 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 8 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 9 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
Interfacing MCP with Combinatorial, Convex, and SMT Solvers (stephendiehl.com)
5 points by rwosync 10 months ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: