@prerationalist @forthrighter @PauseAI The idea that type systems are somehow the way to create a safe AGI is exactly the kind of deranged non-empirical thinking that we need to avoid.

Posters: eshear. eshear

2 likes recorded by the source corpus.