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!
Barney Dellar (he/him)@samir @chrisoldwood Wait, are you me?
@BarneyDellar @chrisoldwood At this point, who knows?
jo.vaneyck@chrisoldwood @samir Thanks for making my morning. The 3 computer science nerds that get this joke are cracking up!
I can offer you a blog post which has my programming puns from various lightning talks over the years, if you’re a glutton for punishment :o).
https://chrisoldwood.blogspot.com/2025/04/a-decade-of-lightning-talks-with.html