🔬 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

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

certificates.dev·19h

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

semiengineering.com·2d

Antithesis BugBash Conference 2026 🎮Deterministic Simulation

emptysqua.re·5d

Complex PCB signoff challenges 🔬Chip Fabrication

semiwiki.com·2d

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

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

Distro Compliance Tracker 📦Binary Packaging

agelesslinux.org·6d

Introducing AMS: Activation-based model scanner for open-weight LLM safety verification 💉Prompt Injection

opensource.googleblog.com·3d·Blogger

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

Assuring Comprehensive Security Coverage In Hardware Design 🔐Hardware Security

semiengineering.com·1d

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

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

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

Verification and Validation (V&V)-in-the-Loop for RISC-V Design: The Holistic Vision of BZL 🖥️Hardware Architecture

Collaborative Agent Reasoning Engineering (CARE): A Three-Party Design Methodology for Systematically Engineering AI Agents with Subject Matter Experts, Developers, and Helper Agents 💻Coding Agents

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

Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor 🏆LLM Benchmarking

Log in to enable infinite scrolling