| 1. | | Charity – Categorical programming language (1998) (github.com/mietek) |
| 33 points by matteodelabre 18 days ago | past | 6 comments |
|
| 2. | | Geneagrapher – Mathematician advisor-advisee genealogies (github.com/davidalber) |
| 1 point by matteodelabre 3 months ago | past |
|
| 3. | | Character histories – notes on some ASCII code positions (jkorpela.fi) |
| 1 point by matteodelabre 5 months ago | past |
|
| 4. | | Gap – A System for Computational Discrete Algebra (gap-system.org) |
| 8 points by matteodelabre 9 months ago | past |
|
| 5. | | Dyna – Logic Programming for Machine Learning (dyna.org) |
| 163 points by matteodelabre 9 months ago | past | 21 comments |
|
| 6. | | Oxigraph: Sparql Graph Database (github.com/oxigraph) |
| 2 points by matteodelabre 10 months ago | past |
|
| 7. | | Cosmograph: Visualize big networks within seconds (cosmograph.app) |
| 1 point by matteodelabre 10 months ago | past |
|
| 8. | | Free the Lizard (github.com/mozilla-firefox) |
| 2 points by matteodelabre on May 13, 2025 | past |
|
| 9. | | Typst 0.13 is out now (typst.app) |
| 284 points by matteodelabre on Feb 19, 2025 | past | 60 comments |
|
| 10. | | Extreme Server Side Rendering (scd31.com) |
| 2 points by matteodelabre on Feb 17, 2025 | past |
|
| 11. | | OpenTheremin V4 (gaudi.ch) |
| 6 points by matteodelabre on Jan 23, 2024 | past |
|
| 12. | | How much does data weigh? (ellipsix.net) |
| 4 points by matteodelabre on Sept 5, 2023 | past |
|
| 13. | | Esperanto – Frequently Asked Questions (loganhall.net) |
| 1 point by matteodelabre on June 17, 2023 | past |
|
| 14. | | The First 10 Prolog Programming Contests (2005) [pdf] (cs.kuleuven.be) |
| 5 points by matteodelabre on Jan 16, 2023 | past |
|
| 15. | | How to Write a 21st Century Proof (2011) [pdf] (microsoft.com) |
| 1 point by matteodelabre on Aug 31, 2022 | past |
|
| 16. | | Tug 2022 Online – Presentations covering the TeX world (tug.org) |
| 1 point by matteodelabre on July 22, 2022 | past |
|
| 17. | | Did the Universe Just Happen? (robertwright.com) |
| 2 points by matteodelabre on July 11, 2022 | past | 1 comment |
|
| 18. | | Dblp in RDF (dblp.org) |
| 2 points by matteodelabre on May 4, 2022 | past |
|
| 19. | | Log4j vulnerability: LaTeX is not affected (latex-project.org) |
| 4 points by matteodelabre on Dec 22, 2021 | past | 1 comment |
|
| 20. | | Is the C preprocessor Turing complete? (pfultz2.com) |
| 3 points by matteodelabre on Feb 8, 2021 | past |
|
