📋 Formal Methods - ndjenks · Scour

Three New Research Projects for Better Verification and More Transparency 🪝eBPF

innovation.dw.com·3d

The Policy Picks the Policy 🌐Distributed Systems

noise2signal.bearblog.dev·1d

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields 🌐Distributed Systems

Built a domain-specific claude skill for writing authorization policies. what worked and what didn't. 📚Documentation Tooling

cerbos.dev·3d·r/ClaudeAI

The Data Layer Problem in Agentic AI — Why Your Agent Knows Everything Except What It Needs 🏗️AI Infrastructure

docs.apitier.com·2d·DEV

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. 🖥️Bytecode VMs

github.com·23h·Hacker News

Fixing What LLMs Get Wrong (22 minute read) 🏗️AI Infrastructure

thebigdataguy.substack.com·3d·Substack

Specification-Driven Development framework for agent-native development 🏛️Software Architecture

specdd.ai·1d·Hacker News

Logic Mutations: The Bugs Your Tests Are Secretly Ignoring 🎲Property Testing

sdetcode.com·6d·DEV

Automaton-based Characterisations of First Order Logic over Infinite Trees 🌳Parsing

Intent-Driven Development 🫀Microkernels

russellromney.com·6d·Hacker News

Presentation: Building a Future-Proof Observability Platform to Empower Engineers 🪝eBPF

·3d

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent 🏗️AI Infrastructure

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon ⚙️ISA Design

eprint.iacr.org·6d

Part 3: Wiring It Into AWS DevOps Agent — AgentSpace, register-service, and the IAM Trust Policy That Ate My Afternoon 🦀Rust

·43m·DEV

Evergreen: Efficient Claim Verification for Semantic Aggregates 🏗️AI Infrastructure

Sum-Check as an Algebraic Tensor Reduction: Part 1 🌐Distributed Systems

blog.zksecurity.xyz·3d·Hacker News

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing 🎲Property Testing

TalentProof/workproof-schema: An open specification for verified professional knowledge graphs 🪝eBPF

github.com·15h·Hacker News

Templates in Rewriting Induction 🌳Parsing

Log in to enable infinite scrolling