Menu

#Correctness

4 posts

Feed·
4 of 4 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
When Correct Systems Produce the Wrong Outcomes
🖼️
0

When Correct Systems Produce the Wrong Outcomes

O’Reilly Media·Varun Raj·5 months ago
#Vqp9Trwm

We tend to assume that if every part of a system behaves correctly, the system itself will behave correctly. That assumption is deeply embedded in how we design, test, and operate software.…

15s
Read More