Conversation

Notices

1. Embed this notice
   Sexy Moon (moon@shitposter.club)'s status on Friday, 03-Nov-2023 08:16:37 JST Sexy Moon
   I am not convinced yet that immutability makes code less error prone over just not being a shitty programmer. you are still going to make logic errors and errors of omission.
   • Embed this notice
     Sexy Moon (moon@shitposter.club)'s status on Friday, 03-Nov-2023 08:17:18 JST Sexy Moon

     in reply to
     I reserve the right to completely change my mind in the future but this is where I am right now.
     on-lain ✔ᵛᵉʳᶦᶠᶦᵉᵈ likes this.
   • Embed this notice
     Piggo :verified_horse: (piggo@piggo.space)'s status on Friday, 03-Nov-2023 08:18:38 JST Piggo :verified_horse:

     in reply to
     @Moon similar to how you can totally fuck up rust code by just being an idiot and doing TOCTOU bugs or just a bad use of synchronization primitives. even in totally "safe" code
     Sexy Moon likes this.
   • Embed this notice
     Sexy Moon (moon@shitposter.club)'s status on Friday, 03-Nov-2023 08:21:08 JST Sexy Moon

     in reply to

     • opal hart
     @opal that's what I mean, there's no way out of you have to not suck
   • Embed this notice
     opal hart (opal@ap.maladaptive.art)'s status on Friday, 03-Nov-2023 08:21:09 JST opal hart

     in reply to
     @Moon logic errors are unsolvable even with formal proof verification