🔓 Lock-Free Structures - rektide · Scour

On Interaction Nets and Hardware 📐E-graphs

tendrils.co·4d·Lobsters, Hacker News

Cicada: Dependably Fast Multi-Core In-Memory Transactions ⚡Hardware Transactional Memory

danglingpointers.substack.com·2d·Substack

Intuitive concurrent programming in any language 🔐MVCC

lf-lang.org·5d

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

docs.merca.earth·2d·Hacker News

Learn concurrency - a deep dive into multithreading with Python 📊Columnar Execution

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

CountDownLatch vs CyclicBarrier: The Java Concurrency Secret Most Developers Miss 🔐MVCC

·6d

std::experimental::atomic_shared_ptr::is_lock_free (3) Linux Manual Page ⚡Hardware Transactional Memory

systutorials.com·1d

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

curiouscoding.nl·1d

It's a lock: sync.Mutex in Go 📴Offline-First

bitfieldconsulting.com·4d

The Final Form of Software Development 🔐MVCC

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

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

gist.github.com·6d·Hacker News

Developing a cross-process reader/writer lock with limited readers, part 1: A semaphore ⚡Hardware Transactional Memory

devblogs.microsoft.com·2d

Zig explores structured concurrency 🔐MVCC

·3d

penberg/betelgeuse: Completion-based I/O for Rust. No runtime, no hidden tasks. 🔄Cache Replacement

Stabilizers for Compiling Logical Circuits under Hardware Constraints 🧮SMT Solvers

Java sealed classes and exhaustive pattern matching 🌸Bloom Filters

neilmadden.blog·6d

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

eprint.iacr.org·6d

Getting Started Hash-Based Data Structures in Rust. 📚Index Structures

·3d

std::lock (3) Linux Manual Page 🔐Database Concurrency

systutorials.com·19h

Improving Reachability in Vector Addition Systems through Pumpability 📐E-graphs

Log in to enable infinite scrolling