🔓 Lock-Free Structures - balayhashi · Scour

umad_get_cas_names (3) Linux Manual Page 📄SOSP

systutorials.com·9h

Recursive Mutexes and Notion of Concurrency Unit Id ⚡Concurrency

Table Oriented Programming (2002) 🗃️Database Storage

oocities.org·19h·Hacker News

Forging ZK proofs to mint arbitrary DUSK tokens 🔓Lock-Free

osec.io·10h·Hacker News

Safe Optimistic Lock Coupling 🔓Lock-Free

databasearchitects.blogspot.com·1d·databasearchitects.blogspot.com, r/cpp

Intuitive concurrent programming in any language ⚡Concurrency

lf-lang.org·6d

std::experimental::atomic_shared_ptr::is_lock_free (3) Linux Manual Page 🔓Lock-Free

systutorials.com·1d

On Interaction Nets and Hardware 🔓Lock-Free

tendrils.co·4d·Lobsters, Hacker News

Cicada: Dependably Fast Multi-Core In-Memory Transactions 🔐MVCC

danglingpointers.substack.com·2d·Substack

Show HN: 1990s Game Dev Algorithms for Distributed Systems 🔐MVCC

docs.merca.earth·2d·Hacker News

Replacing probabilistic AI with deterministic math and Dafny formal verification 🤝Paxos Consensus

gist.github.com·6d·Hacker News

Learn concurrency - a deep dive into multithreading with Python ⚡Concurrency

blog.geekuni.com·1d·r/Python, r/programming

Quickheap: the fastest comparison-based heap? 🌲B-tree Variants

curiouscoding.nl·1d

It's a lock: sync.Mutex in Go ⚡Concurrency

bitfieldconsulting.com·4d

The Final Form of Software Development ✅Correctness

blog.zksecurity.xyz·1d·Lobsters, Hacker News

seivarya/strandy: a threadpool written in .c maybe? 🔓Lock-Free

github.com·23h·r/C_Programming

Developing a cross-process reader/writer lock with limited readers, part 1: A semaphore 🔓Lock-Free

devblogs.microsoft.com·2d

New Techniques for Communication-Efficient Secure Comparison Protocols 🤝Paxos Consensus

eprint.iacr.org·6d

Ruby Concurrency: What Actually Happens ⚡Concurrency

paolino.me·2d·Hacker News

Java sealed classes and exhaustive pattern matching 🔐Serializability

neilmadden.blog·6d

Log in to enable infinite scrolling