✅ Formal Verification - meib · Scour

The fall of the theorem economy (David Bessis) 🔢Type Theory

lesswrong.com·1d

Specification-Driven Development framework for agent-native development 🎮Game Engines

specdd.ai·1d·Hacker News

Cedar Language 🔢Type Theory

cedarpolicy.com·3d

[Pre-RFC] DNS domains as package namespaces 🪝eBPF

internals.rust-lang.org·5d·r/rust

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification 🔍Static Analysis

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

·3d

Delegated Execution Sharding (DES): A hyper-parallelized zkEVM for theoretically optimal execution-layer scalability 📐SIMD

ethresear.ch·6d

theswiftway/nool-cli: A DAG based VCS, superset of git for AI agentic world to power the speed of thought without compromising on safety and reliability. 🎮Game Engines

github.com·14h·Hacker News

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields 📊Algorithms

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

github.com·23h·Hacker News

Towards System-Oriented Formal Verification of Local-First Access Control ⚡Concurrency

Substrate-Sensitivity 🪝eBPF

lesswrong.com·5d

Automaton-based Characterisations of First Order Logic over Infinite Trees ⚙️Compilers

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. 🔢Type Theory

github.com·1d·Hacker News

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing 🔍Static Analysis

Proof Identity and Categorical Models of BV 🔢Type Theory

Templates in Rewriting Induction 🔢Type Theory

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers ⚙️Compilers

Full Definability in a Profunctorial Model 🔢Type Theory

From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation ⚙️Compilers

Log in to enable infinite scrolling