💾 Archived View for gemlog.blue › users › jiaming › 1605559929.gmi captured on 2022-04-28 at 20:04:59. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
Haha caught my mind wandering around again. I'm re-watching the lambda calculus
in python video again and my mind went straight to port dickson. That must have
been where I first watched it lmaoo. I rmb so clearly MUL(FOUR)(THREE) ahhhh
it was by that corner at the lobby! the beach to the left, the huge field to
the right. Then for awhile he mentioned the origins of the symbol 'λ' and why
it was chosen, it brought me back to KY parking lot outside villas. I think
I was reading some lean forums while my brain wandered there. I rmb clearly
reading that it was just for convenience in printing! That should literally be
the way maths is brought down, named after non-human things. Also, since we're
in the parking lot, it also reminds me of the bees getting a buzz from coffee
beans lol. My mind was also around here when I was listening to that podcast
by those three british people, I really like them tbh. I know two of them from
yo*t*be and their vids are REALLY well made. props to them.