🔓 Lock-Free - balayhashi · Scour

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

curiouscoding.nl·1d

Mastering Concurrency: Why Thread Pooling Is Critical for High-Performance Java Applications ⚡Concurrency

docs.oracle.com·4d·DEV

Unentangled stoquastic Merlin-Arthur proof systems: the power of unentanglement without destructive interference 🔓Lock-Free Structures

atomic_queue benchmarks SMT vs no-SMT performance ⚙️Mechanical Sympathy

max0x7ba.github.io·1d·r/cpp, r/linux

On Interaction Nets and Hardware 🔓Lock-Free Structures

tendrils.co·4d·Lobsters, Hacker News

The Final Form of Software Development ✅Correctness

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

Ruby Concurrency: What Actually Happens ⚡Concurrency

paolino.me·2d·Hacker News

Zig explores structured concurrency ⚡Concurrency

·3d

GPT-5.5's biggest blind spot: the Java bugs your tests won't catch ⚡Concurrency

sonarsource.com·1d·Hacker News

From Convergence to Confidence: Push-Button Verification for RDTs ✅Correctness

kcsrk.info·2d·Hacker News, Hacker News

Delegated Execution Sharding (DES): A hyper-parallelized zkEVM for theoretically optimal execution-layer scalability ⚙️Mechanical Sympathy

ethresear.ch·6d

Shorter smarter nullable code 📐TLA+

A breakthrough in C/C++ dependency management 🔐MVCC

lobste.rs·5d·Substack

Stack Computers: the new wave 📄SOSP

users.ece.cmu.edu·1d·Lobsters

Every algorithm is a natural number. Hilbert's hotel has room for all of them 🔓Lock-Free Structures

darkomulej.substack.com·1d·Substack

Substrate: Intuitions ⚙️Mechanical Sympathy

lesswrong.com·5d

Build a Personal Task Manager in Claude, Without the Week I Wasted 📊Columnar Execution

automato.substack.com·2d·Substack

From Simplex to Complex 🔐MVCC

decentralizedthoughts.github.io·4d

Asynchronously Filling & Evicting Caches ⚡Concurrency

·1d

Fourth Data Prefetching Championship: Part 2 ⚙️Mechanical Sympathy

sigarch.org·1d

Sign up or log in to see more results

Log in to enable infinite scrolling