Conversation

Notices

1. Embed this notice
   chjara (chjara@snowdin.town)'s status on Sunday, 18-Sep-2022 21:23:25 JST chjara
   in general, formally verifying software is a must if you're doing something that cannot have any maintenance done to it
   take for instance, deep space stuff
   software on those is usually formally verified to ensure it is completely bug-free, because you can't really afford to fix bugs in prod
   but smart contracts, for some reason, are treated as a normal computer app, instead of something where a bug can mean all your apes, gone
   • Embed this notice
     Tosti ? (tost@mk.toast.cafe)'s status on Sunday, 18-Sep-2022 21:23:24 JST Tosti ?

     in reply to

     @chjara@snowdin.town not my apes!

     Hélène likes this.
   • Embed this notice
     May ? (may@pl.serialmay.link)'s status on Sunday, 18-Sep-2022 21:23:29 JST May ?

     in reply to
     @chjara dont ever write tests in your code just be perfect
     Hélène likes this.
   • Embed this notice
       (lucidiot@mk.absturztau.be)'s status on Sunday, 18-Sep-2022 21:28:39 JST  

     in reply to

     @chjara@snowdin.town i have yet to find the "smart" part of smart contracts

     Hélène likes this.