Veganism Social

N-gated Hacker NewsHere's a thrilling odyssey of a C/C++/Rust acolyte discovering that Haskell—yes, 💀 <a href="https://mastodon.social/tags/HASKELL" class="mention hashtag" rel="nofollow noopener" target="_blank">#HASKELL</a> 💀—can do concurrency! Who knew that "self-indulgent academic baloney" could also be "fast, simple, correct"? 🙄 Get ready for groundbreaking insights that will inevitably make you reconsider every life choice you've ever made about <a href="https://mastodon.social/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a>. 🥱 <a href="https://bitbashing.io/haskell-concurrency.html" rel="nofollow noopener" translate="no" target="_blank">https://bitbashing.io/haskell-concurrency.html</a> <a href="https://mastodon.social/tags/Cplusplus" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cplusplus</a> <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rust</a> <a href="https://mastodon.social/tags/ProgrammingInsights" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgrammingInsights</a> <a href="https://mastodon.social/tags/TechOdyssey" class="mention hashtag" rel="nofollow noopener" target="_blank">#TechOdyssey</a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/ngated" class="mention hashtag" rel="nofollow noopener" target="_blank">#ngated</a>

Hacker NewsConcurrency in Haskell: Fast, Simple, Correct<a href="https://bitbashing.io/haskell-concurrency.html" rel="nofollow noopener" translate="no" target="_blank">https://bitbashing.io/haskell-concurrency.html</a><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/Concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#Concurrency</a> <a href="https://mastodon.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mastodon.social/tags/Fast" class="mention hashtag" rel="nofollow noopener" target="_blank">#Fast</a> <a href="https://mastodon.social/tags/Simple" class="mention hashtag" rel="nofollow noopener" target="_blank">#Simple</a> <a href="https://mastodon.social/tags/Correct" class="mention hashtag" rel="nofollow noopener" target="_blank">#Correct</a>

Sven RuppertJust published a longform article on parallel collectors in Java Streams.✅ Covers correctness, performance, pitfalls 🛠 Custom collectors with CONCURRENT semantics 🔬 JMH benchmark TL;DR: .parallelStream() is not a magic wand. <a href="https://svenruppert.com/2025/04/08/synchronous-in-chaos-how-parallel-collectors-bring-order-to-java-streams/" rel="nofollow noopener" translate="no" target="_blank">https://svenruppert.com/2025/04/08/synchronous-in-chaos-how-parallel-collectors-bring-order-to-java-streams/</a><a href="https://mastodon.social/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#Java</a> <a href="https://mastodon.social/tags/StreamsAPI" class="mention hashtag" rel="nofollow noopener" target="_blank">#StreamsAPI</a> <a href="https://mastodon.social/tags/OpenJDK" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenJDK</a> <a href="https://mastodon.social/tags/Concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#Concurrency</a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

C++NowC++Now 2025 SESSION ANNOUNCEMENT: Beyond Sequential Consistency by Christopher Fretz<a href="https://schedule.cppnow.org/session/2025/beyond-sequential-consistency/" rel="nofollow noopener" translate="no" target="_blank">https://schedule.cppnow.org/session/2025/beyond-sequential-consistency/</a>Register now at <a href="https://cppnow.org/registration/" rel="nofollow noopener" translate="no" target="_blank">https://cppnow.org/registration/</a><a href="https://mastodon.social/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a> <a href="https://mastodon.social/tags/cplusplus" class="mention hashtag" rel="nofollow noopener" target="_blank">#cplusplus</a> <a href="https://mastodon.social/tags/cpp" class="mention hashtag" rel="nofollow noopener" target="_blank">#cpp</a> <a href="https://mastodon.social/tags/threading" class="mention hashtag" rel="nofollow noopener" target="_blank">#threading</a>

