🔓 Lock-Free Programming - hello · Scour

An introduction to lockless algorithms [LWN.net]

lwn.net·3d

New Algorithms and Hardness Results for Robust Satisfiability of (Promise) CSPs

arxiv.org·15h

🧮SMT Solvers

Associative Methods

dev.to·1h·

Discuss: DEV

#️⃣Perfect Hashing

remote locks and distributed locks

tautik.me·1d

🔒Two-Phase Locking

Quick Stack Tiedown

artlu.bearblog.dev·1d

🏗️Cranelift

rouzbehsbz/spenta: Fast data-parallel iterator for Go

github.com·47m·

Discuss: r/golang

⏭️Skip Lists

Introduction To Concurrency | Concurrency Interview | AlgoMaster.io

algomaster.io

·1d

🔄Concurrency

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking

arxiv.org·1d

🚦Wait-Free Algorithms

CodeSOD: Consistently Transactional

thedailywtf.com·14h

💰TigerBeetle

MPSpeed: Implementing and Optimizing MPC-in-the-Head Digital Signatures in Hardware

eprint.iacr.org·3d

🚀Superoptimization

Can you disable multithreaded calculations for avoidance logic?

forrestthewoods.com·9h·

Discuss: r/godot

🧵Core Scheduling

Postgres Locks Explained

postgreslocksexplained.com·1d·

Discuss: Hacker News

🔒Two-Phase Locking

LoganFlaherty/banish: A repo for the Banish, a Rust embedded DSL that simplifies state machines and rule-based logic.

github.com·5h·

Discuss: r/rust

theprogrammersparadox.blogspot.com·4h·

Discuss: theprogrammersparadox.blogspot.com

🛡️Packet Filtering

The Secret Life of Go: Concurrency Patterns

dev.to·12h·

Discuss: DEV

Compiler-Driven Static Analysis Locking Context Checking Merged For Linux 7.0

phoronix.com·1d

Proof-oriented Programming in F*

fstar-lang.org·16h·

Discuss: Lobsters

✓Formal Verification

Parallelization of the Estuarine Saltwater Intrusion Numerical Forecast Model UFDECOM-i Using Fortran DO CONCURRENT

sciencedirect.com·1d

2025 Q4 and 2026 Q1 Newsletter

odin-lang.org·1d

Must-Know Software Architecture Patterns

blog.bytebytego.com

·4h

🏗️Systems Design

Loading more...