🔬 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·17h

Content Verification Platform 📐Progressive Enhancement

proofididit.com·17h

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

Verifying Humans Without Surrendering Identity: A Case Against Government-Issued Online Verification 🔐Cryptography

blog.trintler.me·1d·Hacker News

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

bishopfox.com·6d

Pie Thieves 💳Content Monetization

endnotes.net·2d·Hacker News

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

github.com·5d·Hacker News

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

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

💌 Newsletter #007 - Of Age-Gating, Belonging, and AI Being Blazing Fast 🚀 (at Enshittifying) 🪄Prompt Engineering

technically-good.ca·4d

Show HN: Quantum Temporal Cryptography – spec for interplanetary trust chains 🔐Cryptography

zenodo.org·5d·Hacker News

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

Assuring Comprehensive Security Coverage In Hardware Design 🔐Hardware Security

semiengineering.com·1d

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) ⏱️Runtime Performance Analysis

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

Log in to enable infinite scrolling