HackerTrans
Top
New
Trends
Comments
Past
Ask
Show
Jobs
Sign in
j0p · HackerTrans
j0p
no profile record
Submissions
Ask HN: Learning formal methods for software design
3 points
·
by
j0p
·
7 lat temu
·
0 comments
Show HN: Punchboot
github.com
1 points
·
by
j0p
·
7 lat temu
·
0 comments
comments
j0p
·
6 lat temu
·
discuss
Why did they not name it 'iShield'. Seems appropriate.