🔓 Lock-Free Programming - hello · Scour

Simulating Leader Election on top of FoundationDB

pierrezemb.fr·4d

Reinforcement Learning-Based Dynamic Management of Structured Parallel Farm Skeletons on Serverless Platforms

arxiv.org·14h

🌊Seastar Framework

LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models

arxiv.org·14h

Finding My Spark Again: A Month With Codex

dev.to·7h·

Discuss: DEV

I struggled with system design until I learned these 114 concepts

newsletter.systemdesign.one

·2d

🏗️System Design

🚀 OLSRT v1.2: A Powerful Runtime for All Programming Languages!

dev.to·20h·

Discuss: DEV

An Analysis of User-space Idle State Instructions on x86 Processors

danglingpointers.substack.com·4d·

Discuss: Substack

⚙️CPU Microarchitecture

Hardness of hinted ISIS from the space-time hardness of lattice problems

eprint.iacr.org·4d

🔢Homomorphic Encryption

Handling the Dual-Write Problem in Distributed Systems

auth0.com·4d·

Discuss: Hacker News

📝Write-Ahead Logging

From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI

news.ycombinator.com·1d·

Discuss: Hacker News

🎭Program Synthesis

**Abstract:** This paper introduces Quantum-Inspired Algorithm for Axiomatic System Generation and Verification (QASAGV), a novel approach to automatically c...

freederia.com·3d

⚛️Quantum Computing

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·4d

✓Formal Verification

Docker versus Nix: The quest for true reproducibility

thenewstack.io·2d

ahead-of-time wasm gc in wastrel

wingolog.org·3d·

Discuss: Lobsters, Hacker News

🎯WASM Runtime

How are you assigning work across distributed workers without Redis locks or leader election?

reddit.com·4d·

Discuss: r/kubernetes

⚙️Cooperative Scheduling

Efficient Bayesian Sieve Modeling for Predicting Twin Prime Density in Large Numerical Ranges **Abstract** The distribution of twin primes—pairs of primes se...

freederia.com·3d

📊HyperLogLog

Taming the Regex Monster: Optimizing Massive Literal Alternations

modern-c.blogspot.com·3d·

Discuss: r/golang

🔤Suffix Automata

Anthropics Compiler Challenge

corsix.org·1d

🌳Instruction Selection

The Gap Analysis Protocol: Engineering the “Consultant-in-the-Loop”

pub.towardsai.net

·1d

💬Prompt Engineering

Lessons from BF-Tree: Building a Concurrent Larger-Than-Memory Index in Rust

zhihanz.github.io·4d·

Discuss: Hacker News

🏛️Region-Based Memory

Loading more...