📐 Formal Methods - bdillo · Scour

The open standard for agent readiness 🌐Distributed Systems

agentready.org·1d·Hacker News

Functional Programming in Lean - Functional Programming in Lean 📝Programming Languages

leanprover.github.io·5d·Hacker News

Official page for Language Server Protocol 🤝ACME Protocol

microsoft.github.io·1d

Specification-Driven Development framework for agent-native development ⚙️Systems Programming

specdd.ai·4d·Hacker News

Prompt Engineering Is Built to Make Itself Unnecessary ⚙️Systems Programming

siliconopera.com·2d·r/vibecoding

Topology-Driven Symbolic Verification of Post-Quantum Migration Paths Using Tamarin Prover 🌐Distributed Systems

eprint.iacr.org·6d

yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification ⚙️Systems Programming

How we turned Storybook into a behavioral verification engine ⚙️Systems Programming

developers.redhat.com·4d

Groth16, Intuitively 🌐Distributed Systems

blog.zksecurity.xyz·1d·Lobsters, Hacker News, r/crypto

test (3) Linux Manual Page 🗄️DB Internals

systutorials.com·2d

AI in Design Verification: Where It Works and Where It Doesn’t 🤖AI

eetimes.com·4d

Content Verification Platform 🔏PKI

proofididit.com·3d

Three New Research Projects for Better Verification and More Transparency 📡Security Telemetry

innovation.dw.com·6d

SecGoal: A Benchmark for Security Goal Extraction and Formalization from Protocol Documents 🤝ACME Protocol

DY* Unchained: Now with Composable Security Proofs and Precise Compromise Scenarios 🤝ACME Protocol

eprint.iacr.org·5d·Hacker News

More hexagon acl2 first-order-logic/embeddable common lisp+McCLIM graphics 📝Programming Languages

lispy-gopher-show.itch.io·6d

Introducing AMS: Activation-based model scanner for open-weight LLM safety verification ⚙️Systems Programming

opensource.googleblog.com·5d·Blogger

Fixing What LLMs Get Wrong (22 minute read) 🤖AI

thebigdataguy.substack.com·6d·Substack

twpolicy (4) Linux Manual Page 📡Security Telemetry

systutorials.com·1d

Built a domain-specific claude skill for writing authorization policies. what worked and what didn't. 🔏PKI

cerbos.dev·6d·r/ClaudeAI

Log in to enable infinite scrolling