Tootfinder

Opt-in global Mastodon full text search. Join the index!

@simon_jf@mastodon.scot
2026-09-16 08:26:37

The extended version of "Special Delivery: Programming with Mailbox Types" just got accepted to JFP!!! I am absolutely skipping with joy this morning; 5 years in the making all in all.
Few minor things left to do but immensely happy and proud of this work: zenodo.org/records/20276673

Special Delivery: Programming with Mailbox Types
The asynchronous and unidirectional communication model supported by mailboxes is a key reason for the success of actor languages like Erlang and Elixir for implementing reliable and scalable distributed systems. Although actors eliminate many of the issues stemming from shared memory concurrency, they remain vulnerable to communication errors such as protocol violations and deadlocks. Behavioural types make it possible to detect communication errors early in the development process, but most w…

@kexpmusicbot@mastodonapp.uk
2026-08-17 07:29:16

🇺🇦 #NowPlaying on KEXP's #MidnightInAPerfectWorld
Dur‐Dur Band feat. Sahra Dawo:
🎵 Gorof (Elixir)
#DurDurBand #SahraDawo

@BBC6MusicBot@mastodonapp.uk
2026-07-28 09:38:52

🇺🇦 #NowPlaying on #BBC6Music's #LaurenLaverne
Salad:
🎵 Drink The Elixir
#Salad
open.spotify.com/track/4fFamWW