Adrián Javaloy

javaloyml.bsky.social

17 September 2026 00:21

It has been a while since I have been active here, and lots of things have changed: different city, different role. I have been swamped, but I finally managed to update my website. More news sooner than later! (I accept suggestions for lab names) adrianjav.github.io

xuan (ɕɥɛn / sh-yen)

xuanalogue.bsky.social

21 May 2026 13:38

Back in Cambridge for a research visit to MIT! Happy to meet and chat with folks who are in town :)

Nicole Heinimann

saltypeppermint.bsky.social

06 May 2026 04:27

They say PL people only produce languages that are good for implementing languages but that pathology seems laughably tame compared to LLM frameworks/orchestrators…

xuan (ɕɥɛn / sh-yen)

xuanalogue.bsky.social

06 May 2026 04:26

If you're a late-stage PhD student or post-doc in computer science, and want a free trip to Singapore / NUS, consider applying for this prize: comp.nus.edu.sg/research/nus... Probably helps if you're considering a faculty job at NUS or other universities in Singapore!

Gautam Kamath

gautamkamath.com

27 April 2026 19:02

I am honoured (and still a bit stunned) to receive the 2026 Presburger Award from @eatcs.bsky.social. This recognizes 1 or 2 young scientists for outstanding contributions in theoretical CS This honour is shared w my collaborators, students, institutions, & research community 1/7