BAHOZblog.bahoz.xyz·Nov 26, 2023Formal Verification Foundations-1: LogicWhat is Propositional Logic? Propositional logic, a subset of mathematical logic, is a symbolic language that allows us to formalize and analyze arguments and assertions. At its core, propositional logic deals with propositions, which are statements ...Discuss·229 readsFormal Verification of Smart Contracts Using Certoracertora
Francisco Gutierrezfreefrancisco.hashnode.dev·Apr 19, 2023Which Language Will GPT Use When It Replaces All Programmers?No programmers in five years? A few weeks ago Emad Mostaque, the founder and CEO of Stability AI, made a bold prediction about the future of programming. He told the audience at Goldman Sachs 2023 Disruptive Technology Symposium that programming will...Discuss·1 like·463 readsHaskell
Jordan Hallblog.oighty.com·Jun 9, 2022Dev's Journal 2Welcome back to the Dev's Journal. I'm going to try and make this a regular Thursday publication. The past week I mostly worked on project clean-up, bug fixes, researched formal verification, and did math. It was pretty fun. Building with Solmate Au...Discuss·109 readsDev's JournalSolidity