⚡ Concurrency - beachlorn · Scour

I Thought I Understood Threads. Then I Read Atomics and Locks. 🔤Type Systems

mara.nl·9h·DEV

The Data Race Hiding Behind "Correct" Atomics ⚡Zig

trippw.com·4d·r/programming

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software 💬Smalltalk

arxiv.org·2d

Data Oriented Design by example (2017) 💬Smalltalk

nikitablack.github.io·14h·Hacker News

Surelock - statically prevent deadlocks 🦀Rust

notes.brooklynzelenka.com·2d·Lobsters, Hacker News, r/rust

Handling Race Conditions in Multi-Agent Orchestration 💧Elixir

machinelearningmastery.com·3d

Rust Gamedev Techniques — Memory, Concurrency & Abstraction 🦀Rust

slicker.me·1d·r/rust_gamedev

Investigating Split Locks on x86-64 ⚡Zig

chipsandcheese.com·2d·Hacker News

Optimising a Pipelined RISC-V Core: From Naive Pipeline to Near-Superscalar Performance 💾CPU Architecture

mummanajagadeesh.github.io·3d·Lobsters, Hacker News

MysticCodingCat/CUDA-Native-HUBO: A GPU-native solver for 3-way combinatorial optimization (HUBO). Achieving digital-annealer-level performance on a single RTX 3060 Ti 🧩SMT Solvers

github.com·1d·Hacker News

Surelock: Deadlock-Free Locks for Rust 🦀Rust

docs.rs·2d·Hacker News

Local Marking of Locally Implementable Unitary Operations ✨Effect Handlers

arxiv.org·17h

becls/swish: Swish Concurrency Engine 📚Forth

github.com·2d·Hacker News

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL λLambda Calculus

arxiv.org·3d

Perils of Parallelism: Transaction Fee Mechanisms under Execution Uncertainty ✨Effect Handlers

arxiv.org·3d

GTaP: A GPU-Resident Fork-Join Task-Parallel Runtime with a Pragma-Based Interface 🔗Unison

arxiv.org·2d

Communication Requirements for Linearizable Registers 🔄CRDTs

arxiv.org·2d

3D-Stacked NMP, LLM Decoding, Systolic Array Microarchitecture, Multi-Core Scheduling 💾CPU Architecture

arxiv.org·3d

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications ➡️Linear Logic

arxiv.org·1d

Determinacy with Priorities up to Clocks ✨Effect Handlers

arxiv.org·1d

Loading more...