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