shot, chaser

@hailey @dalias

“But all the tests pass!!”

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

@erik @hailey @dalias

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

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

@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!”

@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 🤔

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