Super Dario
@inductionheads
the only way out is up
가입 January 2022
4K 팔로잉 중 10K 팬
Serious question: What would a solution to alignment even look like? What could I ever write down to show i had solved it? Is it a proof in lean?
인기 있는 사용자
