anchor.diff:      # Development
       jetbrains.idea-ultimate # Java IDE (UNFREE)
       # adoptopenjdk-hotspot-bin-11 maven3 # TODO nixify local Java projects
  -    jetbrains.pycharm-professional # Python IDE (UNFREE)
  +    jetbrains.pycharm-professional geckodriver # Python IDE (UNFREE)
  +    jetbrains.clion # C++ IDE (UNFREE)
  +    gcc gdb gnumake valgrind # C++ utilities
       python3 # TODO nixify Python projects
       universal-ctags # source code indexer (TODO Vim tagbar dependency)
       coq # proof assistant
       tlaplusToolbox tlaps # TLA+ tools
  -    rstudio # R tools
  -    exercism # programming practice
  +    rstudio R # R tools
  +    postman # API development
  +    # exercism # programming practice
       # rustc cargo
       # nixops
   
  
positive.code:     # bitwarden     # NixOS/nixpkgs: #51212
      # jabref        # NixOS/nixpkgs: #47113
      # passExtensions.pass-tomb # zeapo/Android-Password-Store: #329
      # postman       # NixOS/nixpkgs: #48466
  
      # System requirements (TODO nixify)
      blueman # bluetooth manager
      hicolor-icon-theme # icon theme
      librsvg # SVG renderer
      networkmanagerapplet  # network manager
  
      # system info
  
negative.code:     signal-desktop # messaging client
      skype # video chat client (UNFREE)
      spotify # music client (UNFREE)
      thunderbird # mail client
      torbrowser # onion browser
      vlc # media player
      zathura # document viewer
      zim # desktop wiki
  