1. 

   2 years ago

   SC1 Preventing Ethereum-Like Hardforks with Tauchain: The Power of Decidable Programming Languages

   AndrewOnizuka
2. 

   2 years ago

   TML5: Why TML is the Simplest Programming Language Yet #shorts

   AndrewOnizuka