πŸ› Stoas near [[@agora/2021 08 21]]
πŸ“– HedgeDoc at https://doc.anagora.org/2021-08-21
πŸ“– Etherpad at https://stoa.anagora.org/p/2021-08-21
πŸ“Ή Jitsi at https://meet.jit.si/2021-08-21
πŸ“š Node [[2021-08-21]]
↳ πŸ““ Resource [[@agora/2021 08 21]]

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

2021-08-21

Receiving pushes... (requires JavaScript)
Loading context... (requires JavaScript)