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