Hacker Newsnew | past | comments | ask | show | jobs | submit | Reubend's submissionslogin
1.
Official releases of the Transmission BitTorrent client might be compromised? (github.com/transmission)
61 points by Reubend on Nov 10, 2023 | past | 16 comments
2.
Ask HN: Resources for learning about automated theorem proving?
4 points by Reubend on Oct 7, 2021 | past

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

Search: