HN Explorer

matteodelabre

↗ HN profile [ 52.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Charity – Categorical programming language (1998) (github.com)
    33 points 2
  2. Geneagrapher – Mathematician advisor-advisee genealogies (github.com)
    1 points 0
  3. Character histories – notes on some ASCII code positions (jkorpela.fi)
    1 points 0
  4. Gap – A System for Computational Discrete Algebra (gap-system.org)
    8 points 0
  5. Dyna – Logic Programming for Machine Learning (dyna.org)
    163 points 6
  6. Oxigraph: Sparql Graph Database (github.com)
    2 points 0
  7. Free the Lizard (github.com)
    2 points 1
  8. Typst 0.13 is out now (typst.app)
    284 points 60
  9. Extreme Server Side Rendering (scd31.com)
    2 points 0
  10. OpenTheremin V4 (gaudi.ch)
    6 points 0
  11. How much does data weigh? (ellipsix.net)
    4 points 0
  12. Esperanto – Frequently Asked Questions (loganhall.net)
    1 points 0
  13. The First 10 Prolog Programming Contests (2005) [pdf] (dtai.cs.kuleuven.be)
    5 points 0
  14. How to Write a 21st Century Proof (2011) [pdf] (microsoft.com)
    1 points 0
  15. Tug 2022 Online – Presentations covering the TeX world (tug.org)
    1 points 0
  16. Did the Universe Just Happen? (robertwright.com)
    2 points 1
  17. Dblp in RDF (blog.dblp.org)
    2 points 0
  18. Log4j vulnerability: LaTeX is not affected (latex-project.org)
    4 points 1
  19. Is the C preprocessor Turing complete? (pfultz2.com)
    3 points 0