rwosync

Recent Submissions

1. 1. ▲ From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io) 145 points · 14 days ago · 21 comments
2. 2. ▲ Program Synthesis: The λ in the Machine (stephendiehl.com) 3 points · 6 months ago · 0 comments
3. 3. ▲ The Future of AI Maths May Be Deeply Weird (stephendiehl.com) 4 points · 6 months ago · 0 comments
4. 4. ▲ Interfacing MCP with Combinatorial, Convex, and SMT Solvers (stephendiehl.com) 5 points · 6 months ago · 0 comments
5. 5. ▲ Remote MCP Servers (stephendiehl.com) 2 points · 7 months ago · 1 comment
6. 6. ▲ The Kardashev-Marx Scale (stephendiehl.com) 3 points · 7 months ago · 0 comments
7. 7. ▲ Bitcoin's Identity Crisis (ft.com) 3 points · 1 year ago · 0 comments
8. 8. ▲ Synthetic Reasoning Traces from Knowledge Graphs (extrasensoryai.github.io) 5 points · 1 year ago · 1 comment
9. 9. ▲ Letter in Support of Responsible Fintech Policy (concerned.tech) 5 points · 3 years ago · 0 comments
10. 10. ▲ The Tinkerbell Griftopia (stephendiehl.com) 191 points · 4 years ago · 237 comments