🔓 Lock-Free Structures - Handler4605 · Scour

The Amazing Compile-Time Metaprogramming State Machine 🦀Rust

blog.dlang.org·7h·r/programming

Trump apologists 'lose their minds' after judge demands info on surprise golf construction 🏳lgbt

alternet.org·3d

Behavior-Oriented Concurrency in Python: Lockless, Deadlockfree, Ownership-based 🔐MVCC

microsoft.github.io·2d·Lobsters, Hacker News, Hacker News

Simple and safe implicit async programming model for imperative (JS/Python-like) languages 📐Lean

geleto.github.io·1d·r/programming

Building Data-Heavy Systems in Clojure Without Losing Simplicity 🔄Incremental Computation

flexiana.com·1d

Counting Fast in Erlang with :counters and :atomics ⚡Hardware Transactional Memory

andrealeopardi.com·4d

Portable Async Rust: abstraction as a complement to standardization 🦀Rust

github.com·2d·r/rust

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version) ⚡Hardware Transactional Memory

A case study with Aeneas and jxl-rs 📐Lean

jonathan.protzenko.fr·2d·Hacker News

Developing a cross-process reader/writer lock with limited readers, part 4: Abandonment 🔐MVCC

devblogs.microsoft.com·6d

Eytzinger Binary Search 🌳B+ Trees

algorithmica.org·1d

Stackless coroutines for gamedev in ~200 lines of C++ 🎮Godot

vittorioromeo.com·6d·Lobsters, Hacker News, Hacker News, r/cpp, r/gamedev, r/programming

What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style 📐E-graphs

link.springer.com·1d·Hacker News

Race-free process creation in the GNU C Library (2023) 🎯Runtime Dispatch

lwn.net·2d·Lobsters

Ω-Theory: Machine-Verified Algebraic Framework (formal paper, 2026-05-04) 📐Lean

ramzesx.github.io·3d·Hacker News

Avoiding "if" makes Quicksort faster. 🔗WCOJ

easylang.online·1d·Hacker News, r/programming

The Technical Pillars of ORA 🔐MVCC

obzenflow.dev·1d

System design, distributed systems, and the layers underneath ⚙️Database Internals

toolkit.whysonil.dev·3d·Hacker News, r/compsci, r/programming, r/webdev

Virtual Threads Two Years In: Production War Stories, the Pinning Edge Cases, and What JDK 25 Fixed 🔐MVCC

javacodegeeks.com·2d

Log in to enable infinite scrolling