🔓 Lock-Free Structures - surajkadapa · Scour

Affinity Tailor: Dynamic Locality-Aware Scheduling at Scale 📐Data-Oriented Design

CRDTs for Free ⚡Concurrency

ossa.network·15h·Hacker News

Ω-Theory: Machine-Verified Algebraic Framework (formal paper, 2026-05-04) 🎯Speculative Execution

ramzesx.github.io·1d·Hacker News

Study compares Rust and C languages for embedded firmware development ⚡Low-Latency Systems

cnx-software.com·1h

A Couple Million Lines of Haskell: Production Engineering at Mercury 🎯Speculative Execution

news.ycombinator.com·1d·Hacker News

Code • Conflict-free Replicated Data Types 🌐Distributed Systems

The Final Form of Software Development 🔧Compilers

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

Digitally Preserving Classic Synthesizers through Emulation 🔧HLS

theusualsuspects.io·8h

Version-controlled databases using Prolly trees 💾Storage Engines

lwn.net·1d·Hacker News

Locality of Reference 💾Cache Optimization

en.wikipedia.org·7h·Hacker News

Podman rootless containers and the Copy Fail exploit 🏝️Landlock

lobste.rs·5h·Lobsters

Grasping at the Future of Programming Languages (1) 🔧Compilers

ideasthetician.substack.com·1d·Substack

Open Data Structures 📐Algorithms

Performance Predictability in Heterogeneous Memory 🔁Cache Coherence

danglingpointers.substack.com·18h·Substack

Valuation Spaces and Relativisation: The Lambda Calculus Example 🔓Lock-Free Programming

practal.com·2d·Hacker News

mem-doc/doc/.NETMemoryPerformanceAnalysis.md at master 🐹Go Runtime

github.com·7h·Hacker News

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic) 📐Algorithms

Scope Graphs – A Theory of Name Resolution 🔧Compilers

pl.ewi.tudelft.nl·4d·Hacker News

Category Theory for Tiny ML in Rust 📐Algorithms

hghalebi.github.io·1d·Hacker News

On Lisp Book 🔗ELF Internals

paulgraham.com·9h

Log in to enable infinite scrolling