Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
user:
maxwells-daemon
created:
September 23, 2020
karma:
187
about:
I'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving.
Site: https://aidanswope.com/ Email: aidanswope@gmail.com
submissions
comments
favorites