🔄 CRDT - 2601 · Scour

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

✓Formal Methods

erlang.org·1d·

Discuss: Hacker News

🎯Escape Analysis

feldera/feldera: The Feldera Incremental Computation Engine

github.com·19h

🚂Cranelift IR

Revisiting Regular Types

abseil.io·6h

📏Linear Types

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·2d·

Discuss: Hacker News

🌊Dataflow Languages

Multi-Paxos – Consensus in Distributed Databases

arpitbhayani.me·1d·

Discuss: Hacker News

🏗️System Design

Geospatial System Design Patterns

systemdr.substack.com·1h·

Discuss: Substack

🏗️System Design

How I Built My Project in Haskell

dev.to·5h·

Discuss: DEV

🪞Metaprogramming

Structured Context Engineering for File-Native Agentic Systems: Evaluating Schema Accuracy, Format Effectiveness, and Multi-File Navigation at Scale

arxiv.org·2d

🎨Domain-Specific Languages

Code only says what it does

brooker.co.za·2h·

Discuss: Hacker News

📚Self-Documenting Code

Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.

gist.github.com·5h·

Discuss: Hacker News

📋Task Queues

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🚂Error Propagation

I struggled with system design until I learned these 114 concepts

newsletter.systemdesign.one

·15h

🏗️Systems Design

Data-Oriented Programming for Java: Beyond Records

openjdk.org·2d

💫Effect Systems

Processes and Threads - Discourse on Concurrency, Part I

ayanmali.substack.com·1d·

Discuss: Substack

📡Async Channels

Redis/Valkey Replication Internals: The Architecture Behind Zero-Copy Command Propagation

frostzt.com·3d·

Discuss: Hacker News, r/programming

🔄Subinterpreters

Simulating Leader Election on top of FoundationDB

pierrezemb.fr·3d

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·13h·

Discuss: Hacker News, r/Compilers

🚀Code Motion

Docker versus Nix: The quest for true reproducibility

thenewstack.io·11h

🔗Language Toolchains

Teleportal: A real-time collaborative editing framework

pckt.blog·1d·

Discuss: Hacker News

💬Smalltalk VMs

Loading more...