Is My IP Prime?
ismyipprime.com1 points·by leipavoi··0 comments
JunitQuest – Automatically generate (useless?) unit tests for Java
github.com2 points·by leipavoi··0 comments
Show HN: Techstack tower building game
lhartikk.github.io8 points·by leipavoi··0 comments
Fermat’s last theorem with public Ethereum blockchain
medium.com2 points·by leipavoi··0 comments
Naivecoin: a tutorial for building a cryptocurrency
lhartikk.github.io21 points·by leipavoi··1 comments
Tech stack tower building
lhartikk.github.io1 points·by leipavoi··0 comments
Things could change as I think symbolic execution would very well fit when analyzing and verifying the correctness of smart contracts in blockchain.