alexbafana(25)•in #phd•3176 days 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 c...4alexbafana(25)•in phd•3176 days 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 c...4
alexbafana(25)•in #smart•3366 days 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 identi...1alexbafana(25)•in smart•3366 days 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 identi...1
alexbafana(25)•in #smart•3440 days 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 lat...0alexbafana(25)•in smart•3440 days 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 lat...0
alexbafana(25)•in #ethereum•3457 days 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 Class...8alexbafana(25)•in ethereum•3457 days 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 Class...8
alexbafana(25)•in #smart•3458 days agoSmart contracts, a small presentation in St. Petersburg at jetbrains.comA video from one of my 2 presentations in St. Petersburg last weekend: https://www.youtube.com/watch?v=5vg77NAEI8s&feature=youtu.be Abstract: Meaningfully a...1alexbafana(25)•in smart•3458 days agoSmart contracts, a small presentation in St. Petersburg at jetbrains.comA video from one of my 2 presentations in St. Petersburg last weekend: https://www.youtube.com/watch?v=5vg77NAEI8s&feature=youtu.be Abstract: Meaningfully a...1
alexbafana(25)•in #phd•3461 days 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 s...1alexbafana(25)•in phd•3461 days 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 s...1
alexbafana(25)•in #ethereum•3461 days 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-calle...1alexbafana(25)•in ethereum•3461 days 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-calle...1