humam_alhusaini | Dark Hacker News

user:	humam_alhusaini
created:	January 19, 2026
karma:	0
about:	Undergraduate pursuing computer science. I'm interested in using programming languages to prove theorems. https://humam-alhusaini.github.io/

1.	Do I just forget everything I've learned? 5 points by humam_alhusaini 11 days ago \| 1 comment