My Grok Hurts

I’m reading Category Theory for the Sciences.  It’s a wild ride through abstraction connecting the tools and concepts  I use daily to the deep mathematical concepts that underlie them and then going a step further to explore the even broader abstractions that unite the representations of the mathematical abstractions behind the concreteness.

The goal:

… category theory is incredibly efficient as a language for experimental design patterns, introducing formality while remaining flexible.  It forms a rich and tightly woven conceptual fabric that allows the scientist to maneuver between different perspectives whenever the need arises.  Once she weaves that fabric into her own line of research, she has an ability to think about models in a way that simply would not occur without it.

Where’s checkPasswordMatch() defined?

Question for Stranger Things Season 2 Episode 8 minute 15 second 56:

Where is the checkPasswordMatch function defined?  How did Bob the Brain know the kind of security system in use and the “API” of that system on whatever OS was prominent in the 80’s?  He knew he needed a 4 digit code numeric code, which was definitely helpful.  He basically wrote one program to interact with another program on a computer in the 80’s in minutes.  You’d think it was unix except he was using BASIC.

So, I dunno, perhaps he installed the security system?  It was a government building, so the local radio shack guy probably wasn’t involved.  Maybe he knew someone who serviced it?  Now that I could see – he’s a local brainiac and perhaps he’s friends with others in electronics in the area.

So Bob was a hacker.  Bob’s four-loop-deep

checkPasswordMatch(fourDigitCode) = TRUE

for the win!  Ode to Bob.

To think!: for a while I thought he might be a Russian spy in the universe of Stranger Things.