Tootfinder

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

No exact results. Similar results found.
@simon_jf@mastodon.scot
2026-02-27 14:54:54

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…

@jan_wagemakers@social.linux.pizza
2026-01-24 09:49:57

Broken #shift6mq #postmarketos phone - oops I did it again...
Be very careful with #qbootctl because it can brick your phone.

@cyrevolt@mastodon.social
2026-01-15 14:12:12

Oops! An unexpected error occurred.
Oops! An unexpected error occurred.
Oops! An unexpected error occurred.
Oops! An unexpected error occurred.
#DID #digitalindependence

@cellfourteen@social.petertoushkov.eu
2026-01-24 12:00:12

Oops, I hit the track limit again. Easy Awesome Vol. 06 Playlist marked as Public. Onto Vol. 07
( Previous volumes here: #EasyAwesomePlaylist )
music.youtube.com/pl…

Cover art including the album art of the first four tracks in the playlist
@jpanzer@mastodon.social
2025-12-24 01:08:30

bsky.app/profile/indivisiblepa

@grahamperrin@bsd.cafe
2025-12-24 17:01:16

What I want, now, is a pkg command to list unregistered packages.
Oops, too late 🙃
#FreeBSD #pkg #MissionImpossible

@Kingu@sakurajima.moe
2026-01-22 22:18:54

Oops...

@memeorandum@universeodon.com
2026-01-15 19:06:02

Oops! The House sent the wrong Obamacare bill text to the Senate (Jamie Dupree/Regular Order)
jamiedupree.substack.com/p/oop
memeorandum.com/260115/p85#a26

@Kingu@sakurajima.moe
2026-02-22 11:44:11

oops...