✅ Formal Verification - hop1.ng.1357 · Scour

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair 🧠Agent Memory

Programmable Phones 🔌Embedded Systems

tailrecursion.com·5d·Hacker News

How we used Quint to find over 10 bugs in SQLite while hardening Turso 🎮Deterministic Simulation

turso.tech·1d·Lobsters, Hacker News

AWS found bugs in 60% of software requirements. Its fix isn’t more AI — it’s a 50-year-old logic engine. 🎮Deterministic Simulation

thenewstack.io·5d·Hacker News

"AGI" via ML was *not* proven impossible with complexity theory 💭Reasoning Models

mikeguerzhoy.substack.com·2d·Substack

Mathlib Initiative: Roadmap 🧠Obsidian

mathlib-initiative.org·5d·Hacker News

Ethical Hyper-Velocity (EHV): A Provably Deterministic Governance-Aware JIT Compiler Architecture for Agentic Systems 🕹️Agentic AI

arxiv.org·2d·Hacker News

An introduction to TLA+ and its use in parties (2023) 🔁Finite Automata

innoq.com·4d·Hacker News

Hitchhiker's Guide to Logical Verification (2023 Edition) 🔁Finite Automata

lean-forward.github.io·5d·Hacker News

EPIC: Abstraction and Polymorphism of In-Network Collectives on Ethernet 📡Low-Level Networking

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications 🎮Deterministic Simulation

proofsandintuitions.net·3d·Lobsters, Hacker News

Assumptions weaken properties 🔁Finite Automata

Computer Things via buttondown.com·13h

Automating proof search when equality is a logical connective 🔁Finite Automata

Skills for Testing Distributed Systems 🎮Deterministic Simulation

github.com·2d·Hacker News, Hacker News

LeanBET: Formally-verified surface area calculations in Lean ⚙️MLOps

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation 🔁Finite Automata

janitor-security/the-janitor: A deterministic, zero-copy structural firewall. Mathematically neutralize Agentic Swarms, supply-chain injections, and architectural necrosis. 💉Prompt Injection

github.com·2d·Hacker News

End-to-End Formalization of Quantum Error Correction 🔐Cryptography

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning 🛡️AI Security

Monitoring Data-aware Temporal Properties (Extended Version) ⚙️MLOps

Log in to enable infinite scrolling