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?
Bodil@bodil I feel like I’ve heard it before too, but I can’t find it online. Perhaps it’s so bad that no one wanted to commit it to record.
Derek PennycuffYes. I've heard it at least once. Couldn't tell you exactly where / from who, though.
@dap6000 Maybe it’s so obvious that we’ve all made it once… :-p
chris martens@samir yeah, i think there's a paper or something with this title
@chrisamaphone I searched but I couldn’t find anything, and I was very surprised. I expect it’s out there though.
Chris Oldwood
@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
azul@typeswitch I always figured POPL was a cool conference and I should check it out. 😅
@samir a top 10 conference in "research presentations that are only for the authors' friends to understand". tho i assume most academic conferences are kinda like that as well.
@typeswitch Ah, makes sense. I expect I’d only go if I was part of an entourage, for exactly this reason. What took you there?