samir, an unknown quantitySomeone must have made a joke about how lambda calculus is the embodiment of the separation of Church and state before, right?
Chris OldwoodYou rang m’lord? :o)
I told this pun as part of my ACCU 2025 lightning talk last year.
@samir Ah, I even put a thread of toots on here with it in:
@chrisoldwood Marvellous, I knew I hadn’t invented it. I expect it’s come around a bunch of times, but I’ll take this as one authoritative source.
@samir I’m sure I’m not the first either, but I’ll take it until you find an earlier source :o).
Bonus reading: https://en.wikipedia.org/wiki/Cryptomnesia
@chrisoldwood I think my entire personality is watching QI and listening to No Such Thing As A Fish, forgetting the source, and then repeating random facts as if I’d read the scientific research! 😜
@samir Are you sure you’re not an LLM? 😏
@chrisoldwood 80% confident and rising!