🔬 Refinement Types - emschwartz · Scour

Modelling Distributed Applications with Mixed-Choice Stateful Typestates 🧵Concurrency Models

arxiv.org·1d

A real-world case of property-based verification 📐TLA+

ochagavia.nl·5d·Lobsters, Hacker News, r/rust

I Ran My KYB Engine at Three Quantization Levels. Accuracy Didn't Move. Cost Dropped 6x. 🏗️LLM Infrastructure

walsenburgtech.com·12h·Hacker News

Shipping faster, thinking less? The AI code verification trap 🪄Prompt Engineering

leaddev.com·19h·Hacker News

Take Back Control of Your Screen Time – Brick LLC 📐Progressive Enhancement

getbrick.com·2d

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 💉Prompt Injection

symbolic.software·3d

Nailed It 🚩CTF Writeups

speedysnail.com·13h

Show HN: I built an open protocol for Agent-to-agent commercial negotiation 🤖Agent Payments

a2cn.io·1d·Hacker News

Microsoft’s reauthentication snafu cuts off developers globally 🔓Open Source Software

infoworld.com·4h

Madrid-based Sybol lands €1 million+ to scale corporate digital identity infrastructure 🦋Bluesky

europedigital.cloud·18h

Cryptographic Provenance for LLM Inference 🏗️LLM Infrastructure

commitllm.com·6d·Hacker News

Factual Verification for AI 🛡️AI Safety

enterprise.factagora.com·2d·Hacker News, Hacker News

yutori-ai/frontend-visualqa: Gives coding agents eyes for frontend work — visual QA and verification powered by Yutori n1. 🔧Agent Tooling

github.com·2d·Hacker News

Microsoft locks out VeraCrypt and WireGuard devs, blames verification process 🔓Hacking

theregister.com·15h

Automated Security Assertion Generation Using LLMs (U. of Florida) 💉Prompt Injection

semiengineering.com·6d

Is there a path to Gamification of Verification? 💾Persistence Strategies

olshansky.info·1d·Hacker News

sciwrite-lint: Verification Infrastructure for the Age of Science Vibe-Writing 📰Content Curation

arxiv.org·1h

Why the Smart Model Reviewer Pattern Is Backwards 🪄Prompt Engineering

cloudpresser.com·4d·Hacker News

Autism Acceptance Shirts, Tees & Neuro Affirming Apparel – The Aesthetique Philosophie 🤝Inclusive Design

theaplife.com·2d

Verification Debt Is Your Next Headache 💳AI Commerce

leadership.garden·1d

Loading more...