4 ms·
Very interesting, I also have recently come to think that higher-order logic and its relationship to type systems and verification are the way to go for alignme
by lukebuehler 4y ago
Very interesting, I also have recently come to think that higher-order logic and its relationship to type systems and verification are the way to go for alignment.
- adamnemecek 4y agoJoin my discord if you want to discuss this further.