📋 Formal Methods - nickyfoto · Scour

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof 🕵️AI Agents

cheat sheet 🪟Context Windows

evilcookie.de·2h

How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification 🧠LLMs

dev.to·23h·DEV

Cheap code means formal verification is reasonable now ✍️Prompt Engineering

antfly.io·6d·Hacker News

Specification and Formal Verification of Hardware-Software Contracts for High-Assurance Computer Architectures 🔌Embedded Systems

csail.mit.edu·1d

A blueprint for formal verification of Apple corecrypto 🔌Embedded Systems

security.apple.com·5d·Lobsters, Hacker News, r/apple, r/crypto, r/programming

Mitochondrial l -2-hydroxyglutarate is a physiological signalling metabolite 🕸️Graph Algorithms

ninjahawk/singleton-attractor: Why one dominant intelligence is the inevitable long-run outcome in any competitive recursive-improvement environment. 🤖AI Research

github.com·4d·Hacker News

Apple shares iPhone and Mac post-quantum cryptography code on GitHub 🍎Apple

9to5mac.com·5d

writings on math, logic, philosophy and art 🔬Science

abuseofnotation.github.io·6d·Lobsters, Hacker News

Type Inhabitation in Lean: Why “Hello {name}” Can Become a Theorem 🦀Rust

dev.to·1d·DEV

MerLean-Prover: A Recursive Looping Harness for End-to-End Lean 4 Theorem Proving 🧠LLMs

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4 🤖LLM

Lean 4 101 for Python Programmers: A Gentle Introduction to Theorem Proving 📐Language Design

dev.to·5d·DEV

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification 🔧Compilers

After months of prompt iteration, I admitted some rules can't be prompt-engineered into stability. ✍️Prompt Engineering

github.com·4d·r/PromptEngineering, r/SideProject

Lean 4 for Programmers: Building a Todo List with Proof 📐Language Design

dev.to·4d·DEV

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning 🧠LLMs

Don't Wrap the LLM. Make Its Failure Modes Unreachable. 🧠LLMs

dev.to·1d·DEV

ImProver: Agent-Based Automated Proof Optimization 🤖AI Research

Log in to enable infinite scrolling