💾 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

View Raw

More Information

⬅️ 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.