Decentralized Applications (DApps) atop public blockchains are the very hardest programs to write and audit: they run in an adversarial irreversible public environment; one bug, and someone may lose his…
Dear community of Glow enthusiasts, Our MOOC is now live. Repeat, our MOOC is now live.You can now access our online course to learn the Glow language: we want to…
Summary: Harmony One proposed an asynchronous cross-shard CALL2 extension to the EVM, to complement its synchronous CALL of a contract on the same shard. Unfortunately, it is all too easy…
In case you hadn't noticed, the results of the Caradano-backed Catalyst5 fund have been released. As you know, formal verification is extremely important in the field of DApps, and…
Senior developer sought to co-implement the DApp language Glow. Mutual Knowledge Systems, Inc. (a.k.a. MuKn.io) is looking for a senior developer who will take the lead on the implementation of…
Dear community, You've been following us for quite some time, as our project was slightly confidential. As you know, our official partnership with Cardano and IOHK was announced at the…
Aaaaah the lovely pressure one feels when they're close to their goal... Well, that's the type of pressure we're experiencing right now: aside from offering our services, our most treasured…