Zhixuan Yang on Nostr: Lovely website for our local student-organised seminar on programming languages. I'm ...

Lovely website for our local student-organised seminar https://lapras-imperial.github.io/ on programming languages. I'm glad to see that logic/PL research at Imperial is slowly being revived. When it comes to bringing people together to *actually talk about interesting research*, sometimes a passionate student Alyssa Renata (npub19kf…3032) can be much more effective than multi-grant professors