Jeffrey04<a href="https://kitfucoda.medium.com/concurrency-vs-parallelism-achieving-scalability-with-processpoolexecutor-c366bfcc6207" rel="nofollow noopener" translate="no" target="_blank">https://kitfucoda.medium.com/concurrency-vs-parallelism-achieving-scalability-with-processpoolexecutor-c366bfcc6207</a>Concurrency and parallelism are often confused in async programming discussions. Go's goroutines highlighted the difference: concurrency is doing many things at once, while parallelism is doing many things at the same time.AsyncIO handles concurrency well for I/O, but CPU-bound tasks need parallelism. Python uses AsyncIO for concurrency, and ProcessPoolExecutor for parallelism, distributing work across CPU cores.Process communication is harder than thread communication. AsyncIO's task cancellation differs from ProcessPoolExecutor's, requiring workarounds like event objects for reliable cancellation and shutdown.Essentially, ProcessPoolExecutor enables parallelism for CPU-bound tasks, scaling them across multiple cores, while AsyncIO handles I/O concurrently.<a href="https://hachyderm.io/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#python</a> <a href="https://hachyderm.io/tags/asyncio" class="mention hashtag" rel="nofollow noopener" target="_blank">#asyncio</a> <a href="https://hachyderm.io/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a> <a href="https://hachyderm.io/tags/parallelism" class="mention hashtag" rel="nofollow noopener" target="_blank">#parallelism</a> <a href="https://hachyderm.io/tags/multiprocessing" class="mention hashtag" rel="nofollow noopener" target="_blank">#multiprocessing</a> <a href="https://hachyderm.io/tags/opentowork" class="mention hashtag" rel="nofollow noopener" target="_blank">#opentowork</a> <a href="https://hachyderm.io/tags/getfedihired" class="mention hashtag" rel="nofollow noopener" target="_blank">#getfedihired</a> <a href="https://hachyderm.io/tags/fedihire" class="mention hashtag" rel="nofollow noopener" target="_blank">#fedihire</a> <a href="https://hachyderm.io/tags/opentowork" class="mention hashtag" rel="nofollow noopener" target="_blank">#opentowork</a>

Jesper Agdakx 🔸With the NWO XL consortium on Cyclic Structures in Programs and Proofs, we are looking for 6 highly motivated and talented PhD students starting in September (with some flexibility). The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, <a class="hashtag" href="https://agda.club/tag/rocq" rel="nofollow noopener" target="_blank">#Rocq</a>). Information about the positions and application procedure can be found on the website: <a href="https://cyclic-structures.gitlab.io/vacancies/" rel="nofollow noopener" target="_blank">cyclic-structures.gitlab.io/vacancies/</a> Applications will be evaluated on a rolling basis but should be submitted by the 23rd of May for full consideration. Please forward to any strong candidates you know! <a class="hashtag" href="https://agda.club/tag/typetheory" rel="nofollow noopener" target="_blank">#TypeTheory</a> <a class="hashtag" href="https://agda.club/tag/modallogic" rel="nofollow noopener" target="_blank">#ModalLogic</a> <a class="hashtag" href="https://agda.club/tag/concurrency" rel="nofollow noopener" target="_blank">#Concurrency</a> <a class="hashtag" href="https://agda.club/tag/programminglanguages" rel="nofollow noopener" target="_blank">#ProgrammingLanguages</a> <a class="hashtag" href="https://agda.club/tag/typesystems" rel="nofollow noopener" target="_blank">#TypeSystems</a> <a class="hashtag" href="https://agda.club/tag/proofassistants" rel="nofollow noopener" target="_blank">#ProofAssistants</a> <a class="hashtag" href="https://agda.club/tag/cyclicstructures" rel="nofollow noopener" target="_blank">#CyclicStructures</a> <a class="hashtag" href="https://agda.club/tag/phd" rel="nofollow noopener" target="_blank">#PhD</a> <a class="hashtag" href="https://agda.club/tag/netherlands" rel="nofollow noopener" target="_blank">#Netherlands</a> <a class="hashtag" href="https://agda.club/tag/universityofgroningen" rel="nofollow noopener" target="_blank">#UniversityOfGroningen</a> <a class="hashtag" href="https://agda.club/tag/leidenuniversity" rel="nofollow noopener" target="_blank">#LeidenUniversity</a> <a class="hashtag" href="https://agda.club/tag/universityoftwente" rel="nofollow noopener" target="_blank">#UniversityOfTwente</a> <a class="hashtag" href="https://agda.club/tag/tudelft" rel="nofollow noopener" target="_blank">#TUDelft</a> <a class="hashtag" href="https://agda.club/tag/radbouduniversity" rel="nofollow noopener" target="_blank">#RadboudUniversity</a>

