Maybe not this one, but this is definitely the right attitude

Nice to have some (anonymously diluted) recognition after doing this all week.... why don't we have Best Reviewer prizes in SIGPLAN?

Geoff Hinton dunking on Chomsky at his University of Bristol lecture

i got into programming as a kid because there was zero marginal cost in materials or services for writing more code for 30 beautiful years, all the professional tools you could need were free thats over now

See you soon!

Starting today I'm embarking upon a new adventure: 12 talks over the next 18 days as part of the London Mathematical Society Hardy Lecture Tour (plus a few additions). Titles and abstracts can all be found here: emilyriehl.github.io/talks/ and slides (when available) will eventually be added.

Well done to Paul Blain Levy. Anyone who's ever worked with CBPV knows what a tremendous achievement it is.

Can someone please what the difference between a CEK machine and Krivine machine is?

Note to self: if biber gives return code 2 and you're on a Mac, just rm -Rf "$(biber --cache)"

How to prove that LLMs will lead to AGI (in 3 easy steps): 1. Prepare a dataset of math knowledge BEFORE 1500 2. Certify it doesn't include any mention to complex numbers 3. Train the model and ask it to find all roots of x^2+1=0 If the concept of complex numbers ever emerges

I am looking for a PhD student to join us in Tallinn!

Emily Riehl talking on professional norms in Mathematics at Bristol!

Size issues in category theory illustrated

Par, an expressive, concurrent, total* language with linear types and full duality. Based on Linear Logic and Session Types, Par has both functional and imperative features integrating seamlessly

I am super-pleased to be serving on the PC of the excellent and much-needed "Undone Science in CS" 2026: "to provide an opportunity to pause and reflect on the epistemological and ethical aspects of computer science". For much more information, please see: undonecs.org/2026/

I spy an amazing little topology book that I learned from as a PhD student

David Young operational semantics is kiki, denotational semantics is bouba

As part of your computer science education they should make you learn several Great Programs by heart, the way you would memorize and recite poems

Almost twenty years ago I recorded some ambient music muzakconcrete.bandcamp.com/album/tape-pie…

If you care about functional programming, the history of programming languages or military-grade weaponized autism, this tweet is for you. There's a legend walking among us that you don't know about, so let me introduce him. A64m_qb0 has been writing a book on the history of FP