🔓 Lock-Free Structures - Handler4605 · Scour

Vector, the Journal of the British APL Association 🗂️Vector Indexes

web.archive.org·1d·Hacker News

Metastability in Recovery: Cascading Recovery with a Loop 🔄Database Recovery

charap.co·5d·Hacker News, r/programming, r/systems

Memory as Constraint, Not Storage ⚙️Systems Programming

pensive.xyz·1d·Hacker News

mikwielgus/undoredo: Undo-redo in Rust using deltas, snapshots or commands with convenience implementations for many standard and third-party types. 🦀Rust

github.com·5d·Hacker News

Code • Conflict-free Replicated Data Types 🔀CRDTs

Beyond Static Policies: Exploring Dynamic Policy Selection for Single-Thread Performance Optimization ⚙️Mechanical Sympathy

Groth16, Intuitively 🧮SMT Solvers

blog.zksecurity.xyz·6d·Lobsters, Hacker News, r/crypto

Open Data Structures 🌳B+ Trees

What a CPU Actually Does When You Run a For Loop ⚙️Mechanical Sympathy

siliconopera.com·6d

Deep Dive into InnoDB Locks 🔐Database Concurrency

alibabacloud.com·4d

The Limits of Mathematical Computation Applied to Physical Hardware ⚙️Systems Programming

programmingsimplicity.substack.com·5d·Substack

Verifying Poseidon in Clean: Why the Last 'Sorry' Is About Primality 📐Lean

blog.zksecurity.xyz·3d·Hacker News

Rust Arc Refactor That Turned 18 ms p99 Into 2 ms 🦀Rust

baarse.substack.com·5d·r/rust

FalconGEMM: Surpassing Hardware Peaks with Lower-Complexity Matrix Multiplication ⚡SIMD Vectorization

SAIOS-SAMN/convergence-engine: Recursive convergence algebra using exact rational arithmetic on multi-dimensional relational torsions. Research tool for AI-assisted scientific discovery. 🧮SMT Solvers

github.com·2d·Hacker News

The artful way of the stack-machine 📚Index Structures

pepnom.org·3d·Hacker News

EIP-8250: Keyed Nonces for Frame Transactions 🔒Transaction Isolation

ethereum-magicians.org·3d

A Couple Million Lines of Haskell: Production Engineering at Mercury 🔤DSLs

news.ycombinator.com·4d·Hacker News

Async Rust never left the MVP state - Blog 🦀Rust

tweedegolf.nl·4d·Lobsters, Hacker News, Hacker News, r/rust

DICE: Enabling Efficient General-Purpose SIMT Execution with Statically Scheduled Coarse-Grained Reconfigurable Arrays ⚡SIMD Vectorization

Sign up or log in to see more results

Log in to enable infinite scrolling