Hacker News new | past | comments | ask | show | jobs | submit login

user: markusde created: October 2, 2021 karma: 152 about: PhD student in formal methods. submissions comments favorites