crossfire-rs - A lockless mpmc/mpsc to support async base on crossbeam - by frostyplanet:
https://github.com/frostyplanet/crossfire-rs
Benchmarks look really impressive! 🤯
This is gold if you're using async Rust 💯
🌀 **channels-console** — A TUI dashboard for inspecting std/tokio/futures/crossbeam channels.
📊 Watch messages, queue depth, throughput & memory usage live.
🦀 Written in Rust & built with @ratatui_rs
⭐ GitHub: https://github.com/pawurb/channels-console
#rustlang #ratatui #tui #async #concurrency #tokio #debugging
Put a ring on it: a lock-free MPMC ring buffer
#HackerNews #lockfree #MPMC #ringbuffer #concurrency #data #structures #performance
To be clear, by “whether it would be welcome,” I’m not implying anyone would be hostile to it, but feedback I’ve gotten has been along the lines of, “What is the use-case?”
I think we now have a real-world use-case, instead of hypotheticals.
@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
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
This is gold if you're using async Rust 💯
🌀 **channels-console** — A TUI dashboard for inspecting std/tokio/futures/crossbeam channels.
📊 Watch messages, queue depth, throughput & memory usage live.
🦀 Written in Rust & built with @ratatui_rs
⭐ GitHub: https://github.com/pawurb/channels-console
#rustlang #ratatui #tui #async #concurrency #tokio #debugging
Reproducing the AWS Outage Race Condition with a 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! 🤯
(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.
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.
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
