cyph3rPunk@infosec.pub • 1 year agoFormal Methods for the Working DeFi Dev by Rikard Hjort | Devcon Bogota (1:03:31)plus-squareexternal-linkmessage-square0 fedilinkarrow-up12
arrow-up12external-linkFormal Methods for the Working DeFi Dev by Rikard Hjort | Devcon Bogota (1:03:31)plus-squarecyph3rPunk@infosec.pub • 1 year agomessage-square0 Commentsfedilink
demesisx@programming.devM • 1 year agoHackathon Workshop - Intro to building on Cardano and Smart Contracts with Aiken [1:32:24]plus-squareexternal-linkmessage-square0 fedilinkarrow-up12
arrow-up12external-linkHackathon Workshop - Intro to building on Cardano and Smart Contracts with Aiken [1:32:24]plus-squaredemesisx@programming.devM • 1 year agomessage-square0 Commentsfedilink
cyph3rPunk@infosec.pub • 1 year agoEssential Cardano360 June 2023plus-squareexternal-linkmessage-square0 fedilinkarrow-up12
arrow-up12external-linkEssential Cardano360 June 2023plus-squarecyph3rPunk@infosec.pub • 1 year agomessage-square0 Commentsfedilink
cyph3rPunk@infosec.pub • 1 year ago[Documentary] Cardano Developers Hackaton Stories [Teaser]plus-squaremessage-squaremessage-square0 fedilinkarrow-up12
arrow-up12message-square[Documentary] Cardano Developers Hackaton Stories [Teaser]plus-squarecyph3rPunk@infosec.pub • 1 year agomessage-square0 Commentsfedilink
cyph3rPunk@infosec.pub • 1 year agoReproducible Plutus DevOps with Nix | Cardano EMURGO BUILD 2023 Hackathonplus-squareexternal-linkmessage-square0 fedilinkarrow-up12
arrow-up12external-linkReproducible Plutus DevOps with Nix | Cardano EMURGO BUILD 2023 Hackathonplus-squarecyph3rPunk@infosec.pub • 1 year agomessage-square0 Commentsfedilink
cyph3rPunk@infosec.pub • 1 year agoScaling Cardano with Plutus V2plus-squareexternal-linkmessage-square0 fedilinkarrow-up12
arrow-up12external-linkScaling Cardano with Plutus V2plus-squarecyph3rPunk@infosec.pub • 1 year agomessage-square0 Commentsfedilink
