denis demoing some of the latest formal verification tools out of DappHub to the great minds of Runtime Vеrification. Really impressed with the #kframework!

Check out K Lab from DappHub for the KEVM The KLab tool interactively explores execution traces produced by the K Framework This is what I call magic. Thank you so much for this amazing tool! youtube.com/watch?v=z4mIo3… @InputOutputHK Charles Hoskinson Runtime Vеrification

Thank you to everyone who attended our formal verification workshop earlier today at Ethereum Devcon. Special shoutout to DappHub for a dynamite collaboration.

You can now use solc 0.5.0 with dapptools by DappHub! Download instructions at dapp.tools then: dapp pkg selfupdate dapp --use solc:0.5.0 build First use will take a while, since it'll download/compile solc 0.5.0, next time it'll be fast! Thanks #solidity team!

dapptools

dapptools

A simple API to do stuff with Ethereum. tech.odyslam.com /sign - Sign a message /verify - Verify a message /send - send a tx that invokes a smart contract's function /call - invoke a smart contract function without a tx send, call --> inspired by seth by DappTools

Did you see new dapp.org advertisement

Mikael Brockman dabdab.eth 🛡 Ameen Soleimani ☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️☀️ DappHub Maker is now Sky least esoteric characterization of Dapphub

☀️

One indicator I look for in a healthy open source project is how many useful tools come out of its team as a side effect of their efforts.

This is one way that teams like DappHub and Gnosis hold my attention, even when they take a long time to deliver on big promises.

Seth has gotten even better! We now support signing with the Ledger Nano S and transactions can be broadcast right to Infura. With seth, you no longer need to sync or unlock an Ethereum client to create transactions from the comfort of your command line github.com/dapphub/seth

Heads down for 3 years with no hype, the @makerdao team has built a working decentralized stablecoin (dai) that has held stable today despite the volatility in broader crypto markets dai.makerdao.com

Been digging the seth tool by DappHub for quick inspection of contract info from the terminal github.com/dapphub/seth Now back to debugging...

This is likely my favorite and the most important quote about creating software, EVER!.

Trail of Bits is doing the most incredible work, taking the tooling of deep offensive research into the realm of proper software engineering. x.com/trailofbits/st…

#ewasm university day two kicks off in Paris with devs from @ParityTech, Truebit, @ConsenSys, DappHub, Maker is now Sky, KYOKAN (🌸, 🌿) and Ethereum. big pep teaches WASM basics, axic.eth teaches Solidity and Julia, RealZandy teaches Maker and Everett teaches kevm.