@ramsey My comment on the "call for working group" explains my big issue with it:

«I believe this "working group" already starts on the wrong foot with even the definition of "Stage 1".

Its first purpose ought to be: "What is the most single basic thing for most of the PHP users."
…
Launching straight into the intricacies of implementation isn't a constructive way forward, IMO.»

https://github.com/true-async/php-true-async-rfc/discussions/8#discussioncomment-15078769

#php #async #concurrency

A million ways to die from a data race in Go

https://gaultier.github.io/blog/a_million_ways_to_data_race_in_go.html

#HackerNews #A #million #ways #to #die #from #a #data #race #in #Go #data #race #Go #programming #concurrency #software #development

Inside Rust's std and parking_lot mutexes – who wins?

https://blog.cuongle.dev/p/inside-rusts-std-and-parking-lot-mutexes-who-win

#HackerNews #Rust #Mutexes #parking_lot #concurrency #programming #blog #post

Ditch your (mut)ex, you deserve better

https://chrispenner.ca/posts/mutexes

#HackerNews #DitchYourMutex #YouDeserveBetter #SoftwareDevelopment #Concurrency #ProgrammingTips #TechInsights

Async and Finaliser Deadlocks

https://tratt.net/laurie/blog/2025/async_and_finaliser_deadlocks.html

#HackerNews #Async #Finaliser #Deadlocks #Programming #Concurrency #SoftwareDevelopment #HackerNews

Reproducing the AWS Outage Race Condition with a Model Checker

https://wyounas.github.io/aws/concurrency/2025/10/30/reproducing-the-aws-outage-race-condition-with-model-checker/

#HackerNews #Reproducing #AWS #Outage #Race #Condition #Model #Checker #Concurrency #TechNews

(Quite) A few words about async

https://yoric.github.io/post/quite-a-few-words-about-async/

#programming #concurrency #python #go #rust #javascript #blog

crossfire-rs - A lockless mpmc/mpsc to support async base on crossbeam - by frostyplanet:

https://github.com/frostyplanet/crossfire-rs

Benchmarks look really impressive! 🤯

#Rust #RustLang #Concurrency

(Quite) A few words about async

https://yoric.github.io/post/quite-a-few-words-about-async/

#programming #concurrency #python #go #rust #javascript #blog

Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust

https://github.com/frostyplanet/crossfire-rs

#HackerNews #Crossfire #Rust #lockless #channels #performance #concurrency #programming

SQLite concurrency and why you should care about it

https://jellyfin.org/posts/SQLite-locking/

#HackerNews #SQLite #Concurrency #SQLite #Performance #Database #Management #Tech #Insights

Redis-Automerge - by Michel Pelletier

https://github.com/michelp/redis-automerge

A #Redis module (written in #Rust ) that integrates #Automerge #CRDT (Conflict-free Replicated Data Type) documents into Redis, providing JSON-like document storage with automatic conflict resolution.

#Concurrency #Database #RustLang

Redis-Automerge - by Michel Pelletier

https://github.com/michelp/redis-automerge

A #Redis module (written in #Rust ) that integrates #Automerge #CRDT (Conflict-free Replicated Data Type) documents into Redis, providing JSON-like document storage with automatic conflict resolution.

#Concurrency #Database #RustLang

The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

cyclic-structures.gitlab.io/school2026/

Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.

#Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris

The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

cyclic-structures.gitlab.io/school2026/

Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.

#Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris

Go beyond Goroutines: introducing the Reactive paradigm

https://samuelberthe.substack.com/p/go-beyond-goroutines-introducing

#HackerNews #Go #Goroutines #ReactiveParadigm #Programming #Concurrency #SoftwareDevelopment

Async Concurrency relates to Multi-threaded Concurrency

the same as

Manual Memory Management relates to Garbage Collection

(at least in systems languages like #Rust)

#SoftwareEngineering #Concurrency #Async #Comparison #RustLang

Async Concurrency relates to Multi-threaded Concurrency

the same as

Manual Memory Management relates to Garbage Collection

(at least in systems languages like #Rust)

#SoftwareEngineering #Concurrency #Async #Comparison #RustLang

parking_lot: ffffffffffffffff…, https://fly.io/blog/parking-lot-ffffffffffffffff/.

Excellent article from the Fly.io team about a locking bug they encountered in their codebase, and how it has resulted in a bug fix in parking_lot. Well written.

Kudos to the engineers involved.

#RustLang #lock #concurrency