Home
Feed

Extend

Hashnode Pro
Hashnode for Agents

Resources

The foreword
Hashnode gql skill

Buildful - AI coding agent that delivers frontier-level results at a fraction of the cost Bug0 - The AI-native e2e QA regression testing Hackathons Changelog Brand @hashnode on X Hashnode on LinkedIn Support - hello+support@hashnode.com Code of Conduct Terms Privacy Sitemap

Sign in

Search Hashnode

Search posts, tags, users, and pages

Discussion

Ishan Nerlekar

sub(standard)stack

12h ago

The grader said yes: auditing Terminal-Bench 2.0 with near-miss solutions

Nov 7, 2026 · Ishan Nerlekar A proof that proves nothing One Terminal-Bench 2.0 task asks the agent to finish a Coq proof that addition is commutative. I handed its grader a file that declares n + m =

thegradersaidyes.hashnode.dev9 min read

#systems-engineering #systems-programming #kernel #github #terminal-bench #harbor #benchmark #ai

Responses

Markdown supported · ⌘↵ to post

No responses yet.