RT @dplyukhin: Idea to create a rival podcast to @ttforall that focuses on untyped programming languages like lisp and prolog It would be…

RT @satnam6502: "The way I see code, and programming language therefore, is code is about allowing the humans on a team to understand what…

For those who missed it, here's the link to my talk. It starts at 3:43:45

I'm at #POPL in Denver all week. On Thursday I'm presenting my paper in the main track. I'm really looking forward to meet all of you. Hit me up if you want to meet or chat.

I'm grgzkhr on Blusky social! Rumor's that academics are on there now, so I made myself an account. I'm staying here too, but diversity (of anything, platforms included) is good. While you're on it, follow my group's account, prg-grp. We're slowly migrating there.

RT @awsTO: for a non-trivial period of time, I used to think that when people said "Per Martin-Löf" they were saying "per Martin-Löf", as i…

RT @amor_fatti:

RT @MarioLeb79: 🚨🚨🚨 Another footage for Mhaibib Village Gone, All Gone with 1 button

RT @robert_gpt: "What really sucks about the web these days, what has us feeling despair & anger, has everything to do with the industry th…

RT @joemayall: I can’t believe food did that.

RT @netcapgirl: computer scientists after hinton wins the nobel prize

RT @DiEM_25: A reminder that the video below is not satire.

RT @ramezelkadi: معركة المصطلحات مهمة في جنوب لبنان كما كانت في غزة: ما حصل اليوم إجتياح جوي للبنان وعدوان حقيقي وتجاوز للقواعد حتى العسكري…

RT @xmal: A new survey on CRDTs, by Prof. Paulo Sérgio Almeida, was recently accepted at ACM CSUR.

RT @Lucretiel:

I get to be green and travel by train :) Not only is my carbon footprint smaller, I get to take my own water bottle and shampoos and liquids and save on waste that way too. Oh and the upcomming views and mountains will be breathtaking.