🔓 Lock-Free Structures - emschwartz · Scour

Atomic Operations in Go • Asaduzzaman Pavel 🧵Concurrency

iampavel.dev·18h·r/golang

Only Human - BobWess 📊ModernBERT

archiveofourown.org·1d

Rakshat28/bdstorage: A CLI-based Content-Addressable Storage (CAS) engine that deduplicates files across your system 🗜️Compaction

github.com·5d·r/rust

CAS Space Outlines Path to Reusing Tri-Core Kinetica-2 Rocket by 2028 ⚛️Physics

china-in-space.com·23h

Decision-focused Conservation Voltage Reduction to Consider the Cascading Impact of Forecast Errors ⚡Energy Economics

arxiv.org·4d

Surelock: Deadlock-Free Mutexes for Rust 📌Pin/Unpin

news.ycombinator.com·1d·Hacker News

Peculiar core-collapse supernova breaks the mold with a long, dim plateau ⚛️Physics

phys.org·3d

Circuit Transformations, Loop Fusion, and Inductive Proof 🧮SMT Solvers

natetyoung.github.io·57m·Hacker News

Even if Victor Orbán is ousted on Sunday, Hungary’s return to liberal democracy is not guaranteed | Gabriela Greilinger and Cas Mudde 🏛️Politics

theguardian.com·3d·r/europe

I Thought I Understood Threads. Then I Read Atomics and Locks. 🧵Concurrency

mara.nl·3d·DEV

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs 📐TLA+

arxiv.org·13h

Surelock - statically prevent deadlocks 📌Pin/Unpin

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

Lectures in Advanced Data Structures (6.851) 🌳Data Structures

courses.csail.mit.edu·4d

FlexGuard: Fast Mutual Exclusion Independent of Subscription 🧵Concurrency

danglingpointers.substack.com·6d·Substack

nbio: A non-blocking I/O and event loop abstraction in Odin 🔄Async Rust

pkg.odin-lang.org·6d·Hacker News

Surelock: Deadlock-Free Locks for Rust 📌Pin/Unpin

docs.rs·5d·Hacker News

Ghosting the Machine: Stop Calling Human-Agent Relations Parasocial 🤖Web Crawling Politeness

arxiv.org·5d

Communication Requirements for Linearizable Registers 🔄Cache Coherence

arxiv.org·5d

Modelling Distributed Applications with Mixed-Choice Stateful Typestates 🧵Concurrency Models

arxiv.org·4d

On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes 🧵Concurrency

arxiv.org·4d

Loading more...