| 1. | | AI for Math Winners (renaissancephilanthropy.org) |
| 1 point by practal 4 months ago | past |
|
| 2. | | Persistent sequences with insert and delete and canonical structure? (cs.stackexchange.com) |
| 1 point by practal 5 months ago | past | 1 comment |
|
| 3. | | Three challenges in machine-based reasoning (amazon.science) |
| 1 point by practal 7 months ago | past |
|
| 4. | | Mathematics in the 20th century, by Michael Atiyah [pdf] (2002) (marktomforde.com) |
| 122 points by practal on Feb 9, 2025 | past | 18 comments |
|
| 5. | | Show HN: Deep Dive into Abstraction Logic [video] (youtube.com) |
| 1 point by practal on Oct 24, 2024 | past |
|
| 6. | | Show HN: Recursive teXt (recursivetext.com) |
| 2 points by practal on Jan 22, 2024 | past |
|
| 7. | | Show HN: A First Look at Practal (practal.com) |
| 2 points by practal on Feb 4, 2023 | past |
|
| 8. | | A Practical Logic (practal.com) |
| 1 point by practal on July 23, 2020 | past | 1 comment |
|
