HN Explorer

ggzor

↗ HN profile [ 22.5 ms ] full profile
Karma
84
Created
November 21, 2022 (3y ago)
Submissions
0
  1. Visualizing Delaunay Triangulation (2022) (ianthehenry.com)
    4 points 0
  2. 100 theorems in Lean (leanprover-community.github.io)
    11 points 1
  3. The wrap-up on PCG generators (2018) (pcg.di.unimi.it)
    2 points 0
  4. Nix-on-droid: Nix-enabled environment for your Android device (termux-based) (github.com)
    120 points 37