Giacomo Cavalieri

giacomocavalieri.me

18 October 2026 07:56

Im absolutely in love with the logo and its sooo cool to see some of the sketches

Tomas Petricek

tomasp.net

17 October 2026 07:14

I had a wonderful time at #oopsla in Oakland and UC San Diego - thanks to @devamarh.bsky.social for inviting me and organising an amazing visit! It took me only a week to get organized enough to upload my various talks slides. 😬 For anyone interested: github.com/tpetricek/ta...

Anil Madhavapeddy

anil.recoil.org

11 October 2026 15:03

Finished up the Cambridge 1A Foundations of Computer Science course notes, now as a forester. This'll may be the last year this course (which has been going for thirty years) will run in its current form, but I need to meditate to figure out its new shape. www.cl.cam.ac.uk/teaching/262...

Shriram Krishnamurthi

shriram.bsky.social

11 October 2026 07:54

Signals and Threads episodes are bangers, but this may be the first to become part of my PL course's "text". About 50% is a compressed version of my GC lectures, about 30% is modern updates, and 20% is @yminsky doing his thing w/ Stephen Dolan. (-: signals-threads.simplecast.com/episodes/mem...

Tomas Petricek

tomasp.net

05 October 2026 21:55

What do type providers, structure editors and interactive theorem provers have in common? Do not miss my Onward! Paper presentation (Today, 11:00) at #splash2026! Paper for those not in Oakland: tomasp.net/academic/pap...