📐 TLA+ - balayhashi · Scour

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink ✅Correctness

arxiv.org·5d

icme-preflight-mcp – Check that your AI is being logical. Free tool that mathematically catches contradictions in agent reasoning. No account needed. Also offer... ✅Correctness

glama.ai·1d·r/mcp

fakecloud – Free, open-source AWS emulator (LocalStack alternative) 🤝Consensus Protocols

github.com·19h·Lobsters

State Management in Distributed Systems (The Rust Playbook) 🦀Rust programming language

medium.com

·2d

Formal Modeling and Analysis of Distributed Systems from AWS ✅Correctness

p-org.github.io·5d·Hacker News

Best Practices to Improve Security in .NET Core Applications 💳Transactions

medium.com·1d

Adding Correctness Conditions to Code Changes ✅Correctness

jessitron.com·5d

Less Net Work for Networks 📡Low-Level Networking

n0.computer·1d·Hacker News

Java Time API: Converting Between Date and Instant 🕐Clocks

javacodegeeks.com·1d

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code ✅Correctness

eprint.iacr.org·5d

New comment by rahulroy in "Ask HN: Who wants to be hired? (April 2026)" 🗳️Paxos

bit.ly·2d·Hacker News

Multi-agentic Software Development is a Distributed Systems Problem (AGI can't save you from it) 🔄Eventual Consistency

kirancodes.me·5d·Lobsters, Hacker News

The AI Problem Matrix 📊Columnar Execution

tomtunguz.com·3d

Confronting Both Zionism and the Antisemitism It Welcomes 📑OSDI

counterpunch.org·2d

The Hard Problems Nobody Has Solved 📄SOSP

nibzard.com·4d·Hacker News

Distributed Systems Architecture in Java: A Complete Hands-On Reference 🤝Distributed Consensus

medium.com

·6d

Eventual Consistency vs Strong Consistency: When to Choose 🔄Eventual Consistency

krun.pro·6d·DEV

Adam Bien: Formal Methods, Functional Programming, and Securing the Java Ecosystem--airhacks.fm podcast 🔓Lock-Free

adambien.blog·5d

Bulletproof Microservices: Mastering Atomicity, Idempotency, and Ordering 🔒Transaction Isolation

medium.com·4d

mm0/mm0-rs/mmc.md at master ✅Correctness

github.com·2d·Hacker News

Loading more...