Jari PennanenPython and concurrency are a pain. I'm trying to read the Raspberry Pi camera and send mouse coordinates via USB.If I try to send mouse coordinates via USB in the same thread, it slows the raspberry pi camera FPS from 70 -> 40. Same problem if I try to use different threads via 'threading', 'asyncio' or 'multiprocessing' API.It works fine if I run two completely separate Python scripts. 75 fps, and 100 fps in mouse script.Maddening!<a href="https://twit.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a> <a href="https://twit.social/tags/Concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#Concurrency</a>

Matthew TurlandAbusing <a href="https://phpc.social/tags/SQLite" class="mention hashtag" rel="nofollow noopener" target="_blank">#SQLite</a> to Handle <a href="https://phpc.social/tags/Concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#Concurrency</a> | SkyPilot Blog <a href="https://blog.skypilot.co/abusing-sqlite-to-handle-concurrency/" rel="nofollow noopener" translate="no" target="_blank">https://blog.skypilot.co/abusing-sqlite-to-handle-concurrency/</a>

Paul Houle🐴 Preventing data races with Pony<a href="https://lwn.net/SubscriberLink/1001224/25f4c02cdb2a432e/" rel="nofollow noopener" translate="no" target="_blank">https://lwn.net/SubscriberLink/1001224/25f4c02cdb2a432e/</a><a href="https://mastodon.social/tags/software" class="mention hashtag" rel="nofollow noopener" target="_blank">#software</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://mastodon.social/tags/pony" class="mention hashtag" rel="nofollow noopener" target="_blank">#pony</a> <a href="https://mastodon.social/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a>

Paul Houle😅 How Much Memory Do You Need in 2024 to Run 1 Million Concurrent Tasks?<a href="https://hez2010.github.io/async-runtimes-benchmarks-2024/" rel="nofollow noopener" translate="no" target="_blank">https://hez2010.github.io/async-runtimes-benchmarks-2024/</a><a href="https://mastodon.social/tags/software" class="mention hashtag" rel="nofollow noopener" target="_blank">#software</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://mastodon.social/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a> <a href="https://mastodon.social/tags/threads" class="mention hashtag" rel="nofollow noopener" target="_blank">#threads</a> <a href="https://mastodon.social/tags/async" class="mention hashtag" rel="nofollow noopener" target="_blank">#async</a>

Malte Jandudaare there best practices regarding <a href="https://hachyderm.io/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a> in <a href="https://hachyderm.io/tags/Go" class="mention hashtag" rel="nofollow noopener" target="_blank">#Go</a>? I have something like an in-memory database that gets accessed by multiple clients in parallel. The RWMutexes drive me crazy. <a href="https://hachyderm.io/tags/golang" class="mention hashtag" rel="nofollow noopener" target="_blank">#golang</a>

