Hacker News new | ask | show | jobs
user: dir_balak
created: 2023-04-26
karma: 40

submissions:

Ask HN: High quality Python scripts or small libraries to learn from
148 points | 59 comments
0 points | 0 comments
Ask HN: Career in Formal Verification
6 points | 7 comments
0 points | 0 comments