Menu

#Verifier

13 posts

Feed·
13 of 13 posts
A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family
🖼️
0

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family

Hacker News·Hacker News·about 1 month ago
#hvNHnLCy

Systems that generate GPU kernels with language models report high correctness rates. Those rates come from a single loose test: run the kernel on a few random inputs at one fixed shape and accept it if the output is close to a reference.…

15s
Read More
Your AI agent reads setup guides you can't fully see
🖼️
0

Your AI agent reads setup guides you can't fully see

DEV Community: security·snapsynapse·4 months ago
#2ky6P46k

AI agents follow setup guides through HTML, PDFs, and terminal output — surfaces that can hide instructions from you but not from the model. GuideCheck is an open standard that makes the whole instruction surface reviewable before the agent acts.

15s
Read More
JWT verification in production: an 8-check field guide
🖼️
0

JWT verification in production: an 8-check field guide

DEV Community·Blue Hills·5 months ago
#maSWw6eI
#jwt#oidc#security#deved#token#issuer

The eight checks every production JWT verifier must do, what each one prevents, and structured error codes for each failure mode. A reference doc for backend and identity teams.

15s
Read More
SLSA Provenance Hands-on: Generate with GitHub Actions, Verify with slsa-verifier
🖼️
0

SLSA Provenance Hands-on: Generate with GitHub Actions, Verify with slsa-verifier

DEV Community·kt·5 months ago
#Yi4O8yAJ

After SBOM and Cosign comes Provenance. Issue SLSA Build L3 provenance with slsa-github-generator and verify it with slsa-verifier, end to end on real machines.

15s
Read More