Y
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