HN
Hacker News
Top
New
Best
Ask
Show
Jobs
markusde
209 karma · joined October 2, 2021
PhD student in formal methods.
submissions
comments
No submissions yet.