HN
Hacker News
Top
New
Best
Ask
Show
Jobs
fennecs
250 karma · joined April 7, 2021
fennecs.xyz
submissions
comments
Holbert: An Interactive Theorem Prover
github.com
·
68 pts
·
fennecs
·
9
Tyre Extinguishers
tyreextinguishers.com
·
8 pts
·
fennecs
·
33
Transgender Issues and Journalism: A Small Reflection
amateursmusings.substack.com
·
2 pts
·
fennecs
·
0