🔓 Lock-Free Structures - linearizable · Scour

Lessons I’ve learned from benchmarking lock free queues ⚙️Mechanical Sympathy

simonlee99ap.substack.com·17h·r/cpp

Building a Fast Lock-Free Queue in Modern C++ From Scratch ⚡Hardware Transactional Memory

jaysmito.dev·5d·Hacker News, r/cpp, r/programming

Common Lisp Portability Library Status 🔧ELF Binaries

portability.cl·2d·Lobsters

Nonanti/mathcore: Symbolic math library and computer algebra system for Rust 🧮SMT Solvers

github.com·11h

Zinc – zero-copy shared memory for polyglot stacks ⚙️Mechanical Sympathy

mine-27913f41.mintlify.app·2d·Hacker News

Concurrent Bugs Hide in Timing, Not Logic 🔐MVCC

siliconopera.com·6d

Dijkstra Casually Invented Synchronization Primitives as an Afterthought ⚙️Mechanical Sympathy

nome.codes·16h·Hacker News

Announcing Dumbo Transaction Support 🔐MVCC

dolthub.com·2d

CppCon 2025 How To Build Robust C++ Inter-Process Queues -- Jody Hagins 📡Low-Level Networking

A Friendly Tour of Substructural, Uniqueness, Ownership, Capabilities and more! 🔧Linkers

federicobruzzone.github.io·4h·Hacker News

A Demonstration of Quantum Circuit Implementation for Obstacle Flow Using Carleman-Linearized Lattice Boltzmann Method 🧮SMT Solvers

No Slop Grenade 🧩Erasure Coding

noslopgrenade.com·6d·Hacker News

Linear Regression in Machine Learning 🔍Vector Search Algorithms

·2d

Fast-Ion Axial Bounce Resonance in a Linear Magnetic Fusion Device 💾Flash Storage

Jira Is Turing-Complete 📐TLA+

seriot.ch·5d·Lobsters, Hacker News, Hacker News, Hacker News, r/compsci, r/programming

Safe Made Easy Pt.1: Single Ownership Is (Not) Optional ⚡Hardware Transactional Memory

ergeysay.github.io·2d·Hacker News

You Were Never Declaring State. You Were Observing By Hand. 🔄Eventual Consistency

webframp.com·5d·Hacker News

A new Register Allocator for ZJIT 🔧Linkers

railsatscale.com·1d·Lobsters, Hacker News

Steering Directions Are Explanations, Not Handles 🗂️Vector Indexes

lesswrong.com·1d

Lowering LCU Circuit Width through Maximum-Weight Birkhoff-von Neumann Decomposition 🧮SMT Solvers

Log in to enable infinite scrolling