PostsCommentsPayoutsalexbafana (28)in #phd • 8 years agoPhD position - Smart-Contract Language Development for Blockchain-Tech SystemsCurrently existing smart-contract languages on blockchains are not suitable for human readability and lack key constructs for making them valid in court. Thus, the utility of…alexbafana (28)in #smart • 8 years agoSmart-Contract Languages ComparisonThe traditional understanding of a contract is a written or spoken agreement enforceable by law. In most business cases, contracts are documents [1] that identify the contracting…alexbafana (28)in #smart • 9 years agoSmart-Contract Startup InspirationAm very proud of this PROOFOFYOU startup that is inspired by by research publications. Would be nice if they evolve to the level of the ideas that are in my latest accepted IST…alexbafana (28)in #ethereum • 9 years agoThe ETB (Ethereum Bailout) community must feel really insecureBy now I am quite disappointed with the ETB (Ethereum Bailout) community. They must feel very insecure if a 51% attack against the so-called ETC (Ethereum Classic) community is…alexbafana (28)in #smart • 9 years agoSmart contracts, a small presentation in St. Petersburg at jetbrains.comA video from one of my 2 presentations in St. Petersburg last weekend: Abstract: Meaningfully automating sociotechnical business collaboration promises efficiency-…alexbafana (28)in #phd • 9 years agoTwo Open PhD Positions at the LSS group at TTU.eeThe Large-Scale Systems Group is seeking suitable candidates for two vacant PhD positions at TTÜ Tallinn University of Technology. The successful candidates will conduct…alexbafana (28)in #ethereum • 9 years agoEthereum hard fork gone wrongWe should let the attacker keep the money This is exactly what I thought would happen. The Ethereum fork set a very unpleasant precedence and the so-called Ethereum classic…