| 1. | | From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io) |
| 145 points by rwosync 34 days ago | past | 21 comments |
|
| 2. | | Program Synthesis: The λ in the Machine (stephendiehl.com) |
| 3 points by rwosync 6 months ago | past |
|
| 3. | | The Future of AI Maths May Be Deeply Weird (stephendiehl.com) |
| 4 points by rwosync 7 months ago | past |
|
| 4. | | Interfacing MCP with Combinatorial, Convex, and SMT Solvers (stephendiehl.com) |
| 5 points by rwosync 7 months ago | past |
|
| 5. | | Remote MCP Servers (stephendiehl.com) |
| 2 points by rwosync 7 months ago | past | 1 comment |
|
| 6. | | The Kardashev-Marx Scale (stephendiehl.com) |
| 3 points by rwosync 8 months ago | past |
|
| 7. | | Bitcoin's Identity Crisis (ft.com) |
| 3 points by rwosync on Nov 18, 2024 | past |
|
| 8. | | Synthetic Reasoning Traces from Knowledge Graphs (extrasensoryai.github.io) |
| 5 points by rwosync on Oct 20, 2024 | past | 1 comment |
|
| 9. | | Letter in Support of Responsible Fintech Policy (concerned.tech) |
| 5 points by rwosync on June 7, 2022 | past |
|
| 10. | | The Tinkerbell Griftopia (stephendiehl.com) |
| 191 points by rwosync on Nov 19, 2021 | past | 237 comments |
|
| 11. | | Tether reserves backed by 2.9% cash (ft.com) |
| 209 points by rwosync on May 14, 2021 | past | 177 comments |
|
| 12. | | Tether’s First Breakdown of Reserves (amycastor.com) |
| 5 points by rwosync on May 13, 2021 | past | 1 comment |
|
| 13. | | Bitcoin boom: what rising prices mean for the network’s energy consumption (cell.com) |
| 3 points by rwosync on March 10, 2021 | past |
|
| 14. | | How Bitcoin Is Indistinguishable from Malevolent AI (indi.ca) |
| 6 points by rwosync on Feb 23, 2021 | past |
|
| 15. | | Why Elon Musk’s Dogecoin Tweets Have Hit a Bitcoin Nerve (bloomberg.com) |
| 4 points by rwosync on Feb 8, 2021 | past |
|
| 16. | | Exotic Programming Ideas: Module Systems (stephendiehl.com) |
| 157 points by rwosync on Nov 13, 2020 | past | 56 comments |
|
| 17. | | Bulletproofs – Short zero-knowledge arguments of knowledge (github.com/adjoint-io) |
| 185 points by rwosync on July 11, 2018 | past | 60 comments |
|
| 18. | | MonadFix and the Lazy and Strict State Monad (purelyfunctional.org) |
| 2 points by rwosync on March 4, 2018 | past |
|
| 19. | | Reasoning About Program Behavior Algebraically [pdf] (stephendiehl.com) |
| 113 points by rwosync on Dec 24, 2017 | past | 12 comments |
|
| 20. | | Nanocoin: A Cryptocurrency in Haskell (github.com/tdietert) |
| 3 points by rwosync on Aug 30, 2017 | past |
|
| 21. | | Dependently Typed Ethereum Contracts in Idris [pdf] (chalmers.se) |
| 4 points by rwosync on June 19, 2016 | past |
|
| 22. | | Four months with Haskell (lexi-lambda.github.io) |
| 249 points by rwosync on June 13, 2016 | past | 117 comments |
|
| 23. | | Monads to Machine Code (stephendiehl.com) |
| 9 points by rwosync on Jan 4, 2016 | past |
|
| 24. | | Shem: A Haskell-Derived Compile-to-JavaScript Lisp (github.com/xixixao) |
| 117 points by rwosync on Dec 14, 2015 | past | 36 comments |
|
| 25. | | In Search of Tomorrow: On the Future of Eve IDE [video] (youtube.com) |
| 113 points by rwosync on Dec 13, 2015 | past | 15 comments |
|
| 26. | | Strongly Typed Publish/Subscribe Over Websockets via Singleton Types (skillsmatter.com) |
| 6 points by rwosync on Oct 10, 2014 | past |
|
| 27. | | Revenge of the Types (pocoo.org) |
| 193 points by rwosync on Aug 24, 2014 | past | 133 comments |
|
| 28. | | What I Wish I Knew When Learning Haskell 2.0 (stephendiehl.com) |
| 11 points by rwosync on April 23, 2014 | past |
|
| 29. | | Reverse Engineering Machines with the Yoneda Lemma (2006) (sigfpe.com) |
| 7 points by rwosync on April 22, 2014 | past |
|
| 30. | | JSON validation combinators (ro-che.info) |
| 3 points by rwosync on April 20, 2014 | past |
|
|
| More |
