Ditch your (mut)ex, you deserve better
https://chrispenner.ca/posts/mutexes
#HackerNews #DitchYourMutex #YouDeserveBetter #SoftwareDevelopment #Concurrency #ProgrammingTips #TechInsights
｢ IMO, the #Mars #Pathfinder problem was caused by the over-removal of asynchrony - true #concurrency - from the problem and replacing it by step-wise simultaneity, then mis-labelling this approach as “concurrency”. This led to the problem that Facts were ignored. The bug was encountered - apparently “randomly” - before launch, but, ignored. The use of the function-based, overly-synchronous paradigm caused an unforeseen gotcha, but, it looked liked a random Act of God, and was, thus, ignored ｣
Reproducing the AWS Outage Race Condition with a Model Checker
#HackerNews #Reproducing #AWS #Outage #Race #Condition #Model #Checker #Concurrency #TechNews
alcinnz
boosted
(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! 🤯
(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
alcinnz
boosted
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.
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.
Djoerd Hiemstra 🍉
and 1 other
boosted
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
alcinnz
boosted
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
alcinnz
boosted
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.
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.