@Kevinfarley1994 @houstonship@mekkaokereke@Apptentive Not to defend the disparagement at all, but “1200 poorly batched RPCs” made sense to me. I interpreted it as multiple client-server or cross-region server-server requests sent in series/parallel rather than batched behind a single such request.
@geeksam@sarahmei @GeePawHill For example, it’s considerably more tractable if we limit ourselves to programs without recursion or loops (although whether those are *interesting* programs is debatable!)
@geeksam@sarahmei @GeePawHill I agree with the OP premise (about the likelihood of being able to prove programs as bug-free). It’s important to remember that the halting problem applies to arbitrary programs, which means we have to be careful how we generalize it.
@editingemily In the end, it’s the same math we learned in school, but I think we were taught more symbolically / abstractly. Lots of kids have trouble making that leap. The pictures help visualize things in a way that help a lot of kids grok what is going on.
@editingemily I’ve had multiple kids exposed to this by now. My impression is that the models (which, really, is just “draw a picture of the situation”) are there to take abstract math and connect it to something more concrete.
@mhawthorne@michaelswinslow@nithyaruff Yes. Could be a part of ongoing education. Some managers end up switching back to an IC role (cough, cough). Should not be interfering with the things only the manager can do for the team, though, as @nithyaruff suggested.