1. | | The Top Programming Languages 2024 (ieee.org) |
|
3 points by auggierose 6 months ago | past | 1 comment
|
2. | | Oxford Philosophy of Mathematics (youtube.com) |
|
4 points by auggierose on March 6, 2024 | past
|
3. | | Chinese chess champion stripped of title after defecating in hotel bathtub (theguardian.com) |
|
6 points by auggierose on Dec 27, 2023 | past | 10 comments
|
4. | | How Figma’s multiplayer technology works (2019) (figma.com) |
|
2 points by auggierose on Sept 30, 2023 | past
|
5. | | Photovoltaics for Urban Spaces: Shadow Effects on Balcony Power Stations (weisser-zwerg.dev) |
|
1 point by auggierose on Aug 16, 2023 | past
|
6. | | Löb's Theorem and Curry's Paradox (inference-review.com) |
|
4 points by auggierose on July 23, 2023 | past
|
7. | | French Open organisers to offer players AI protection against online abuse (theguardian.com) |
|
2 points by auggierose on May 22, 2023 | past
|
8. | | ChatGPT – Open AI API for Proofreading Markdown Blog Posts (weisser-zwerg.dev) |
|
1 point by auggierose on May 8, 2023 | past
|
9. | | English is picking up brilliant new words from around the world (theguardian.com) |
|
1 point by auggierose on Dec 12, 2022 | past
|
10. | | Machine learning enables AI systems to do maths in English as well as logic (cam.ac.uk) |
|
2 points by auggierose on Dec 3, 2022 | past
|
11. | | You are not expected to understand this (princeton.edu) |
|
3 points by auggierose on Nov 21, 2022 | past
|
12. | | A from-scratch tour of Bitcoin in Python (karpathy.github.io) |
|
6 points by auggierose on Nov 18, 2022 | past
|
13. | | Beyond the Liquid Tensor Experiment (xenaproject.wordpress.com) |
|
10 points by auggierose on Sept 12, 2022 | past
|
14. | | Algebraic Semiotics (2020) (gjoncas.github.io) |
|
57 points by auggierose on Aug 17, 2022 | past | 10 comments
|
15. | | Annotated version of Boole's 1847 “Algebra of Logic” (2019) [pdf] (uwaterloo.ca) |
|
107 points by auggierose on July 31, 2022 | past | 17 comments
|
16. | | Should we get rid of the scientific paper? (theguardian.com) |
|
2 points by auggierose on April 21, 2022 | past
|
17. | | Handbook of the Mathematics of the Arts and Sciences (springer.com) |
|
1 point by auggierose on April 19, 2022 | past | 4 comments
|
18. | | The Lezer Parser System (codemirror.net) |
|
48 points by auggierose on April 18, 2022 | past | 3 comments
|
19. | | Space Math (aimath.org) |
|
98 points by auggierose on April 18, 2022 | past | 24 comments
|
20. | | Artificial intelligence beats eight world champions at bridge (theguardian.com) |
|
10 points by auggierose on March 29, 2022 | past | 3 comments
|
21. | | Ash Barty announces shock retirement from tennis at 25 (theguardian.com) |
|
5 points by auggierose on March 23, 2022 | past | 6 comments
|
22. | | Practical Types (obua.com) |
|
3 points by auggierose on July 30, 2021 | past
|
23. | | Algorism (wikipedia.org) |
|
1 point by auggierose on June 23, 2021 | past | 2 comments
|
24. | | Trading Evolved: CSI-Data (weisser-zwerg.dev) |
|
3 points by auggierose on Dec 30, 2020 | past
|
25. | | I tried to sell Tesla to Apple (theguardian.com) |
|
2 points by auggierose on Dec 23, 2020 | past | 1 comment
|
26. | | Liquid Tensor Experiment – Challenge (xenaproject.wordpress.com) |
|
4 points by auggierose on Dec 5, 2020 | past
|
27. | | We left the UK for Portland expecting a liberal dream. That wasn’t the reality (theguardian.com) |
|
35 points by auggierose on Oct 31, 2020 | past | 49 comments
|
28. | | Jupyter, Mathematica, and the Future of the Research Paper (paulromer.net) |
|
4 points by auggierose on Oct 4, 2020 | past | 2 comments
|
29. | | How close are computers to automating mathematical reasoning? (quantamagazine.org) |
|
100 points by auggierose on Aug 28, 2020 | past | 97 comments
|
30. | | Why 'Ditch the algorithm' is the future of political protest (theguardian.com) |
|
4 points by auggierose on Aug 19, 2020 | past | 1 comment
|
|
|
More |