Hacker News headlines

2

Gap – A System for Computational Discrete Algebra (gap-system.org)

2 weeks ago | matteodelabre | gap-system.org | frontpage

38

Dyna – Logic Programming for Machine Learning (dyna.org)

3 weeks ago | matteodelabre | dyna.org | frontpage

2

Oxigraph: Sparql Graph Database (github.com/oxigraph)

a month ago | matteodelabre | github.com | newest

1

Cosmograph: Visualize big networks within seconds (cosmograph.app)

a month ago | matteodelabre | cosmograph.app | newest

2

Free the Lizard (github.com/mozilla-firefox)

4 months ago | matteodelabre | github.com | newest

114

Typst 0.13 is out now (typst.app)

7 months ago | matteodelabre | typst.app | best

1

Extreme Server Side Rendering (scd31.com)

7 months ago | matteodelabre | scd31.com | newest

3

OpenTheremin V4 (gaudi.ch)

a year ago | matteodelabre | gaudi.ch | newest

2

How much does data weigh? (ellipsix.net)

2 years ago | matteodelabre | ellipsix.net | newest

1

Esperanto – Frequently Asked Questions (loganhall.net)

2 years ago | matteodelabre | loganhall.net | newest

2

2 years ago | matteodelabre | kuleuven.be | newest

1

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

3 years ago | matteodelabre | microsoft.com | newest