Formal Verification Gates for AI Coding Loops (reubenbrooks.dev) | HN Screenshots

YHacker Newsscreenshots

Screenshot of reubenbrooks.dev: Formal Verification Gates for AI Coding Loops

First screen, captured 5 months ago.

Looks similar

Screenshot of andreapivetta.com: All the bugs they found

All the bugs they found (andreapivetta.com)

73 points by ziggy42 5 months ago | 27 comments

Screenshot of kadekillary.work: Snorting the AGI with Claude Code

Snorting the AGI with Claude Code (kadekillary.work)

290 points by beigebrucewayne 1 year ago | 183 comments

Screenshot of trickster.dev: Abusing Ahrefs backlink checker

Abusing Ahrefs backlink checker (trickster.dev)

45 points by rl1987 3 years ago | 16 comments

Screenshot of sazak.io: Tracing Goroutines in Realtime with eBPF

Tracing Goroutines in Realtime with eBPF (sazak.io)

66 points by darccio 6 months ago | 7 comments

Screenshot of nesbitt.io: Protestware for Coding Agents

Protestware for Coding Agents (nesbitt.io)

23 points by SVI 5 months ago | 15 comments

Screenshot of spader.zone: Codex silently begs agents to make arbitrary web requests

Codex silently begs agents to make arbitrary web requests (spader.zone)

9 points by dboon 1 month ago | 1 comments