Hacker Newsnew | past | comments | ask | show | jobs | submit | Q6T46nT668w6i3m's favoriteslogin
1.
A proof checker meant for education (jsiek.github.io)
145 points by alabhyajindal 5 months ago | 51 comments
2.
Testing Intel’s Arc A770 GPU for Deep Learning (christianjmills.com)
203 points by T-A on Aug 9, 2023 | 81 comments
3.
Dubious Ways to Compute the Zeros of a Polynomial (mathworks.com)
41 points by vector_spaces on June 5, 2022 | 14 comments

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

Search: