Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Fair enough, though TFA seemed to be focused on the "foundations of mathematics" angle. If you want to say it's good for foundations of CS... I can probably agree (though the category theory folks may want a word).


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: