Very happy to say that "Speak Now: Safe Actor Programming with Multiparty Session Types" has been accepted to OOPSLA'26!
Can we use session types to get communication guarantees about code written in actor languages, while also making use of idioms such as supervision hierarchies? Yes -- using first-class message handlers & flow-sensitive effects!
This has been something I've been puzzling over since my MSc, so I'm very happy that we've finally got a…
Broken #shift6mq #postmarketos phone - oops I did it again...
Be very careful with #qbootctl because it can brick your phone.
Oops! An unexpected error occurred.
Oops! An unexpected error occurred.
Oops! An unexpected error occurred.
Oops! An unexpected error occurred.
#DID #digitalindependence
Oops, I hit the track limit again. Easy Awesome Vol. 06 Playlist marked as Public. Onto Vol. 07
( Previous volumes here: #EasyAwesomePlaylist )
https://music.youtube.com/pl…
What I want, now, is a pkg command to list unregistered packages.
Oops, too late 🙃
#FreeBSD #pkg #MissionImpossible
Oops! The House sent the wrong Obamacare bill text to the Senate (Jamie Dupree/Regular Order)
https://jamiedupree.substack.com/p/oops-the-house-sent-the-wrong-obamacare
http://www.memeorandum.com/260115/p85#a260115p85