mastouille.fr est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Mastouille est une instance Mastodon durable, ouverte, et hébergée en France.

Administré par :

Statistiques du serveur :

594
comptes actifs

#concurrency

0 message0 participant0 message aujourd’hui
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/

Applications will be evaluated on a rolling basis but should be submitted by the 23rd of May for full consideration.

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 ProofsVacanciesPar 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.)

If your #iOS #developer team is struggling to move to #Swift 6/Xcode 16 due to #Apple’s new Swift #Concurrency changes, I highly recommend contacting @mattiem (or even reading his blog posts). He did a workshop for @foreflight that was incredibly valuable in learning about the new Swift 6 Concurrency changes.

I can't say enough positive things about his workshop and the content he prepared & presented. Consensus was that it was far more valuable and practical than any of the #WWDC sessions.

Designing A Fast Concurrent Hash Table, ibraheem.ca/posts/designing-pa.

The author presents a novel Rust library called papaya, that is a (really) fast concurrent hash table. The article explains the inspirations, the differences with other libraries, the new techniques etc. A really instructive article.

Ibraheem AhmedDesigning A Fast Concurrent Hash TableI recently released papaya, a fast and feature-complete concurrent hash table for Rust. In this post I want to dive into the design and research that went into creating it, as well as why you might consider using it over existing solutions.

#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! 😔