Wednesday, 08/21/2021

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