Oddbean new post about | logout
 All in ADA?