✅ Formal Methods - Abhi · Scour

Antithesis BugBash Conference 2026 🤝Paxos Consensus

emptysqua.re·5d

Secure AI and Agent Coding Policy 📐TLA+

galdren.com·1d·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 📐TLA+

github.com·15h·Hacker News

Built a domain-specific claude skill for writing authorization policies. what worked and what didn't. 📐TLA+

cerbos.dev·3d·r/ClaudeAI

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) 📐TLA+

Mistral AI launches Workflows, a Temporal-powered orchestration engine already running millions of daily executions 📐TLA+

venturebeat.com·2d

Three New Research Projects for Better Verification and More Transparency 📐TLA+

innovation.dw.com·3d

Logic Mutations: The Bugs Your Tests Are Secretly Ignoring 📐TLA+

sdetcode.com·6d·DEV

Specification-Driven Development framework for agent-native development 📐TLA+

specdd.ai·1d·Hacker News

Introducing AMS: Activation-based model scanner for open-weight LLM safety verification 📐TLA+

opensource.googleblog.com·3d·Blogger

Fixing What LLMs Get Wrong (22 minute read) 📐TLA+

thebigdataguy.substack.com·4d·Substack

The Authenticity Mandate | Human-Centered Change and Innovation 📐TLA+

bradenkelley.com·6d

Sum-Check as an Algebraic Tensor Reduction: Part 1 🗂️Vector Indexes

blog.zksecurity.xyz·3d·Hacker News

yvgude/lean-ctx: The context layer for AI coding agents Reduce token waste in Cursor, Claude Code, Copilot, Windsurf, Codex, Gemini & more by 60–95% (up to 99% on cached reads) Shell Hook + MCP Server · 49 tools · 10 read modes · 90+ patterns · Single Rust binary 🔧Compilers

github.com·10h

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification 📐TLA+

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon 📐TLA+

eprint.iacr.org·6d

Intent-Driven Development 📐TLA+

russellromney.com·6d·Hacker News

More hexagon acl2 first-order-logic/embeddable common lisp+McCLIM graphics 📐TLA+

lispy-gopher-show.itch.io·3d

Automaton-based Characterisations of First Order Logic over Infinite Trees 📐TLA+

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. 📐TLA+

github.com·1d·Hacker News

Log in to enable infinite scrolling