Jaanus Kase<a href="https://iosdev.space/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#introduction</a>I’m on Mastodon for two things.I build things on Apple platforms. I make <a href="https://indieapps.space/@tact" class="u-url mention" rel="nofollow noopener" target="_blank">@tact</a>. I read (a lot) and post (a little) about related technologies: <a href="https://iosdev.space/tags/Swift" class="mention hashtag" rel="nofollow noopener" target="_blank">#Swift</a>, <a href="https://iosdev.space/tags/SwiftUI" class="mention hashtag" rel="nofollow noopener" target="_blank">#SwiftUI</a>, <a href="https://iosdev.space/tags/Combine" class="mention hashtag" rel="nofollow noopener" target="_blank">#Combine</a>, <a href="https://iosdev.space/tags/CloudKit" class="mention hashtag" rel="nofollow noopener" target="_blank">#CloudKit</a>, <a href="https://iosdev.space/tags/CoreData" class="mention hashtag" rel="nofollow noopener" target="_blank">#CoreData</a>, <a href="https://iosdev.space/tags/Xcode" class="mention hashtag" rel="nofollow noopener" target="_blank">#Xcode</a>, <a href="https://iosdev.space/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a>, as well as product design.I support Ukraine. I follow Ukrainians and friends of 🇺🇦. Please donate to 🇺🇦 until 🗑🇷🇺 is gone: <a href="https://u24.gov.ua" rel="nofollow noopener" target="_blank">https://u24.gov.ua</a> or any other respected charity. My Twitter is mostly about Ukraine - <a href="https://twitter.com/jaanus" rel="nofollow noopener" target="_blank">https://twitter.com/jaanus</a>

Abhinav 🌏I wrote the fourth part of my <a href="https://fantastic.earth/tags/blog" class="mention hashtag" rel="nofollow noopener" target="_blank">#blog</a> series “Implementing Co, a small programming language with <a href="https://fantastic.earth/tags/coroutines" class="mention hashtag" rel="nofollow noopener" target="_blank">#coroutines</a>”. And this time, we add support for channels in <a href="https://fantastic.earth/tags/Co" class="mention hashtag" rel="nofollow noopener" target="_blank">#Co</a> for inter-coroutine communication. <a href="https://abhinavsarkar.net/posts/implementing-co-4/" rel="nofollow noopener" translate="no" target="_blank">https://abhinavsarkar.net/posts/implementing-co-4/</a><a href="https://fantastic.earth/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#Programming</a> <a href="https://fantastic.earth/tags/PLT" class="mention hashtag" rel="nofollow noopener" target="_blank">#PLT</a> <a href="https://fantastic.earth/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgrammingLanguages</a> <a href="https://fantastic.earth/tags/Compilers" class="mention hashtag" rel="nofollow noopener" target="_blank">#Compilers</a> <a href="https://fantastic.earth/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://fantastic.earth/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a>

Ivan Enderlin 🦀<a href="https://fosstodon.org/tags/weld" class="mention hashtag" rel="nofollow noopener" target="_blank">#weld</a>To be fast, weld needs to link objects concurrently & simultaneously. A few days ago, I’ve implemented a simple `ThreadPool` type, in the new `weld-scheduler` crate, <a href="https://github.com/Hywan/weld/blob/ea792c808887306acc6985bd71910fc35051a530/crates/scheduler/src/lib.rs" rel="nofollow noopener" translate="no" target="_blank">https://github.com/Hywan/weld/blob/ea792c808887306acc6985bd71910fc35051a530/crates/scheduler/src/lib.rs</a>.It’s able to send `Future`s on various threads where async workers execute them.It’s done with smol, a light & flexible set of crates to implement custom async runtimes, <a href="https://github.com/smol-rs/smol" rel="nofollow noopener" translate="no" target="_blank">https://github.com/smol-rs/smol</a>.Next step: “Linker Strategy” to link things for real!<a href="https://fosstodon.org/tags/RustLang" class="mention hashtag" rel="nofollow noopener" target="_blank">#RustLang</a> <a href="https://fosstodon.org/tags/parallelism" class="mention hashtag" rel="nofollow noopener" target="_blank">#parallelism</a> <a href="https://fosstodon.org/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a> <a href="https://fosstodon.org/tags/thread" class="mention hashtag" rel="nofollow noopener" target="_blank">#thread</a>

