• Welcome

Tech

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