1. | | Modern Mathematics (Pre-Print) Cutting-edge math for today's coder (artima.com) |
|
50 points by haskellandchill 5 months ago | past | 14 comments
|
2. | | How the Feds bounced Binance (programmablemutter.com) |
|
83 points by haskellandchill on Dec 16, 2023 | past | 103 comments
|
3. | | Solana Weighs Demand for Saga Phones After Sellout Amid Bonk Boom (decrypt.co) |
|
1 point by haskellandchill on Dec 15, 2023 | past
|
4. | | Vitalik is the public intellectual the tech world needs (fortune.com) |
|
2 points by haskellandchill on Dec 9, 2023 | past | 5 comments
|
5. | | The Ten Equations That Rule the World, by Sumpter (planspace.org) |
|
2 points by haskellandchill on Nov 14, 2023 | past
|
6. | | Can Tensor Programming Be Liberated from the Fortran Data Paradigm? (2021) (github.com/conal) |
|
2 points by haskellandchill on Nov 3, 2023 | past
|
7. | | Declarative definition of group indexed data structures (2001) [pdf] (ircam.fr) |
|
1 point by haskellandchill on Nov 3, 2023 | past
|
8. | | A Master Class on Recursion (springer.com) |
|
1 point by haskellandchill on Nov 2, 2023 | past
|
9. | | Functional Pearl: The Proof Search Monad (easychair.org) |
|
4 points by haskellandchill on Oct 27, 2023 | past
|
10. | | Putin critic Navalny receives new 19-year sentence (axios.com) |
|
9 points by haskellandchill on Aug 5, 2023 | past
|
11. | | Implementation Strategies for Mutable Value Semantics [pdf] (jot.fm) |
|
1 point by haskellandchill on July 18, 2023 | past
|
12. | | Media: Investigation reveals Russian soldiers acted 'on command' at Kakhovka dam (yahoo.com) |
|
2 points by haskellandchill on June 29, 2023 | past | 1 comment
|
13. | | MIT 6.1420: Fine-Grained Algorithms and Complexity (Fall 2022) (csail.mit.edu) |
|
4 points by haskellandchill on April 27, 2023 | past
|
14. | | The rise and fall of Argentina’s celebrity crypto pastor (restofworld.org) |
|
3 points by haskellandchill on April 13, 2023 | past | 2 comments
|
15. | | Why Creativity Trumps IQ (medium.com/tractatus-logico-universalis) |
|
3 points by haskellandchill on April 12, 2023 | past
|
16. | | Why Universality Trumps IQ (medium.com/tractatus-logico-universalis) |
|
1 point by haskellandchill on April 11, 2023 | past
|
17. | | U.S. charges Frank financial aid startup's founder with defrauding JPMorgan (reuters.com) |
|
7 points by haskellandchill on April 4, 2023 | past
|
18. | | Watchmen’s Fearful Symmetry: (almost) frame by frame (medium.com/pedrovribeiro) |
|
2 points by haskellandchill on March 31, 2023 | past
|
19. | | Distilling Text into Circuits [pdf] (arxiv.org) |
|
3 points by haskellandchill on March 30, 2023 | past
|
20. | | Number Theory for Programmers (itscomputers.lol) |
|
4 points by haskellandchill on March 26, 2023 | past
|
21. | | Locus Solum: From the rules of logic to the logic of rules (2001) [pdf] (nguyentito.eu) |
|
1 point by haskellandchill on Feb 27, 2023 | past
|
22. | | Theorem Proving and Algebra book (2006) [pdf] (arxiv.org) |
|
3 points by haskellandchill on Feb 24, 2023 | past
|
23. | | Distilling Abstract Machines (2018) [pdf] (arxiv.org) |
|
3 points by haskellandchill on Feb 23, 2023 | past
|
24. | | On Theories with a Combinatorial Definition of “Equivalence” (1941) [pdf] (ens-lyon.fr) |
|
11 points by haskellandchill on Feb 22, 2023 | past
|
25. | | Connection Graphs (1986) [pdf] (acm.org) |
|
2 points by haskellandchill on Feb 22, 2023 | past
|
26. | | CoinFLEX Defends Controversial ‘GTX’ Venture with 3AC Founders (blockworks.co) |
|
1 point by haskellandchill on Jan 17, 2023 | past
|
27. | | 3AC, CoinFLEX co-founders looking to raise $25M for new crypto exchange (cryptoslate.com) |
|
1 point by haskellandchill on Jan 16, 2023 | past
|
28. | | Why Elon Musk and Kara Swisher Are No Longer Speaking (nymag.com) |
|
9 points by haskellandchill on Nov 20, 2022 | past | 3 comments
|
29. | | Coding for Contact (cosmicos.github.io) |
|
1 point by haskellandchill on Sept 6, 2022 | past
|
30. | | Human Computers (jeffreythompson.org) |
|
2 points by haskellandchill on Aug 25, 2022 | past
|
|
|
More |