German VidalHello World! I'm a Prof. of <a href="https://mastodon.acm.org/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#ComputerScience</a> at VRAIN/UPV (València, Spain), mainly working on (explainable, symbolic) artificial <a href="https://mastodon.acm.org/tags/intelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#intelligence</a> <a href="https://mastodon.acm.org/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mastodon.acm.org/tags/XAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#XAI</a>, (<a href="https://mastodon.acm.org/tags/probabilistic" class="mention hashtag" rel="nofollow noopener" target="_blank">#probabilistic</a>) <a href="https://mastodon.acm.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://mastodon.acm.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a>, term <a href="https://mastodon.acm.org/tags/rewriting" class="mention hashtag" rel="nofollow noopener" target="_blank">#rewriting</a>, <a href="https://mastodon.acm.org/tags/causality" class="mention hashtag" rel="nofollow noopener" target="_blank">#causality</a>, <a href="https://mastodon.acm.org/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a>, programming <a href="https://mastodon.acm.org/tags/languages" class="mention hashtag" rel="nofollow noopener" target="_blank">#languages</a>, <a href="https://mastodon.acm.org/tags/reversible" class="mention hashtag" rel="nofollow noopener" target="_blank">#reversible</a> computing, program <a href="https://mastodon.acm.org/tags/verification" class="mention hashtag" rel="nofollow noopener" target="_blank">#verification</a>, and <a href="https://mastodon.acm.org/tags/debugging" class="mention hashtag" rel="nofollow noopener" target="_blank">#debugging</a>.  I plan to use this account mostly for scientific matters, but not only. I'm also quite interested in <a href="https://mastodon.acm.org/tags/photography" class="mention hashtag" rel="nofollow noopener" target="_blank">#photography</a>, <a href="https://mastodon.acm.org/tags/sciencefiction" class="mention hashtag" rel="nofollow noopener" target="_blank">#sciencefiction</a>, <a href="https://mastodon.acm.org/tags/travel" class="mention hashtag" rel="nofollow noopener" target="_blank">#travel</a>, <a href="https://mastodon.acm.org/tags/movies" class="mention hashtag" rel="nofollow noopener" target="_blank">#movies</a>, <a href="https://mastodon.acm.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#series</a>, etc, etc.

Fabrizio Montesi ⬣ A➔B👋 <a href="https://mastodon.social/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#introduction</a> I am a researcher and professor that loves <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> and how it impacts <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a>, <a href="https://mastodon.social/tags/cybersecurity" class="mention hashtag" rel="nofollow noopener" target="_blank">#cybersecurity</a>, and <a href="https://mastodon.social/tags/democracy" class="mention hashtag" rel="nofollow noopener" target="_blank">#democracy</a>. I am intrigued by <a href="https://mastodon.social/tags/choreographicprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#choreographicprogramming</a> (<a href="https://en.wikipedia.org/wiki/Choreographic_programming" rel="nofollow noopener" translate="no" target="_blank">https://en.wikipedia.org/wiki/Choreographic_programming</a>), <a href="https://mastodon.social/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#concurrency</a>, <a href="https://mastodon.social/tags/microservices" class="mention hashtag" rel="nofollow noopener" target="_blank">#microservices</a>, and <a href="https://mastodon.social/tags/serverless" class="mention hashtag" rel="nofollow noopener" target="_blank">#serverless</a>. I love open source and maintain the Jolie programming language (<a href="https://jolie-lang.org" rel="nofollow noopener" translate="no" target="_blank">https://jolie-lang.org</a>).

Exandra:swift: Unconventional Shapes #1 - Actors with AsyncSequences<a href="https://hachyderm.io/tags/SwiftUI" class="mention hashtag" rel="nofollow noopener" target="_blank">#SwiftUI</a> apps use threads for UI, model and network. This can glitch and crash. Should you cross your fingers, or add complex locks?<a href="https://hachyderm.io/tags/Swift" class="mention hashtag" rel="nofollow noopener" target="_blank">#Swift</a> <a href="https://hachyderm.io/tags/Concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#Concurrency</a> can help! Actors are a new way to code the data model in your swift App. Actor methods give safe async access to one value from the model's data.What if you need more than one result, like streamed posts from the network?Use <a href="https://hachyderm.io/tags/AsyncSequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#AsyncSequence</a>! Here's today's Unconventional Shape:

Recent searches

Search options

Administered by:

Server stats:

#concurrency