Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
user:
hirple
created:
November 26, 2020
karma:
32
about:
CA. ML, formal verification.
email:
[email protected]
submissions
comments
favorites
