ggzor

3 ms·

1. 1.▲
   Visualizing Delaunay Triangulation (2022)(ianthehenry.com)

   4 points by ggzor 1y ago|0 comments
2. 2.▲
   100 theorems in Lean(leanprover-community.github.io)

   11 points by ggzor 1y ago|0 comments
3. 3.▲
   The wrap-up on PCG generators (2018)(pcg.di.unimi.it)

   2 points by ggzor 1y ago|0 comments
4. 4.▲
   Nix-on-droid: Nix-enabled environment for your Android device (termux-based)(github.com)

   120 points by ggzor 3y ago|37 comments
5. 5.▲
   by ggzor 3y ago

   If you do like the nix ecosystem (and all its benefits like reproducible envs) or just want to give it a try to a "NixOS" like thingy, you should absolutely try https://github.com/t184256/nix-on-droid . It&#x2
6. 6.▲
   by ggzor 4y ago

   The Power of Prolog [0] is a fantastic blog/video series covering everything from basic syntax, theoretical basis, modern features and idiomatic constructs. I highly recommend it if you want to get the gist of Prolog and its modern fea
7. 7.▲
   by ggzor 4y ago

   The npm package isn't working in the browser. I get `process is not defined`. There is a commit that fixes that issue, but no npm publish was made after that.