.
Skip to main content different blog title bradyvocal ALL AGI ALIGNMENT PARATHESIZERS בבל OTHER CONTACT Posts theoriz3r September 05, 2023 theoriz3r is a tool to do exploratory automated theorem proving. READ POST » A hermeneutic net for agency September 04, 2023 A hermeneutic net for agency is a natural method to try, to solve a bunch of philosophical difficulties relatively quickly. Not to say that it would work. It's just the obvious thing to try. READ POST » Human wanting August 22, 2023 We have pretheoretic ideas of wanting that come from our familiarity with human wanting, in its variety. To see what way of wanting can hold sway in a strong and strongly growing mind, we have to explicate these ideas, and create new ideas. READ POST » Views on when AGI comes and on strategy to reduce existential risk July 08, 2023 Summary: AGI isn't super likely to come super soon. People should be working on stuff that saves humanity in worlds where AGI comes in 20 or 50 years, in addition to stuf
Explore this link on the map →