Viewing profile — leipavoi

leipavoi

HN member

No profile information was provided.

story
Is My IP Prime?
Tue, Jan 07, 2020, 6:58 PM UTC
story
JunitQuest – Automatically generate (useless?) unit tests for Java
Thu, Feb 14, 2019, 9:06 PM UTC
story
Show HN: Techstack tower building game
Mon, Apr 23, 2018, 6:01 PM UTC
comment
Comment #16550164
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 sma…

Fri, Mar 09, 2018, 6:44 AM UTC
story
Fermat’s last theorem with public Ethereum blockchain
Fri, Feb 02, 2018, 4:49 PM UTC
story
Naivecoin: a tutorial for building a cryptocurrency
Wed, Dec 27, 2017, 9:13 PM UTC
comment
Comment #14954690
Cool project! Reminds me of Naivechain, a blockchain in 200 lines of code https://github.com/lhartikk/naivechain

Tue, Aug 08, 2017, 5:29 AM UTC
story
Tech stack tower building
Tue, Jan 17, 2017, 9:22 AM UTC