shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

288
active users

#concurrency

0 posts0 participants0 posts today
With the NWO XL consortium on Cyclic Structures in Programs and Proofs, we are looking for 6 highly motivated and talented PhD students starting in September (with some flexibility).

The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, #Rocq).

Information about the positions and application procedure can be found on the website:

cyclic-structures.gitlab.io/vacancies/

Please forward to any strong candidates you know!

#TypeTheory #ModalLogic #Concurrency #ProgrammingLanguages #TypeSystems #ProofAssistants #CyclicStructures #PhD #Netherlands #UniversityOfGroningen #LeidenUniversity #UniversityOfTwente #TUDelft #RadboudUniversity
Cyclic Structures in Programs and ProofsVacanciesBy Jorge Perez

The #Interaction and #Concurrency Experience #workshop (ICE 🧊) 2025 Call for paper is out! #CFP ➡ ice-workshop.github.io/cfp.txt ⬅

ICE 🧊 will be co-located with @DisCoTecConf and take place in #Lille , #France 🇫🇷 on June 16th (discotec.org/2025/satellite/ic).

This workshop is very dear to me: instead of the usual "submission ⇉ (rebuttal ⇉) review" flow, it uses a very original selection procedure (discotec.org/2025/satellite/ic), where PC members and authors discuss and collaborate for the greater good ⇆.

This year again we have an amazing program committee (discotec.org/2025/satellite/ic), an amazing invited speaker (Kirstin Peters, from Augsburg University) and welcome submissions until April 9th, 2025 ⌛.

#Swift #Concurrency

Has something changed in concurrency warnings between Xcode 16.1 and Xcode 16.2 beta 3? Here is an example of a warning that I get in 16.1 but not 16.2b3. (I think not getting it is correct?) I can’t find any release notes or such about this.

(I put such explicit captures there because 16.2b3 was warning about implicit captures.)

#Swift #Concurrency #AsyncStream

I think I’m slowly starting to develop some intuition for how to work with Swift concurrency

I encountered a warning when working on a seemingly simple problem: how do you convert an array to AsyncStream

My solution with an actor compiles without warnings and makes sense to me, but is there some even simpler way?

#SwiftData #Concurrency

I’m toying around with SwiftData a bit. One thing I don’t understand: when I try do offload work into background, why does it end up back on the main thread here?

I call this with Task {} from UI.

Shouldn’t ModelActor make sure it ends up on some background thread? What am I missing?

My worry with the “Swift 5 is not going anywhere” argument is that many upcoming features will be soon available on Swift 6 exclusively and most developers will be forced to immaturely upgrade just to have access to them. I just found out that Typed Throws is only available on 6 for some reason and I am both frustrated and pissed! 😔

Can anyone recommend a tutorial or blog series that goes through the whole modern #Swiftlang #concurrency story in a progressive manner, taking it through through from the basics to the latest Swift 6 considerations.
I've been using it for the last couple of years but it feels like using a set of known patterns but without a deep understanding of detail and theory behind the patterns … and it is not a situation I’m comfortable with.

I'm available to jump in fast, remotely, for paid work doing Golang or C programming, for Linux or Mac. or doing performance/scaling fixes/tuning/upgrades

programming for decades. senior. tech team leadership & R&D mentality. a human engine who churns out new code, solves problems & ships. Heisenbugs too are my jam

I want to have the biggest impact I can have for you, while also using time efficiently

#fedihire

#Golang
#C
#Linux

#performance
#scalability
#latency
#concurrency
#threading