From 11:00 to 12:00 on Thursday, May 28, the PLSL reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler.

https://plsl.acp.sdu.dk/posts/2025-05-28-proofs-as-processes-propositions-as-sessions/

#PLSL #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming

This week I round up the continuing evolution of Spinel and Roundhouse, a deep dive into Ruby concurrency, new tooling for Hotwire development, the complex implications of AI in code translation and license laundering, and broader topics spanning biomimicry to teaching coding.

https://fascination.works/fascinating/2026/05/05/fascinating-this-week/

#ruby #compilation #hotwire #concurrency #ai #fascinating #blog

Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based

https://microsoft.github.io/bocpy/

#Python #Concurrency #Programming

Concurrency is Hard. No matter if you use green threads, messages, approachable concepts from swift 6, etc.

It’s fucking hard. No magic.

Great summary for those who actually do give RTFM

https://causality.blog/essays/message-passing-is-shared-mutable-state/

#software #security #concurrency

Swift 6.2 introduces immediate tasks to skip the initial scheduling hop. No more unnecessary delays when starting concurrent work from the correct actor.

🔗: https://www.avanderlee.com/concurrency/immediate-tasks-in-swift-concurrency-explained/ by Antoine van der Lee (@swiftlee)

#Swift #Concurrency #iOSDev

In fintech, Pessimistic Locking prevents race conditions on high-conflict records such as account balances. A crashed transaction holding a lock can block other operations until a timeout expires, creating latency risk.

#DistributedSystems #Fintech #Concurrency

I just noticed data was loading slow from network calls „a“ and „b“ because

_ = await (a, b)

runs them sequentially. I was pretty sure I tested with 5.x that it was equivalent to

async let aN = a
async let bN = b
await (aN, bN)

Is this a consequence of #Swift‘s #Concurrency changes up until 6.3, or was I just wrong?

How MVCC Works and Why Databases Use It

https://ikristina.github.io/blog/mvcc

#databases #mvcc #postgres #concurrency #cockroachdb #mysql #InnoDB #transaction

제약은 줄이고 동시성은 높이기: 락(Lock) 제거를 통한 성능 최적화

암달의 법칙(Amdahl's Law)에 따르면 프로그램 내의 아주 적은 순차적 코드(Sequential Code)만으로도 전체 시스템의 확장성과 성능 향상이 크게 제한된다.

🔗 원문 보기

Ruby 동시성의 미래: 공유 상태에서 통신과 추상화로

멀티코어 하드웨어의 확산에 따라 단일 Ruby 프로세스에서 수십 개의 코어를 효율적으로 사용하기 위한 동시성 모델 확보가 필수적이다.

🔗 원문 보기