Fairly high score NeurIPS submission rejected because “simulator is written in C++ and people don’t know C++” is a fun new low

"Mom, the topologists are acting weird again"

MIT's "Mathematics for Computer Science". A 1048 page available for Free.

If you were truly dedicated to the art of touching grass you would understand that many grass textures are only detectable after months or years in hyper-digital deprivation

The State of Racket? The presentation by Sam Tobin-Hochstadt is still available via the day 2 livestream feed recording at con.racket-lang.org

Ahh, how did art deco ever go out of style...

Nobody wants to read papers outside their field of study (and, mostly, even inside—that's why we have conferences). So nominate the papers you read and liked for research highlights to give them a boost outside PL venues. forms.gle/y8MM2htdCk1QEG… Deadline November 21.

Loris D'Antoni AAAI is 7 pages. I find it is amazing at making each paper have a specific, focused contribution that is very short and to the point. Incremental contributions are accepted. I find that in PL, you need a killer idea, a huge coq formalization, tons of comparison with other work,..

This book is fantastic and taught me a lot as a new grad student.

I will never understand why statisticians say “Type I error” and Type II error” when false positive and false negative are the same number of syllables and self-defining

"What you want to know (but dare to ask) about Conjunctive Query Processing" by Yihao Sun (link below...)

they are doing refresher faculty photos today: as someone whose ambition is to become a distinguished senior scientist with a photo of myself from when I was 31, I must unfortunately decline

Multi-Node Multi-GPU Datalog at ICS 25

Although “soup” is listed on menus across the world, it is notoriously difficult to define. Therefore, “soup” is just an industry buzzword. Moreover, until we have a more scientific definition, it’s impossible anyone will develop soup. A thread…

Launching my Programming Language Pragmatics talks! These short, accessible talks cover the material in the textbook, the 5th edition of which I wrote with Michael L. Scott. The first one (link in 🧵) introduces the topic and talks about why we study programming languages!

I am happy to see that our VLDB '25 paper, "Datalog with First-Class Facts," will be presented in London this September--I believe with Thomas Gilray giving the talk!

When it’s 10 minutes before a meeting and you open the doc you received three days in advance and get one of these