samir, an unknown quantity2d ago
Someone must have made a joke about how lambda calculus is the embodiment of the separation of Church and state before, right?
Show threadazul
@samir i heard it before at POPL i think šŸ™ƒ
Apr 5 at 8:53amWeb
Show threadsamir, an unknown quantity1d ago
@typeswitch I always figured POPL was a cool conference and I should check it out. šŸ˜…
Show threadazul1d ago
@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.
Show threadsamir, an unknown quantity1d ago
@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?
Show threadazul1d ago
@samir i went to the PLMW (programming languages mentoring workshop) when i was an early grad student. it was a great workshop for people coming into PL. (the attached conference is a bit overwhelming tho.)