Hacker News
new
top
best
ask
show
job
user:
markusde
created:
Oct 2, 2021
karma:
170
about:
PhD student in formal methods.