Remix clone Hacker News

user:	humam_alhusaini
created:	2026-01-19
karma:	5
about:	Undergraduate pursuing computer science at the University of Texas at Dallas. I'm interested in using programming languages to prove theorems. Humam.Alhusaini@UTDallas.edu
	submissions
	comments
	favorites