Skip to content

Top Best Ask Show New Jobs

maxwells-daemon | Better HN

maxwells-daemon

401 karmaJoined September 23, 202048 submissions

I'm a machine learning researcher at Harmonic (ex-NVIDIA) working on automated theorem proving.

Site: https://aidanswope.com/ Email: aidanswope@gmail.com

Recent submissions

1

Show HN: Argsearch – A composable tool for sweeping over command-line arguments (opens in new tab)

(github.com)GitHub

6maxwells-daemon5y ago0