Created LessWrong and a primary instigator of the modern Rationalist scene. Focused on catastrophic AI misalignment risk.
In his younger days, was trying to do this via a programming language: https://flarelang.sourceforge.net