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!!!