🏛 Stoas near [[@agora/2021 08 21]]
📚 Node [[2021-08-21]]
↳ 📓 Resource [[@agora/2021 08 21]]
1:07: tech worth investing in
- 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!!!