HN
Hacker News
Top
New
Best
Ask
Show
Jobs
m3mpp
61 karma · joined August 8, 2018
submissions
comments
Ask HN: Book recommendation for math behind formal verification in software?
3 pts
·
m3mpp
·
2
Ask HN: Software development after 40, how do you keep the fire?
111 pts
·
m3mpp
·
100