👑 Leader Election - gss123 · Scour

Frugal Knowledge Graph Construction with Local LLMs: A Zero-Shot Pipeline, Self-Consistency and Wisdom of Artificial Crowds 🗳️Raft Consensus

arxiv.org·14h

RawC: Pure Win32 C Client/Server Framework 🔗RDMA

magicalpc.com·5h·Hacker News, r/coding

Three distinct personalities - one system. Each player has its own strength. TRIFORM 📐Linearizability

kovalarts.com·4d·r/systems

Hybrid Constructions: The Post-Quantum Safety Blanket 🤝Paxos Consensus

soatok.blog·1d·Lobsters, Hacker News, r/crypto

A Simple Switch Makes Code Differentiable 🔄Incremental Computation

blog.sigfpe.com·1d·Blogger

RRG314/Protected-State-Correction-Theory: A theorem-driven framework for protected-state correction. Defines exact and asymptotic recovery using projection and generator operators, with explicit no-go conditions. Includes implementations and tests across QEC, control systems, and constrained PDE correction. 📐TLA+

github.com·21h·r/compsci, r/systems

Accelerate database migration to Amazon Aurora DSQL with Kiro and Amazon Bedrock AgentCore 🧊Iceberg

aws.amazon.com·2h

The Complete Guide to React Native Build Optimization ⚡Performance Engineering

themythicalengineer.com·14h·Hacker News, r/coding, r/reactjs

The Future of Everything is Lies, I Guess: Annoyances 📐TLA+

aphyr.com·3d·Hacker News

More tools for testing SQL dialects 🔍Static Analysis

NULL BITMAP by Justin Jaffray via buttondown.com·1d·Lobsters, Hacker News

Open Source Powers the Planet 🐧Linux

linux.com·22h

The AI Productivity Paradox: Why the AI Multiplier is Less Than 2x 📊Benchmarking

forrestthewoods.com·1d·Hacker News

Competitive Mathematics Platform 🧮SMT Solvers

solvefire.net·5d·r/coding

OpenSSL 4.0.0 released 📐TLA+

lwn.net·2h

Odin Programming Language Sparks Heated Debate Over Undefined Behavior Claims 🔍Static Analysis

finance.biggo.com·1d·r/coding

Bifrost: A Much Simpler Secure Two-Party Data Join Protocol for Secure Data Analytics 🔗WCOJ

vldb.org·3d

Security updates for Tuesday [LWN.net] 🐧Linux

lwn.net·5h

Ai extension vs code project-aware coding assistant [p] 🔄Incremental Computation

devmind.singhjitech.com·2d·r/coding

New Future of Work: AI is driving rapid change, uneven benefits 🔄Systems Thinking

microsoft.com·5d

Scott L. Burson: FSet v2.4.2: CHAMP Bags, and v1.0 of my FSet book! 🌳B+ Trees

scottlburson2.blogspot.com·1d

Loading more...