dir_balak

Joined 3 years ago

Karma

40

Submissions

4

Member since

Apr 26

View on Hacker News

Recent submissions

Ask HN: High quality Python scripts or small libraries to learn from

148 dir_balak 2 years ago 59 comments

Comment · 3 years ago

Beware, with such good criticism you may have a job offer by him in the next hours or so.

Ask HN: Career in Formal Verification

6 dir_balak 3 years ago 7 comments

Comment · 3 years ago

Fantastic material. Big thanks!