📐 Formal Methods - c13e · Scour

Automated Conjecture Resolution with Formal Verification λFunctional Programming

arxiv.org·3d

Separator-Based Participation Commitments for Post-Quantum Attestation Aggregation 📡Erlang

ethresear.ch·1d

yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification 🔵Lisp

github.com·17h

Shipping faster, thinking less? The AI code verification trap 🤖AI Engineering

leaddev.com·19h·Hacker News

VEIL: Lightweight Zero-Knowledge for Hash-Based Multilinear Proof Systems λFunctional Programming

eprint.iacr.org·2d

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 📡Erlang

symbolic.software·3d

Understanding Agents: Code Coverage for Coding Agents 🤖AI Engineering

blog.asymmetric.re·14h·Hacker News

Designing from Invariants 🧠Local AI

looppass.mindmeld360.com·1d·DEV

Building Malleable Systems, not Future-Proof Ones: Design for Change λFunctional Programming

dl.acm.org·21h

AI models could offer mathematicians a common language 🧠Local AI

economist.com

·1d

A real-world case of property-based verification 📡Erlang

ochagavia.nl·5d·Lobsters, Hacker News, r/rust

Turning prompts into five scalable workflows with Figma Weave 💧Elixir

figma.com·17h

Adam Bien: Formal Methods, Functional Programming, and Securing the Java Ecosystem--airhacks.fm podcast λFunctional Programming

adambien.blog·2d

AI Agent Orchestration: The New Design Skill 🤖AI Engineering

abduzeedo.com·15h

Cryptographic Provenance for LLM Inference 🐫OCaml

commitllm.com·6d·Hacker News

A deterministic workflow compiler –> turns LLM intent into forms, docs, and APIs 🤖AI Engineering

web.geniesnap.com·1d·Hacker News

I Ran My KYB Engine at Three Quantization Levels. Accuracy Didn't Move. Cost Dropped 6x. 🧠Local AI

walsenburgtech.com·12h·Hacker News

Factual Verification for AI 🧠Local AI

enterprise.factagora.com·2d·Hacker News, Hacker News

Automated Security Assertion Generation Using LLMs (U. of Florida) ⚙️Compiler Design

semiengineering.com·6d

Computes Only What Matters λFunctional Programming

ta.fo·23h

Loading more...