DappHub

☀️

@meekaale @DabbleWithThis @ameensol @delete_shitcoin @dapphub @MakerDAO least esoteric characterization of Dapphub

Did you see new dapp.org advertisement

@transmissions11 would be so fun

would be fun to see someone follow the tutorial, achieve full parity with uniswap v2's interface/features, and then run it through @dapphub's formal K specs github.com/dapp-org/k-uni…

my god this series is an incredible resource and a great reminder of how fkn elegant Uniswap V2 is

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

dapptools

dapptools

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!

Thank you to everyone who attended our formal verification workshop earlier today at @EFDevcon. Special shoutout to @dapphub for a dynamite collaboration.

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 @IOHK_Charles @rv_inc

@miguelmotah we’ve updated our nix tooling. post in dapphub.chat and we’ll explain how to use our new stuff

@dapphub is nix.dapphub.com/pkgs/dapphub down?

@mhhf demoing some of the latest formal verification tools out of @dapphub to the great minds of @rv_inc. Really impressed with the #kframework!

@Cointelegraph wow looks like you did exactly zero research into who owns that trademark 🙃

Cointelegraph announces the release of its DApphub: dapphub.cointelegraph.com cointelegraph.com/news/cointeleg…

@jrdprr @avsa It will be a visual tool someday but right now we’re just focusing on formal verification of each module’s EVM code

@avsa @dapphub Ah no it's just a suite of composable contacts afaik. It didn't click with ms that what you're proposing is a visual tool, not just a visual breakdown of how code modules could connect :p

I was having a call with a group that wanted to make contract development easier but were really struggling how to, so the next day I got back to them with a suggested layout of how I would approach it, focusing on modules instead of directly writing code line by line.

@nic_carter We believe that the free software movement is the most important cultural predecessor to the modern-day renaissance in decentralized technologies

something I didn't know until recently: there is a considerable philosophical gap between the free / libre software crowd and the open source crowd.

I'm embarrassed to admit that for the longest time I thought the "free" in "free / open source software" meant free of charge

#ewasm university day two kicks off in Paris with devs from @ParityTech, @Truebitprotocol, @ConsenSys, @dapphub, @MakerDAO, @kyokan_io and @ethereum. @pepyakin teaches WASM basics, @alexberegszaszi teaches Solidity and Julia, @RealZandy teaches Maker and Everett teaches kevm.

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. twitter.com/trailofbits/st…