Top New Best Ask Show Jobs

matteodelabre

186 karma · joined June 19, 2018

PhD student in Computer Science at University of Montreal

https://matteo.delab.re

submissions comments

Computational Intractability: A Guide to Algorithmic Lower Bounds

hardness.mit.edu·1 pts·matteodelabre·

The Enshittification of Mathematics [pdf]

link.springer.com·6 pts·matteodelabre·

Charity – Categorical programming language (1998)

github.com·33 pts·matteodelabre·

Geneagrapher – Mathematician advisor-advisee genealogies

github.com·1 pts·matteodelabre·

Character histories – notes on some ASCII code positions

jkorpela.fi·1 pts·matteodelabre·

Gap – A System for Computational Discrete Algebra

gap-system.org·8 pts·matteodelabre·

Dyna – Logic Programming for Machine Learning

dyna.org·163 pts·matteodelabre·

Oxigraph: Sparql Graph Database

github.com·2 pts·matteodelabre·

Cosmograph: Visualize big networks within seconds

cosmograph.app·1 pts·matteodelabre·

Free the Lizard

github.com·2 pts·matteodelabre·

Typst 0.13 is out now

typst.app·284 pts·matteodelabre·

Extreme Server Side Rendering

scd31.com·2 pts·matteodelabre·

OpenTheremin V4

gaudi.ch·6 pts·matteodelabre·

How much does data weigh?

ellipsix.net·4 pts·matteodelabre·

Esperanto – Frequently Asked Questions

loganhall.net·1 pts·matteodelabre·

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

dtai.cs.kuleuven.be·5 pts·matteodelabre·

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

microsoft.com·1 pts·matteodelabre·

Tug 2022 Online – Presentations covering the TeX world

tug.org·1 pts·matteodelabre·

Did the Universe Just Happen?

robertwright.com·2 pts·matteodelabre·

Dblp in RDF

blog.dblp.org·2 pts·matteodelabre·

Log4j vulnerability: LaTeX is not affected

latex-project.org·4 pts·matteodelabre·

Is the C preprocessor Turing complete?

pfultz2.com·3 pts·matteodelabre·