Skip to content

Top Best Ask Show New Jobs

ggzor | Better HN

ggzor

84 karmaJoined November 21, 20227 submissions

Recent submissions

1

Visualizing Delaunay Triangulation (2022) (opens in new tab)

(ianthehenry.com)

4ggzor1y ago0

2

100 theorems in Lean (opens in new tab)

(leanprover-community.github.io)

11ggzor1y ago0

3

The wrap-up on PCG generators (2018) (opens in new tab)

(pcg.di.unimi.it)

2ggzor1y ago0

4

Nix-on-droid: Nix-enabled environment for your Android device (termux-based) (opens in new tab)

(github.com)GitHub

120ggzor3y ago37