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