📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

Feeds to Scour
SubscribedAll
Scoured 255282 posts in 4.69 s
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮SMT Solvers
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·8h
🔒S2N-QUIC
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·13h
🏗️MLIR
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·14h
🌀Naiad
Preview
Report Post
Implementing Adaptive Backpressure in Rust with FlowGuard
dev.to·8h·
Discuss: DEV
🦀Rust Async
Preview
Report Post
A Farmer Doesn’t Know Coding, But Tries to Build an Executing Engine with LLMs and a Code Interpreter
reddit.com·12h·
Discuss: r/LocalLLaMA
🦀Rust Macros
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏗️Pavex
Preview
Report Post
Thread by @theresanaiforit on Thread Reader App
threadreaderapp.com·1h
🦙Ollama
Preview
Report Post
Microservices work perfectly fine while you’re just returning simple JSON. But the moment you start real-time token streaming from multiple AI agents simultaneously — distributed architecture turns…
linkedin.com·22h·
Discuss: r/programming
🎯Microservices
Preview
Report Post
Any useful resources for improving the quality of the vscode projects?
addyo.substack.com·7h·
Discuss: r/vscode
💬Prompt Engineering
Preview
Report Post
Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++
isocpp.org·1d
🔄Concurrency
Preview
Report Post
Hj Hornbeck
freethoughtblogs.com·16h
🌊CALM Theorem
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·3d
🤝Paxos
Preview
Report Post
Postgres client in Standard ML
bsky.app·9h·
Discuss: Bluesky
🐘PostgreSQL Internals
Preview
Report Post
The 3 a.m. Call That Changed The Way I Design APIs
thenewstack.io·6h
💓PHI Accrual
Preview
Report Post
If you can't explain AI with Physics, you're just guessing (The Durante Protocol v4.1.0)
dev.to·3h·
Discuss: DEV
🛡️AI Security
Preview
Report Post
Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski
play.google.com·2d·
Discuss: r/cpp
🔨Incremental Compilation
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·6h
⏭️Skip Lists
Preview
Report Post
Introducing the XLab AI Security Guide
lesswrong.com·7h
🛡️AI Security
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·2h·
Discuss: Hacker News
🏷️Memory Tagging
Preview
Report Post