Yale philosophy replaced the grad logic req with a broader “formal methods“ req | Hacker News Reader