Coq, Theorem Proving, Software Correctness, Safety-Critical Systems
Program verification is not all-or-nothing
lawrencecpaulson.github.io·6d
Rethinking Monitoring for AI-Based Technical Support Systems
hackernoon.com·14h
💥 Tech Talks Weekly #74: ArchUnit, Node.js Event Loop, Rust + Serverless, Monorepo at Meta, ... | See talk summaries 👇
techtalksweekly.io·10h
Another impressive paper by Meta.
threadreaderapp.com·1d
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·2d
Prompt Fundamentals
cline.ghost.io·8h
Contradictions
arxiv.org·1d
From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
arxiv.org·1d
Loading...Loading more...