🔬 Refinement Types - emschwartz · Scour

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays 📏Linear Types

From Convergence to Confidence: Push-Button Verification for RDTs 📐TLA+

kcsrk.info·2d·Hacker News, Hacker News

Show HN-style: Blue Arrow – modular orchestration system with state-driven execution, local LLaMA integration and post-execution verification 🔧Agent Tooling

github.com·6h·r/node

Getting Started With Provide/Inject In Vue.js 🧩Web Components

certificates.dev·20h

How we turned Storybook into a behavioral verification engine ⏳Durable Execution

developers.redhat.com·2d

Topology-Driven Symbolic Verification of Post-Quantum Migration Paths Using Tamarin Prover 📐TLA+

eprint.iacr.org·4d

Getting Up to Speed on Multi-Agent Systems, Part 6: Verification Patterns 📐TLA+

christophermeiklejohn.com·1d

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 📐TLA+

semiengineering.com·2d

Break This: A Minimal, System-Independent Verification Primitive 📐TLA+

ethresear.ch·3d

Antithesis BugBash Conference 2026 🎮Deterministic Simulation

emptysqua.re·5d

Three New Research Projects for Better Verification and More Transparency 📰Content Curation

innovation.dw.com·3d

ScaleBox: Enabling High-Fidelity and Scalable Code Verification for Large Language Models 📐TLA+

Anthropic Tool Access, EU App Bypasses, and Active Zero-Days 🔓Hacking

bishopfox.com·6d

rsoury/drive-agent-scope-in-ci: CI wiring for PR description-driven agent spec/scope verification. 🔧Agent Tooling

github.com·6d·Hacker News

HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs 🧮SMT Solvers

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic 📐TLA+

Practical Post-Quantum Secure Publicly Verifiable Secret Sharing and Applications 🔐Cryptography

eprint.iacr.org·6d

The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive 🏗️LLM Infrastructure

SafeTune: Mitigating Data Poisoning in LLM Fine-Tuning for RTL Code Generation 🕳LLM Vulnerabilities

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification 📐TLA+

Log in to enable infinite scrolling