mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#concurrency

4 posts4 participants1 post today

Just 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.

svenruppert.com/2025/04/08/syn

Sven Ruppert · Synchronous in Chaos: How Parallel Collectors Bring Order to Java Streams
More from Sven Ruppert
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, #Rocq).

Information about the positions and application procedure can be found on the website:

cyclic-structures.gitlab.io/vacancies/

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!

#TypeTheory #ModalLogic #Concurrency #ProgrammingLanguages #TypeSystems #ProofAssistants #CyclicStructures #PhD #Netherlands #UniversityOfGroningen #LeidenUniversity #UniversityOfTwente #TUDelft #RadboudUniversity
Cyclic Structures in Programs and ProofsVacanciesBy Jorge Perez

Join also for #LibreQoS inside!

"🚀New date for @herberticus’ free webinar!

Communicate with Channels in #Rust

🎯Secure your seat now! 👉eventbrite.com/e/communicate-w

In this webinar, we’ll explore Rust’s std::sync::mpsc, Tokio, & Flume channels, covering bounded vs. unbounded channels, try_send, & techniques for handling backpressure.🦀" @ardanlabs
📅 Thursday, April 3rd | 12pm–1pm EST
🌍 Online - Remote
👨‍🏫 Instructor: Herbert Wolverson

Python 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!