steph (stzinn)

gotta love an open source formal verification tool that meets people where they are: https://a16zcrypto.com/symbolic-testing-with-halmos-leveraging-existing-tests-for-formal-verification/

• 0 replies
• 0 recasts
• 1 reaction

Third installment of this series, where @milesjennings lays the groundwork for regulation that achieves policy goals, without stifling crypto's most powerful characteristics (like DAOs) and principles (like decentralization) https://a16zcrypto.com/regulate-web3-apps-not-protocols-part-iii-the-web3-dao-dilemma/

• 0 replies
• 0 recasts
• 0 reactions

the team's been exploring some new ways to bring IRL auctions (and auction theory) on-chain, using some interesting tricks. here's the latest... https://a16zcrypto.com/hidden-in-plain-sight-a-sneaky-solidity-implementation-of-a-sealed-bid-auction/

• 0 replies
• 0 recasts
• 0 reactions

what's everyone using to make code look nice from a cms these days? (syntax highlighting/inline code)

• 1 reply
• 0 recasts
• 0 reactions

This writeup has lots to offer, including a new on-chain implementation (open sourced!) and many, many hours worth of potential rabbit holes into auction theory and IRL auctions (flowers! gems! timber!) https://a16zcrypto.com/how-auction-theory-informs-implementations/

• 0 replies
• 0 recasts
• 0 reactions

gotta love an open source formal verification tool that meets people where they are: https://a16zcrypto.com/symbolic-testing-with-halmos-leveraging-existing-tests-for-formal-verification/

• 0 replies
• 0 recasts
• 1 reaction