Starred ⭐ Pages tagged #Starred/Tech Formal verification and the top 10 crypto-tokens Linux alternatives to some macOS programs Switching from macOS to NixOS (Talk, Auckland Meetup) Switching from macOS to NixOS (Talk, Sweden Meetup) In this directory Pages matching path './*' Formal Methods and Blockchain Linux (General) Nix and NixOS All Pages matching path './**' Advantages of NixOS Annoying quirks of NixOS Blockchain-related definitions Consensus Protocol ERC-20 tokens Formal Methods and Blockchain Formal verification and the top 10 crypto-tokens Interesting formal methods and/or blockchain projects Linux (General) Linux alternatives to some macOS programs Nix (the purely functional package manager) Nix and NixOS NixOS Plutus Pioneer Program Rsync backup on linux Smart Contracts Switching from macOS to NixOS (Talk, Auckland Meetup) Switching from macOS to NixOS (Talk, Sweden Meetup) Trying NixOS Week 1 - Plutus Pioneer Program Week 2 - Plutus Pioneer Program Week 3 - Plutus Pioneer Program Week 4 - Plutus Pioneer Program Windows in VirtualBox on NixOS