🧪 Jepsen Testing - hello · Scour

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·1d

Getting from tested to battle-tested

blog.janestreet.com·1d

CAP Theorem Explained: Beyond the "Pick Two" Myth

blog.ahmazin.dev·3h·

Discuss: Hacker News

🔺CAP Theorem

Enabling autonomous agents with environment virtualization

thenewstack.io·11h

datahaven-xyz/datahaven: An EVM compatible Substrate chain, powered by StorageHub and secured by EigenLayer

github.com·7h

🎚️Tiered Storage

EC2, ECS, EKS, and Lambda: How I Finally Made Sense of Them

dev.to·13h·

Discuss: DEV

☸️Kubernetes

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

Experiments on Reward Hacking Monitorability in Language Models

lesswrong.com·4h

🔓Binary Exploitation

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

How to Maintain Test Automation as Systems Scale?

keploy.io·1d·

Discuss: DEV

A distributed systems reliability glossary

antithesis.com·3d

🔺CAP Theorem

Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection

binarly.io·1d

📊Criterion.rs

Presentation: No QA Environment? No Problem: How Classpass Enables Testing on a Single Environment in ECS

infoq.com

·2d

Troubleshooting with fault tree analysis and PIOSEE

developers.redhat.com·1d

🔍Tokio Tracing

Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors

towardsdatascience.com·20h

Show HN: BackBuild – A framework for sequencing complex software delivery

arcaned.co·22h·

Discuss: Hacker News

🏗️Cranelift

Designing an Authentication System: A Dialogue in Four Scenes (1997)

web.mit.edu·2h·

Discuss: Hacker News

🔐Capability Systems

Vibe coding is a moving target (so don’t marry the tool)

nothingeasyaboutthis.com·7h

💬Prompt Engineering

Introducing Agent Readiness

factory.ai·2h

🏗️Terraform

Logs Are Not Enough

hashrocket.substack.com·17h·

Discuss: r/programming

📝Tracing Subscriber

Loading more...