Archives

• Cryptocurrencies need a safeguard to prevent another DAO disaster

  May 12, 2017

• Finding a brand for Daedalus

  April 26, 2017

• A trip to Malta and a Grothendieck milestone

  April 18, 2017

• Smart contracts conference starts in Athens

  March 31, 2017

• Smart contracts conference starts in Athens

  March 31, 2017

• Bidirectional proof refinement

  March 16, 2017

• Proof refinement basics

  March 7, 2017

• Thoughts on an ontology of smart contracts

  March 6, 2017

• Centralized cryptocurrencies

  March 5, 2017

• Scotland and Japan launch IOHK’s research network

  February 28, 2017