Conversation

Notices

1. Embed this notice
   Hailey (hailey@hails.org)'s status on Tuesday, 03-Jun-2025 22:09:36 JST Hailey

   shot, chaser

   • 10π🍇 likes this.
   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Tuesday, 03-Jun-2025 22:14:48 JST Paul Cantrell

     in reply to

     • Rich Felker

     @hailey @dalias

     “But all the tests pass!!”

   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Wednesday, 04-Jun-2025 03:26:37 JST Paul Cantrell

     in reply to

     • Rich Felker
     • Erik Ableson

     @erik @hailey @dalias

     Doesn’t matter, you just have to write good tests to test the test-writer, •then• everything is guaranteed correct

   • Embed this notice
     Erik Ableson (erik@mastodon.infrageeks.social)'s status on Wednesday, 04-Jun-2025 03:26:38 JST Erik Ableson

     in reply to

     • Rich Felker
     • Paul Cantrell

     @inthehands @hailey @dalias Ah, but who wrote the tests? 🤔

   • Embed this notice
     feld (feld@friedcheese.us)'s status on Wednesday, 04-Jun-2025 03:44:29 JST feld

     in reply to
     @hailey I hope we dunk on humans who make this same type of mistake with equal fervor
   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Thursday, 05-Jun-2025 01:16:42 JST Paul Cantrell

     in reply to

     • embix

     @brezelradar
     Indeed, though in this case, “you just” is a joke; it very much cannot solve the problem. The post is satire of people who think that tests guarantee code correctness.

     It’s analogous to saying you can make a turtle fly by putting it on the back of another turtle that can already fly. “And how does •that• turtle fly?” “It’s turtles all the way down!”

   • Embed this notice
     embix (brezelradar@norden.social)'s status on Thursday, 05-Jun-2025 01:16:43 JST embix

     in reply to

     • Rich Felker
     • Paul Cantrell
     • Erik Ableson

     @inthehands @erik @hailey @dalias "you just" could solve a lot of problems, unfortunately no-one "just"

   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Thursday, 05-Jun-2025 03:08:42 JST Paul Cantrell

     in reply to

     • embix

     @brezelradar
     Induction! If you decide you don’t need a base case, then with induction you can prove anything!

   • Embed this notice
     embix (brezelradar@norden.social)'s status on Thursday, 05-Jun-2025 03:08:43 JST embix

     in reply to

     • Paul Cantrell

     @inthehands I see. 😀👍

     My irony/satire/sarcasm detector is kinda on the fritz since around 2019 when all those lunatics went totally bonkers.

     > It’s analogous to saying you can make a turtle fly by putting it on the back of another turtle that can already fly. “And how does •that• turtle fly?” “It’s turtles all the way down!”

     That's how recursion works, right? Or was it induction 🤔