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

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

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

• 1 reply
• 0 recasts
• 0 reactions

good docs writers deserve a national holiday

• 0 replies
• 0 recasts
• 0 reactions