Hacker Newsnew | past | comments | ask | show | jobs | submit | fennecs's submissionslogin
1.
Holbert: An Interactive Theorem Prover (github.com/liamoc)
68 points by fennecs on May 26, 2022 | past | 9 comments
2.
 [flagged] Tyre Extinguishers (tyreextinguishers.com)
8 points by fennecs on March 16, 2022 | past | 33 comments
3.
Transgender Issues and Journalism: A Small Reflection (amateursmusings.substack.com)
2 points by fennecs on May 29, 2021 | past

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: