🔓 Lock-Free Structures - balayhashi · Scour

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

Zig explores structured concurrency ⚡Concurrency

·3d

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

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

Blessed Syntax and Ergonomics 🗃️Database Storage

gingerbill.org·1d·Lobsters, Hacker News, r/programming

A short-lived lock for a long-running evaluation 🔒Transaction Isolation

swaranga.dev·5d·Hacker News

Algorithms in Java Series 🔓Lock-Free

baeldung.com·1d

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

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

Java Virtual Threads: The Pinning Problem, the Deadlock, and the Fix in Java 24 ⚡Concurrency

shbhmrzd.github.io·6d·Hacker News, r/programming

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

sonarsource.com·1d·Hacker News

Maximum Concurrency (& Sub-Quadratic Scaling) By TokenGate ⚡Concurrency

tavari.online·4d·DEV

Silent foe or quiet ally: Brief guide to alignment in C++. Part 3 ✅Correctness

pvs-studio.com·1d·r/cpp

Shorter smarter nullable code 🔓Lock-Free

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

lobste.rs·5d·Substack

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

darkomulej.substack.com·1d·Substack

Crash Course on Notation in Programming Language Theory 📐TLA+

siek.blogspot.com·3d·r/programming

Apr '26 Notes 📄SOSP

Coloring Code: How Compilers Use Graph Theory 🌳B+ Trees

youtube.com·1d·Lobsters, Hacker News

Maliciously Secure Exact Fixed-Point Multiplication over Power-of-Two Rings for Replicated 3PC 🤝Paxos Consensus

eprint.iacr.org·3d

Reverse Engineering SimTower 🔐MVCC

phulin.me·1d·Hacker News, r/programming

What it takes to transpose a matrix (2024) ⚡SIMD Vectorization

gudok.xyz·1d·Lobsters, Hacker News

Sign up or log in to see more results

Log in to enable infinite scrolling