Hacker Newsnew | past | comments | ask | show | jobs | submit | spec-spec's submissionslogin
1.
Univalence as a Principle of Logic (cmu.edu)
2 points by spec-spec on Feb 26, 2020 | past
2.
Writing Code for NLP Research (docs.google.com)
1 point by spec-spec on June 4, 2019 | past
3.
Axler's Free New Book on Real Analysis [pdf] (axler.net)
3 points by spec-spec on May 8, 2019 | past

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

Search: