📜 Proof Languages - abnv · Scour

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification 🧩SAT Solvers

goedelcodeprover.github.io·6d·Hacker News·

Meta's new structured prompting technique makes LLMs significantly better at code review — boosting accuracy to 93% in some cases 🎭Staged Interpreters

venturebeat.com·1d·

For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry 🎯Constraint Solving

scitechdaily.com·2d·

NUS-Program-Verification/AutoRocq: Agentic Theorem Prover for Rocq for Program Verification 🎯Symbolic Execution

github.com·5d·Hacker News·

CAPTCHA that targets LLM reasoning, not human biology 🏷️Memory Tagging

cerno.sh·1d·Hacker News·

How Multi-Agent Self-Verification Actually Works (And Why It Changes Everything for Production AI) 🎭Erlang OTP

pub.towardsai.net·3d·

HIBP Mega Update: Passkeys, k-Anonymity Searches, Massive Speed Enhancements and a Bulk Domain Verification API 🛡️Parser Security

troyhunt.com·2d·

About the growing verification debt in software 🛡️Error Ergonomics

clifford.ressel.fyi·6d·Hacker News·

Physicists test quantum claims and expand state verification 📡Binary Protocols

kite.kagi.com·4d·

Frame Transactions Through a Statelessness Lens 🎯Ring Buffers

ethresear.ch·3d·

HTB: Principal 🌐Network Protocols

0xdf.gitlab.io·3d·

Securing the Quantum Channel: How BB84, QBER, and Timing-Based Authentication Protect Quantum… 🔗Hash Functions

bnhany.medium.com·6d·

evointel-whitepaper/open-letter-to-anthropic.md at main · evo-hydra/evointel-whitepaper 🎭Program Synthesis

github.com·2d·Hacker News·

Code generation that just works 🎭Program Synthesis

maryrosecook.substack.com·5d·Substack·

From Static Findings to Working Exploits: Runtime Validation of 6 High-Profile MCP Servers 🛡️Parser Security

agentseal.org·3d·Hacker News, r/netsec·

🎲 Email Verification Protocol 📦Message Serialization

code.sgo.to·5d·

Take Back Control of Your Screen Time – Brick LLC 💬Error Message Design

getbrick.com·6d·

Ethical Technology, Made from Sustainable Materials 💬REPL Design

gonimble.com·6d·

Bypassing Email Verification in Node.js with a Simple Logic Flaw ⚙️Configuration Parsing

medium.com·6d·

OE-GOD/world-zk-compute: Cryptographic proof that AI models produce correct outputs. Verify ML inference with zero-knowledge proofs. REST API, Python/Rust/TS/Go SDKs, on-chain verification. ✅Type Checking

github.com·3d·Hacker News·

Loading more...