Hacker News new | ask | show | jobs
user: humam_alhusaini
created: 2026-01-19
karma: 5

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:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Do I just forget everything I've learned?
5 points | 1 comments
0 points | 0 comments