Tootfinder

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

@frankel@mastodon.top
2026-09-09 15:56:12

A Java Geek weekly 153
Testing the untestable. Your phone is about to stop being yours. GitFarm: Git as a Service for Large-Scale Monorepos. simdjson. Breaking Claude Code Opus 5 Auto Mode. Spot the troll. About Simplified Technical English. Ending my elixir exploratory writing. Beyond Lambdas: Raising the Abstraction Level of Functional Code. Which tools do Claude Code, Codex and Cursor choose? We measured 16,893 sessions to find out. The Life of a Metric. Beyond ORMs.

A Java Geek weekly 153
Testing the untestable. Your phone is about to stop being yours. GitFarm: Git as a Service for Large-Scale Monorepos. simdjson. Breaking Claude Code Opus 5 Auto Mode. Spot the troll. About ASD-STE100, Simplified Technical English. Ending my elixir exploratory writing. Beyond Lambdas: Raising the Abstraction Level of Functional Code. Which tools do Claude Code, Codex and Cursor choose? We measured 16,893 sessions to find out. The Life of a Metric. Beyond ORMs.

@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…

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

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

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

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