#Concurrency

2025-11-12

「 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 」

Christian Tietzectietze
2025-11-12

"Hey let's do a quick 20min recording of me reading @mattiem's post"

youtube.com/watch?v=tGhn_p6qF2o

80min later ...

2025-11-11

Tôi đã xây cùng một thư viện concurrency trong Go và Python, hai ngôn ngữ với trải nghiệm hoàn toàn khác nhau.

Go (gliter) sử dụng goroutines và channels cho sự ổn định, rõ ràng. Python (pipevine) với async + multiprocessing mang lại tính linh hoạt nhưng khó đảm bảo tính bền vững.

Câu hỏi được đặt ra: chúng ta có thực sự muốn concurrency dễ sử dụng, hay một số ma sát cần thiết như một rào chắn an toàn?

#programming #concurrency #golang #python #softwareengineering #lậptrình #đồngthời #go #py

Orhun Parmaksız 👾orhun@fosstodon.org
2025-11-11

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: github.com/pawurb/channels-con

#rustlang #ratatui #tui #async #concurrency #tokio #debugging

2025-11-11

Любовь, смерть и жизненный цикл: считаем, сколько люди проводят времени в вашем Android-приложении

Приветствую всех заглянувших трудяг! Помните, как вы готовились к первым собеседованиям на должность Android-разработчика? Жизненный цикл, пересоздание Activity, коллбеки ЖЦ: все эти понятия хорошо знакомы каждому молодому специалисту в нашей с вами области. Однако одна из прилетевших от аналитиков задач на отправку событий, связанных с длительностью нахождения пользователя в приложении, ввела меня в ступор, заставила провести небольшое исследование, проявить чудеса ведения переговоров и узнать много интересных нюансов. Об этом увлекательном путешествии сегодня расскажу вам я, Александр Лебедь, Android-разработчик Core команды приложения WB Partners.

habr.com/ru/companies/wildberr

#android #lifecycle #синхронизация #concurrency #exceptions #configuration_changes #analytics #activity #process

2025-11-06

Многопоточность в современном C++: Lock-Free программирование, Memory Ordering и Atomics

Многопоточное программирование в C++ традиционно ассоциируется с мьютексами, condition variables и потенциальными проблемами вроде deadlocks и race conditions. Однако современные стандарты C++ (начиная с C++11 и далее) предоставляют инструменты для написания высокопроизводительного многопоточного кода без классических блокировок. В этой статье рассмотрим продвинутые техники: lock-free программирование, атомарные операции и различные модели упорядочивания памяти.

habr.com/ru/articles/963818/

#multithreading_programming #c++ #concurrency #lockfree #atomic

*ledbinledbin
2025-11-05

and linear media

who's got to be in the front page

2D

has concurrency

3D (or more)



can be both a good thing

and a bad thing?

it can be a good thing

BECAUSE

you don't _have_ to take care of , since things

OPTIMIZE

for health, well-being, longevity, ...? even the right to have a bit of fun and make mistakes _and_ survive?

HEALTH vs DOMINANCE

Jan :rust: :ferris:janriemer@floss.social
2025-11-02

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

github.com/frostyplanet/crossf

Benchmarks look really impressive! 🤯

#Rust #RustLang #Concurrency

Hacker Newsh4ckernews
2025-11-02
N-gated Hacker Newsngate
2025-11-01

🚀 Breaking news: isn't perfect! 🎉 In a shocking revelation, this article implores you to care about things like "concurrency" as if you didn't already have enough to worry about with your app's 1-star reviews. 🙄 If you survived 2025 without your world crumbling due to database design flaws, congrats, you're the real . 🎊
jellyfin.org/posts/SQLite-lock

Floris Bruynoogheflub
2025-11-01

The great trick of tokio::select! is that all non-completed futures are dropped. So any borrows they had are released, freeing you to take a mutable borrow while handling the one future that completed.

So if you had two futures that borrowed self.foo & self.bar respectively, once the first completes you can handle the result using self.handle(&mut self, ...) because all futures holding references to self are dropped.

Jan :rust: :ferris:janriemer@floss.social
2025-10-30

Redis-Automerge - by Michel Pelletier

github.com/michelp/redis-autom

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

#Concurrency #Database #RustLang

2025-10-30

This looks like an incredible tool for testing concurrent #Java code: github.com/cmu-pasta/fray

Also has research papers published and some presentations (now on my To Watch list!).

#Testing #Concurrency

2025-10-30

I have expertise with multi-threading and concurrency issues in software. Designing for ways to do that stuff right, and identifying when legecy code is doing it wrong, and then fixing it.

I know why folks coined the term "race" to mean what it means, in software context. I get it. And it makes sense. But I've always been uncomfortable with it. Why? Because it makes it *hard* to talk about, safely, in public, when your words might be stumbled across later and taken "out of context" *especially* by a trigger-happy liberal bully, or an ethnic minority person who might be feeling sensitive.

"He is such a racist! Look at his own words!"

So I'm hoping to coin a different term and get folks to use it instead:

*malconcurrency*

Per it roots: *bad* concurrency... get it? Like malware.

#multithreading
#concurrency

Jesper Agdakx 🔸jesper@agda.club
2025-10-29
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

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst