Rachel Coldicutt

rachelcoldicutt.bsky.social

18 October 2026 23:01

I am sorry, which company is this? www.theguardian.com/technology/2...

Shriram Krishnamurthi

shriram.bsky.social

16 October 2026 00:30

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...

Martin Kleppmann

martin.kleppmann.com

28 September 2026 19:58

Notion wrote a nice blog post on how they use CRDTs, including our Peritext algorithm for rich text! This must be one of the largest CRDT deployments out there? www.notion.com/en-gb/blog/h...

Jenna DiVincenzo

jcenzo.bsky.social

23 September 2026 01:17

Just noticed that the Dafny workshop is now the WAVE workshop starting this year, which extends its coverage to auto-active verification as a whole (popl27.sigplan.org/home/wave-2027). This is such a good change and I'm so excited I can probably make it this year!🤩

Shriram Krishnamurthi

shriram.bsky.social

23 September 2026 00:42

This is how I'm thinking about it. You will naturally resonate with at least some of it. docs.google.com/document/d/e...