Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by ggzor
100 theorems in Lean
8 points
ggzor
2025-05-23T18:08:19Z
leanprover-community.github.io
The wrap-up on PCG generators (2018)
2 points
ggzor
2025-04-19T23:50:58Z
pcg.di.unimi.it
Nix-on-droid: Nix-enabled environment for your Android device (termux-based)
120 points
ggzor
2023-04-30T02:16:25Z
github.com