congratulations eigen, you have walked into the aspect of life i have spent years dedicating thought to.
consider this thread a letter to you – read it, or don’t. i am sure in the long run somebody will find it interesting anyway
---
RT @eigenrobot
"this is all bullshit" is fine as an insight and i think weve mapped that space pretty well
what i feel we havent managed as effectively is "ok great so what do we even do about it"
https://twitter.com/eigenrobot/status/1470331258030866434
one of those things is C*, a programming language that does what Rust et al failed to do: make complex critical systems manageable.
another is a WIP called Project Tristan. this is a fully-productized proof of the ideas i mentioned in the form of a simple game console.
outside of computing i have other plans as well, once i have enough money to execute them.
one exciting one is solving the housing crisis. i eschew YIMBY and NIMBY and all the rich interests who dont really get it