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