ggzor
100 theorems in Lean
The wrap-up on PCG generators (2018)
Nix-on-droid: Nix-enabled environment for your Android device (termux-based)
Re:Termux is an Android terminal emulator and Linux environment app
on Saturday April 29, 2023 @10:14PM (#35759151)
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's somewhat rough, but it's very nice and has nix flakes and home-manager support.
Re:Prolog at Work
on Saturday December 31, 2022 @08:38AM (#34196321)
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 features.
If you want a tour of Prolog, you can watch the video with the same name [1].
Re:QuickJS Running in WebAssembly
on Monday November 21, 2022 @04:15PM (#33698026)
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.