HN user

matteodelabre

184 karma

PhD student in Computer Science at University of Montreal

https://matteo.delab.re

Posts20
Comments1
View on HN
github.com 2mo ago

Charity – Categorical programming language (1998)

matteodelabre
33pts6
github.com 5mo ago

Geneagrapher – Mathematician advisor-advisee genealogies

matteodelabre
1pts0
jkorpela.fi 6mo ago

Character histories – notes on some ASCII code positions

matteodelabre
1pts0
www.gap-system.org 11mo ago

Gap – A System for Computational Discrete Algebra

matteodelabre
8pts0
dyna.org 11mo ago

Dyna – Logic Programming for Machine Learning

matteodelabre
163pts21
github.com 11mo ago

Oxigraph: Sparql Graph Database

matteodelabre
2pts0
cosmograph.app 1y ago

Cosmograph: Visualize big networks within seconds

matteodelabre
1pts0
github.com 1y ago

Free the Lizard

matteodelabre
2pts0
typst.app 1y ago

Typst 0.13 is out now

matteodelabre
284pts60
www.scd31.com 1y ago

Extreme Server Side Rendering

matteodelabre
2pts0
www.gaudi.ch 2y ago

OpenTheremin V4

matteodelabre
6pts0
www.ellipsix.net 2y ago

How much does data weigh?

matteodelabre
4pts0
loganhall.net 3y ago

Esperanto – Frequently Asked Questions

matteodelabre
1pts0
dtai.cs.kuleuven.be 3y ago

The First 10 Prolog Programming Contests (2005) [pdf]

matteodelabre
5pts0
www.microsoft.com 3y ago

How to Write a 21st Century Proof (2011) [pdf]

matteodelabre
1pts0
tug.org 4y ago

Tug 2022 Online – Presentations covering the TeX world

matteodelabre
1pts0
robertwright.com 4y ago

Did the Universe Just Happen?

matteodelabre
2pts1
blog.dblp.org 4y ago

Dblp in RDF

matteodelabre
2pts0
www.latex-project.org 4y ago

Log4j vulnerability: LaTeX is not affected

matteodelabre
4pts1
pfultz2.com 5y ago

Is the C preprocessor Turing complete?

matteodelabre
3pts0