| 1. | | Logarithmic Maps of the Universe (2005) (princeton.edu) |
| 139 points by autoditype on Feb 24, 2021 | 34 comments |
|
| 2. | | 2020 Industrial Capabilities Report to Congress [pdf] (businessdefense.gov) |
| 47 points by apsec112 on Feb 22, 2021 | 53 comments |
|
| 3. | | Formalising Mathematics: An Introduction (xenaproject.wordpress.com) |
| 205 points by panic on Feb 21, 2021 | 116 comments |
|
| 4. | | Enzyme – High-performance automatic differentiation of LLVM (enzyme.mit.edu) |
| 160 points by albertzeyer on Feb 3, 2021 | 49 comments |
|
| 5. | | Flow-Based Programming (jpaulm.github.io) |
| 217 points by hypomnemata on Jan 20, 2021 | 103 comments |
|
| 6. | | An Open-Source FPGA-Optimized Out-of-Order RISC-V Soft Processor (2019) [pdf] (u-tokyo.ac.jp) |
| 239 points by varbhat on Jan 5, 2021 | 74 comments |
|
| 7. | | A mathematical formalisation challenge by Peter Scholze (xenaproject.wordpress.com) |
| 75 points by alimw on Dec 6, 2020 | 24 comments |
|
| 8. | | The Pile: An 800GB Dataset of Diverse Text for Language Modeling (eleuther.ai) |
| 223 points by leogao on Jan 1, 2021 | 60 comments |
|
| 9. | | Introduction to Linear Algebra for Applied Machine Learning with Python (pabloinsente.github.io) |
| 425 points by Anon84 on Nov 11, 2020 | 52 comments |
|
| 10. | | DARPA’s 23 Challenge Questions (compmath.wordpress.com) |
| 117 points by saadalem on Nov 16, 2020 | 30 comments |
|
| 11. | | Integrating User-Centered Methods into Programming Language Design (arxiv.org) |
| 37 points by azhenley on Nov 16, 2020 | 1 comment |
|
| 12. | | Covid-19: politicisation, “corruption,” and suppression of science (bmj.com) |
| 106 points by cirrus-clouds on Nov 16, 2020 | 59 comments |
|
| 13. | | Graph Representations for Higher-Order Logic and Theorem Proving (2019) (arxiv.org) |
| 104 points by brzozowski on Sept 6, 2020 | 15 comments |
|
| 14. | | A round-up of topology-based papers at ICML 2020 (rieck.me) |
| 106 points by Pseudomanifold on Sept 2, 2020 | 4 comments |
|
| 15. | | How close are computers to automating mathematical reasoning? (quantamagazine.org) |
| 100 points by auggierose on Aug 28, 2020 | 97 comments |
|
| 16. | | The Unplanned Impact of Mathematics (nature.com) |
| 76 points by memexy on July 4, 2020 | 57 comments |
|
| 17. | | Mormonism and Multilevel Marketing Companies (cambridge.org) |
| 139 points by madpen on July 18, 2020 | 104 comments |
|
| 18. | | How Mormons built a startup ecosystem in Utah (marker.medium.com) |
| 196 points by simonebrunozzi on July 18, 2020 | 243 comments |
|
| 19. | | Computation Graphs and Graph Computation (breandan.github.io) |
| 109 points by bmc7505 on July 18, 2020 | 37 comments |
|
| 20. | | Mathematicians will never stop proving the Prime Number Theorem (quantamagazine.org) |
| 96 points by theafh on July 22, 2020 | 45 comments |
|
| 21. | | Terry Tao on some desirable properties of mathematical notation (mathoverflow.net) |
| 393 points by jjhawk on July 21, 2020 | 217 comments |
|
| 22. | | Cellular Automata as Convolutional Neural Networks (arxiv.org) |
| 87 points by benibraz on Aug 12, 2020 | 14 comments |
|
| 23. | | Some Fundamental Theorems in Mathematics (2019) [pdf] (math.harvard.edu) |
| 234 points by bryanrasmussen on Aug 5, 2020 | 91 comments |
|
