## 1:07: tech worth investing in

- nixos
- rust
- zig
- theorem provers
- living documents
- neovim/future editors

what am i interested in?

- great design/art/expression (natural generative art!)
- 'future of coding' - better editors, version control, programming
  languages, understanding of codebases, etc
- proving theorems bc its fun!
- handling all of my infrastructure myself; building decentralized
  infrastructure for the future
- building my own tools for everyday tasks
- giving everyone more personal agency in computing

how does this tech align with my goals?(what can i do today to further
my goals?)

- learn theorem proving
- build services with rock solid, future oriented programming languages
  and technologies

-work on editor technologies

- learn and contribute to nixos infrastructure (= personal
  infrastructure!)

what you do should be original! ive consumed and copied a lot of
information, used lots of programs, written lots of config files. it's
time to produce!!!