#concurrency — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #concurrency, aggregated by home.social.
-
#Quint, a language built on top of #TLA+ to make formal specifications more accessible.
Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.
#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction
-
#Quint, a language built on top of #TLA+ to make formal specifications more accessible.
Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.
#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction
-
#Quint, a language built on top of #TLA+ to make formal specifications more accessible.
Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.
#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction
-
#Quint, a language built on top of #TLA+ to make formal specifications more accessible.
Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.
#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction
-
#Quint, a language built on top of #TLA+ to make formal specifications more accessible.
Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.
#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction
-
This was a really nice episode by #computerphile. Earlier I knew only about race conditions. Now I know what sequential consistency and how to reason about race conditions.
-
This was a really nice episode by #computerphile. Earlier I knew only about race conditions. Now I know what sequential consistency and how to reason about race conditions.
-
This was a really nice episode by #computerphile. Earlier I knew only about race conditions. Now I know what sequential consistency and how to reason about race conditions.
-
This was a really nice episode by #computerphile. Earlier I knew only about race conditions. Now I know what sequential consistency and how to reason about race conditions.
-
This was a really nice episode by #computerphile. Earlier I knew only about race conditions. Now I know what sequential consistency and how to reason about race conditions.
-
The IWOMP 2026 Call for Papers has been extended to June 5th!
The 22nd International Workshop on OpenMP takes place October 7-9, 2026 at TU Wien in Vienna, Austria. The theme this year is "OpenMP: Adaptability for Heterogeneous Multi-Device Systems."
Learn more and submit: https://www.iwomp.org/call-for-papers/
#IWOMP2026 #OpenMP #HPC #concurrency -
The IWOMP 2026 Call for Papers has been extended to June 5th!
The 22nd International Workshop on OpenMP takes place October 7-9, 2026 at TU Wien in Vienna, Austria. The theme this year is "OpenMP: Adaptability for Heterogeneous Multi-Device Systems."
Learn more and submit: https://www.iwomp.org/call-for-papers/
#IWOMP2026 #OpenMP #HPC #concurrency -
The IWOMP 2026 Call for Papers has been extended to June 5th!
The 22nd International Workshop on OpenMP takes place October 7-9, 2026 at TU Wien in Vienna, Austria. The theme this year is "OpenMP: Adaptability for Heterogeneous Multi-Device Systems."
Learn more and submit: https://www.iwomp.org/call-for-papers/
#IWOMP2026 #OpenMP #HPC #concurrency -
The IWOMP 2026 Call for Papers has been extended to June 5th!
The 22nd International Workshop on OpenMP takes place October 7-9, 2026 at TU Wien in Vienna, Austria. The theme this year is "OpenMP: Adaptability for Heterogeneous Multi-Device Systems."
Learn more and submit: https://www.iwomp.org/call-for-papers/
#IWOMP2026 #OpenMP #HPC #concurrency -
The IWOMP 2026 Call for Papers has been extended to June 5th!
The 22nd International Workshop on OpenMP takes place October 7-9, 2026 at TU Wien in Vienna, Austria. The theme this year is "OpenMP: Adaptability for Heterogeneous Multi-Device Systems."
Learn more and submit: https://www.iwomp.org/call-for-papers/
#IWOMP2026 #OpenMP #HPC #concurrency -
ACCU on Sea 2026 SESSION ANNOUNCEMENT: Fearless Concurrency in C++ by Tristan Brindle
https://accuonsea.uk/2026/sessions/fearless-concurrency-in-cpp
Register now at https://accuonsea.uk/tickets/
-
ACCU on Sea 2026 SESSION ANNOUNCEMENT: Fearless Concurrency in C++ by Tristan Brindle
https://accuonsea.uk/2026/sessions/fearless-concurrency-in-cpp
Register now at https://accuonsea.uk/tickets/
-
ACCU on Sea 2026 SESSION ANNOUNCEMENT: Fearless Concurrency in C++ by Tristan Brindle
https://accuonsea.uk/2026/sessions/fearless-concurrency-in-cpp
Register now at https://accuonsea.uk/tickets/
-
ACCU on Sea 2026 SESSION ANNOUNCEMENT: Fearless Concurrency in C++ by Tristan Brindle
https://accuonsea.uk/2026/sessions/fearless-concurrency-in-cpp
Register now at https://accuonsea.uk/tickets/
-
ACCU on Sea 2026 SESSION ANNOUNCEMENT: Fearless Concurrency in C++ by Tristan Brindle
https://accuonsea.uk/2026/sessions/fearless-concurrency-in-cpp
Register now at https://accuonsea.uk/tickets/
-
How do you handle multiple parallel async tasks finishing at once? This article compares DispatchGroup's manual enter/leave pattern with TaskGroup's structured concurrency approach — async/await makes concurrent operations more intuitive and less error-prone.
🔗: https://emredegirmenci.substack.com/p/what-do-you-do-when-you-want-to-get by Emre Degirmenci
-
How do you handle multiple parallel async tasks finishing at once? This article compares DispatchGroup's manual enter/leave pattern with TaskGroup's structured concurrency approach — async/await makes concurrent operations more intuitive and less error-prone.
🔗: https://emredegirmenci.substack.com/p/what-do-you-do-when-you-want-to-get by Emre Degirmenci
-
How do you handle multiple parallel async tasks finishing at once? This article compares DispatchGroup's manual enter/leave pattern with TaskGroup's structured concurrency approach — async/await makes concurrent operations more intuitive and less error-prone.
🔗: https://emredegirmenci.substack.com/p/what-do-you-do-when-you-want-to-get by Emre Degirmenci
-
How do you handle multiple parallel async tasks finishing at once? This article compares DispatchGroup's manual enter/leave pattern with TaskGroup's structured concurrency approach — async/await makes concurrent operations more intuitive and less error-prone.
🔗: https://emredegirmenci.substack.com/p/what-do-you-do-when-you-want-to-get by Emre Degirmenci
-
Swift Concurrency Best Practices https://wesleydegroot.nl/blog/swift-concurrency-best-practices #Swift #Concurrency #async/await
-
Swift Concurrency Best Practices https://wesleydegroot.nl/blog/swift-concurrency-best-practices #Swift #Concurrency #async/await
-
Swift Concurrency Best Practices https://wesleydegroot.nl/blog/swift-concurrency-best-practices #Swift #Concurrency #async/await
-
Swift Concurrency Best Practices https://wesleydegroot.nl/blog/swift-concurrency-best-practices #Swift #Concurrency #async/await
-
Swift Concurrency Best Practices https://wesleydegroot.nl/blog/swift-concurrency-best-practices #Swift #Concurrency #async/await
-
Your Tasks might be starting on the Main Actor without you knowing it. When a Task inherits isolation from its surrounding context, even an immediate await causes "main-thread hopping." Use @ concurrent and MainActor. run to control where work actually runs.
🔗: https://www.avanderlee.com/concurrency/unexpected-task-suspension-points-in-swift-concurrency/ by Antoine van der Lee (@swiftlee)
-
Your Tasks might be starting on the Main Actor without you knowing it. When a Task inherits isolation from its surrounding context, even an immediate await causes "main-thread hopping." Use @ concurrent and MainActor. run to control where work actually runs.
🔗: https://www.avanderlee.com/concurrency/unexpected-task-suspension-points-in-swift-concurrency/ by Antoine van der Lee (@swiftlee)
-
Your Tasks might be starting on the Main Actor without you knowing it. When a Task inherits isolation from its surrounding context, even an immediate await causes "main-thread hopping." Use @ concurrent and MainActor. run to control where work actually runs.
🔗: https://www.avanderlee.com/concurrency/unexpected-task-suspension-points-in-swift-concurrency/ by Antoine van der Lee (@swiftlee)
-
Your Tasks might be starting on the Main Actor without you knowing it. When a Task inherits isolation from its surrounding context, even an immediate await causes "main-thread hopping." Use @ concurrent and MainActor. run to control where work actually runs.
🔗: https://www.avanderlee.com/concurrency/unexpected-task-suspension-points-in-swift-concurrency/ by Antoine van der Lee (@swiftlee)
-
📢 𝗜𝘀𝘀𝘂𝗲 𝟵𝟯 𝗶𝘀 𝗼𝘂𝘁!
On the agenda:
🔤 𝑆𝑜𝑟𝑡𝑖𝑛𝑔 𝑤𝑖𝑡ℎ 𝑜𝑝𝑒𝑟𝑎𝑡𝑜𝑟 𝑐𝑙𝑜𝑠𝑢𝑟𝑒𝑠
⚡ 𝑇𝑎𝑠𝑘 𝑠𝑢𝑠𝑝𝑒𝑛𝑠𝑖𝑜𝑛 𝑝𝑜𝑖𝑛𝑡𝑠
🔄 𝐷𝑖𝑠𝑝𝑎𝑡𝑐ℎ𝐺𝑟𝑜𝑢𝑝 𝑣𝑠 𝑇𝑎𝑠𝑘𝐺𝑟𝑜𝑢𝑝
🗑️ 𝐷𝑒𝑝𝑟𝑒𝑐𝑎𝑡𝑖𝑛𝑔 𝑐𝑜𝑛𝑣𝑒𝑛𝑖𝑒𝑛𝑐𝑒 𝐴𝑃𝐼𝑠
🤖 𝐺𝑖𝑡 𝑓𝑜𝑟 𝐴𝐼 𝐴𝑔𝑒𝑛𝑡𝑠
🧮 𝐿𝐿𝑀 𝑡𝑟𝑎𝑖𝑛𝑖𝑛𝑔 𝑖𝑛 𝑆𝑤𝑖𝑓𝑡
💾 𝑆𝑤𝑖𝑓𝑡𝐷𝑎𝑡𝑎 𝑡𝑢𝑡𝑜𝑟𝑖𝑎𝑙
🎮 𝑋𝑜𝑔𝑜𝑡 𝑜𝑛 𝑀𝑎𝑐🔗: https://ios-newsletter.snappmobile.io/issues/2026-05-22-issue-93.html by @snappmobile
-
📢 𝗜𝘀𝘀𝘂𝗲 𝟵𝟯 𝗶𝘀 𝗼𝘂𝘁!
On the agenda:
🔤 𝑆𝑜𝑟𝑡𝑖𝑛𝑔 𝑤𝑖𝑡ℎ 𝑜𝑝𝑒𝑟𝑎𝑡𝑜𝑟 𝑐𝑙𝑜𝑠𝑢𝑟𝑒𝑠
⚡ 𝑇𝑎𝑠𝑘 𝑠𝑢𝑠𝑝𝑒𝑛𝑠𝑖𝑜𝑛 𝑝𝑜𝑖𝑛𝑡𝑠
🔄 𝐷𝑖𝑠𝑝𝑎𝑡𝑐ℎ𝐺𝑟𝑜𝑢𝑝 𝑣𝑠 𝑇𝑎𝑠𝑘𝐺𝑟𝑜𝑢𝑝
🗑️ 𝐷𝑒𝑝𝑟𝑒𝑐𝑎𝑡𝑖𝑛𝑔 𝑐𝑜𝑛𝑣𝑒𝑛𝑖𝑒𝑛𝑐𝑒 𝐴𝑃𝐼𝑠
🤖 𝐺𝑖𝑡 𝑓𝑜𝑟 𝐴𝐼 𝐴𝑔𝑒𝑛𝑡𝑠
🧮 𝐿𝐿𝑀 𝑡𝑟𝑎𝑖𝑛𝑖𝑛𝑔 𝑖𝑛 𝑆𝑤𝑖𝑓𝑡
💾 𝑆𝑤𝑖𝑓𝑡𝐷𝑎𝑡𝑎 𝑡𝑢𝑡𝑜𝑟𝑖𝑎𝑙
🎮 𝑋𝑜𝑔𝑜𝑡 𝑜𝑛 𝑀𝑎𝑐🔗: https://ios-newsletter.snappmobile.io/issues/2026-05-22-issue-93.html by @snappmobile
-
📢 𝗜𝘀𝘀𝘂𝗲 𝟵𝟯 𝗶𝘀 𝗼𝘂𝘁!
On the agenda:
🔤 𝑆𝑜𝑟𝑡𝑖𝑛𝑔 𝑤𝑖𝑡ℎ 𝑜𝑝𝑒𝑟𝑎𝑡𝑜𝑟 𝑐𝑙𝑜𝑠𝑢𝑟𝑒𝑠
⚡ 𝑇𝑎𝑠𝑘 𝑠𝑢𝑠𝑝𝑒𝑛𝑠𝑖𝑜𝑛 𝑝𝑜𝑖𝑛𝑡𝑠
🔄 𝐷𝑖𝑠𝑝𝑎𝑡𝑐ℎ𝐺𝑟𝑜𝑢𝑝 𝑣𝑠 𝑇𝑎𝑠𝑘𝐺𝑟𝑜𝑢𝑝
🗑️ 𝐷𝑒𝑝𝑟𝑒𝑐𝑎𝑡𝑖𝑛𝑔 𝑐𝑜𝑛𝑣𝑒𝑛𝑖𝑒𝑛𝑐𝑒 𝐴𝑃𝐼𝑠
🤖 𝐺𝑖𝑡 𝑓𝑜𝑟 𝐴𝐼 𝐴𝑔𝑒𝑛𝑡𝑠
🧮 𝐿𝐿𝑀 𝑡𝑟𝑎𝑖𝑛𝑖𝑛𝑔 𝑖𝑛 𝑆𝑤𝑖𝑓𝑡
💾 𝑆𝑤𝑖𝑓𝑡𝐷𝑎𝑡𝑎 𝑡𝑢𝑡𝑜𝑟𝑖𝑎𝑙
🎮 𝑋𝑜𝑔𝑜𝑡 𝑜𝑛 𝑀𝑎𝑐🔗: https://ios-newsletter.snappmobile.io/issues/2026-05-22-issue-93.html by @snappmobile
-
📢 𝗜𝘀𝘀𝘂𝗲 𝟵𝟯 𝗶𝘀 𝗼𝘂𝘁!
On the agenda:
🔤 𝑆𝑜𝑟𝑡𝑖𝑛𝑔 𝑤𝑖𝑡ℎ 𝑜𝑝𝑒𝑟𝑎𝑡𝑜𝑟 𝑐𝑙𝑜𝑠𝑢𝑟𝑒𝑠
⚡ 𝑇𝑎𝑠𝑘 𝑠𝑢𝑠𝑝𝑒𝑛𝑠𝑖𝑜𝑛 𝑝𝑜𝑖𝑛𝑡𝑠
🔄 𝐷𝑖𝑠𝑝𝑎𝑡𝑐ℎ𝐺𝑟𝑜𝑢𝑝 𝑣𝑠 𝑇𝑎𝑠𝑘𝐺𝑟𝑜𝑢𝑝
🗑️ 𝐷𝑒𝑝𝑟𝑒𝑐𝑎𝑡𝑖𝑛𝑔 𝑐𝑜𝑛𝑣𝑒𝑛𝑖𝑒𝑛𝑐𝑒 𝐴𝑃𝐼𝑠
🤖 𝐺𝑖𝑡 𝑓𝑜𝑟 𝐴𝐼 𝐴𝑔𝑒𝑛𝑡𝑠
🧮 𝐿𝐿𝑀 𝑡𝑟𝑎𝑖𝑛𝑖𝑛𝑔 𝑖𝑛 𝑆𝑤𝑖𝑓𝑡
💾 𝑆𝑤𝑖𝑓𝑡𝐷𝑎𝑡𝑎 𝑡𝑢𝑡𝑜𝑟𝑖𝑎𝑙
🎮 𝑋𝑜𝑔𝑜𝑡 𝑜𝑛 𝑀𝑎𝑐🔗: https://ios-newsletter.snappmobile.io/issues/2026-05-22-issue-93.html by @snappmobile
-
📢 𝗜𝘀𝘀𝘂𝗲 𝟵𝟯 𝗶𝘀 𝗼𝘂𝘁!
On the agenda:
🔤 𝑆𝑜𝑟𝑡𝑖𝑛𝑔 𝑤𝑖𝑡ℎ 𝑜𝑝𝑒𝑟𝑎𝑡𝑜𝑟 𝑐𝑙𝑜𝑠𝑢𝑟𝑒𝑠
⚡ 𝑇𝑎𝑠𝑘 𝑠𝑢𝑠𝑝𝑒𝑛𝑠𝑖𝑜𝑛 𝑝𝑜𝑖𝑛𝑡𝑠
🔄 𝐷𝑖𝑠𝑝𝑎𝑡𝑐ℎ𝐺𝑟𝑜𝑢𝑝 𝑣𝑠 𝑇𝑎𝑠𝑘𝐺𝑟𝑜𝑢𝑝
🗑️ 𝐷𝑒𝑝𝑟𝑒𝑐𝑎𝑡𝑖𝑛𝑔 𝑐𝑜𝑛𝑣𝑒𝑛𝑖𝑒𝑛𝑐𝑒 𝐴𝑃𝐼𝑠
🤖 𝐺𝑖𝑡 𝑓𝑜𝑟 𝐴𝐼 𝐴𝑔𝑒𝑛𝑡𝑠
🧮 𝐿𝐿𝑀 𝑡𝑟𝑎𝑖𝑛𝑖𝑛𝑔 𝑖𝑛 𝑆𝑤𝑖𝑓𝑡
💾 𝑆𝑤𝑖𝑓𝑡𝐷𝑎𝑡𝑎 𝑡𝑢𝑡𝑜𝑟𝑖𝑎𝑙
🎮 𝑋𝑜𝑔𝑜𝑡 𝑜𝑛 𝑀𝑎𝑐🔗: https://ios-newsletter.snappmobile.io/issues/2026-05-22-issue-93.html by @snappmobile
-
Ah, the #groundbreaking #revelation that chess is, indeed, a game with rules and that players (wait for it) take turns! 🤯 Who knew this ancient game of strategic genius had anything to do with concurrency? Clearly, the author has cracked the code that even the #grandmasters missed. Bravo, intrepid explorer of the blatantly obvious! 🏆
http://muratbuffalo.blogspot.com/2026/05/chess-invariants.html #chessrules #concurrency #strategicgenius #HackerNews #ngated -
Ah, the #groundbreaking #revelation that chess is, indeed, a game with rules and that players (wait for it) take turns! 🤯 Who knew this ancient game of strategic genius had anything to do with concurrency? Clearly, the author has cracked the code that even the #grandmasters missed. Bravo, intrepid explorer of the blatantly obvious! 🏆
http://muratbuffalo.blogspot.com/2026/05/chess-invariants.html #chessrules #concurrency #strategicgenius #HackerNews #ngated -
Ah, the #groundbreaking #revelation that chess is, indeed, a game with rules and that players (wait for it) take turns! 🤯 Who knew this ancient game of strategic genius had anything to do with concurrency? Clearly, the author has cracked the code that even the #grandmasters missed. Bravo, intrepid explorer of the blatantly obvious! 🏆
http://muratbuffalo.blogspot.com/2026/05/chess-invariants.html #chessrules #concurrency #strategicgenius #HackerNews #ngated -
Ah, the #groundbreaking #revelation that chess is, indeed, a game with rules and that players (wait for it) take turns! 🤯 Who knew this ancient game of strategic genius had anything to do with concurrency? Clearly, the author has cracked the code that even the #grandmasters missed. Bravo, intrepid explorer of the blatantly obvious! 🏆
http://muratbuffalo.blogspot.com/2026/05/chess-invariants.html #chessrules #concurrency #strategicgenius #HackerNews #ngated -
Ah, the #groundbreaking #revelation that chess is, indeed, a game with rules and that players (wait for it) take turns! 🤯 Who knew this ancient game of strategic genius had anything to do with concurrency? Clearly, the author has cracked the code that even the #grandmasters missed. Bravo, intrepid explorer of the blatantly obvious! 🏆
http://muratbuffalo.blogspot.com/2026/05/chess-invariants.html #chessrules #concurrency #strategicgenius #HackerNews #ngated -
How do you prevent async code from accidentally using thread-unsafe APIs? The 𝑛𝑜𝑎𝑠𝑦𝑛𝑐 attribute marks types and functions as unavailable in async contexts — protecting against thread-local storage and lock misuse.
🔗: https://www.hackingwithswift.com/swift/5.7/noasync by Paul Hudson (@twostraws)
-
How do you prevent async code from accidentally using thread-unsafe APIs? The 𝑛𝑜𝑎𝑠𝑦𝑛𝑐 attribute marks types and functions as unavailable in async contexts — protecting against thread-local storage and lock misuse.
🔗: https://www.hackingwithswift.com/swift/5.7/noasync by Paul Hudson (@twostraws)
-
How do you prevent async code from accidentally using thread-unsafe APIs? The 𝑛𝑜𝑎𝑠𝑦𝑛𝑐 attribute marks types and functions as unavailable in async contexts — protecting against thread-local storage and lock misuse.
🔗: https://www.hackingwithswift.com/swift/5.7/noasync by Paul Hudson (@twostraws)
-
How do you prevent async code from accidentally using thread-unsafe APIs? The 𝑛𝑜𝑎𝑠𝑦𝑛𝑐 attribute marks types and functions as unavailable in async contexts — protecting against thread-local storage and lock misuse.
🔗: https://www.hackingwithswift.com/swift/5.7/noasync by Paul Hudson (@twostraws)
-
Freelang – a Libc-free, direct sys/kernel call language with weird concurrency
#HackerNews #Freelang #LibcFree #Syscall #Concurrency #Programming
-
Freelang – a Libc-free, direct sys/kernel call language with weird concurrency
#HackerNews #Freelang #LibcFree #Syscall #Concurrency #Programming
-
Freelang – a Libc-free, direct sys/kernel call language with weird concurrency
#HackerNews #Freelang #LibcFree #Syscall #Concurrency #Programming