leipavoi

6 ms·

1. 1.▲
   Is My IP Prime?(ismyipprime.com)

   1 points by leipavoi 7y ago|0 comments
2. 2.▲
   JunitQuest – Automatically generate (useless?) unit tests for Java(github.com)

   2 points by leipavoi 8y ago|0 comments
3. 3.▲
   Show HN: Techstack tower building game(lhartikk.github.io)

   8 points by leipavoi 8y ago|0 comments
4. 4.▲
   by leipavoi 9y ago

   I think symbolic execution is quite an "academic subject". Things could change as I think symbolic execution would very well fit when analyzing and verifying the correctness of smart contracts in blockchain.
5. 5.▲
   Fermat’s last theorem with public Ethereum blockchain(medium.com)

   2 points by leipavoi 9y ago|0 comments
6. 6.▲
   Naivecoin: a tutorial for building a cryptocurrency(lhartikk.github.io)

   21 points by leipavoi 9y ago|1 comments
7. 7.▲
   by leipavoi 9y ago

   Cool project! Reminds me of Naivechain, a blockchain in 200 lines of code https://github.com/lhartikk/naivechain
8. 8.▲
   Tech stack tower building(lhartikk.github.io)

   1 points by leipavoi 10y ago|0 comments