Gym·1st floor
My favorite AI takeover
- Berkeley mathematician/programmer who has worked on Lean-formalized AI safety; blogs prolifically — nonstandard analysis one day, confessional essay the next.
2.0/25 attending
Chance I’d attend
Talking about R Scott Bakker. The author with my favorite AI takeover setup.
His Dunyain monks are basically unaligned AI.