✅ TLA+ - gruggiero · Scour

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink 📐Formal Methods

arxiv.org·3d

metareflection/guardians: an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026) 🤖LLM Agents

github.com·1d·Hacker News

The AI Problem Matrix 💻AI Coding

tomtunguz.com·1d

Formal Modeling and Analysis of Distributed Systems from AWS 📐Formal Methods

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

Improving DoltLite 🔴Scala

dolthub.com·1d

Adding Correctness Conditions to Code Changes 📐Formal Methods

jessitron.com·3d

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code 📐Formal Methods

eprint.iacr.org·3d

I Built a CLI That Measures AI Agent Judgment Tilt Through Blind Debates 📏Model Evaluation

pub.towardsai.net·5d

AVGen-Bench: A Task-Driven Benchmark for Multi-Granular Evaluation of Text-to-Audio-Video Generation 📏Model Evaluation

arxiv.org·8h

mm0/mm0-rs/mmc.md at master 🧮Algebraic Data Types

github.com·7h·Hacker News

Eventual Consistency vs Strong Consistency: When to Choose 🔀CRDTs

krun.pro·4d·DEV

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

kirancodes.me·3d·Lobsters, Hacker News

Syntax highlighting is a waste of an information channel 📐Design Systems

buttondown.com·5d·r/coding, r/webdev

📊 Visualizing Data Consistency in Distributed Systems with a Dashboard 🔀CRDTs

nuget.org·4d·DEV

Fine-grained Approaches for Confidence Calibration of LLMs in Automated Code Revision 💻AI Coding

arxiv.org·1d

The Hard Problems Nobody Has Solved 💻AI Coding

nibzard.com·3d

yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification 📐Formal Methods

github.com·1d

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer 📐Formal Methods

arxiv.org·8h

Release v1.2.0 — Bug Fixes: Stability & Cleanup · iwtxokhtd83/node-loop-detective 🔀CRDTs

github.com·2d·DEV

Batch Verification of Modified ECDSA Signatures 📐Formal Methods

eprint.iacr.org·4d

Loading more...