leipavoi

Is My IP Prime?

Posted by leipavoi on Tuesday January 07, 2020 @01:58PM
from the ismyipprime.com dept.

( Read More... | no comments | on HN )

Posted by leipavoi on Thursday February 14, 2019 @04:06PM
from the github.com dept.

( Read More... | no comments | 2 points | on HN )

Posted by leipavoi on Monday April 23, 2018 @02:01PM
from the show-hn dept.

( Read More... | no comments | 8 points | on HN )

Re:Symbolic Execution: Intuition and Implementation on Friday March 09, 2018 @01:44AM (#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 smart contracts in blockchain.

Posted by leipavoi on Friday February 02, 2018 @11:49AM
from the medium.com dept.

( Read More... | no comments | 2 points | on HN )

Posted by leipavoi on Wednesday December 27, 2017 @04:13PM
from the lhartikk.github.io dept.

( Read More... | 1 comment | 21 points | on HN )

Re:Tinychain: a pocket-sized implementation of Bitcoin on Tuesday August 08, 2017 @01:29AM (#14954690)

Cool project! Reminds me of Naivechain, a blockchain in 200 lines of code

Posted by leipavoi on Tuesday January 17, 2017 @04:22AM
from the lhartikk.github.io dept.

( Read More... | no comments | on HN )