Skip to main content

ScourDiscover Docs

You are offline. Trying to reconnect...

Copied to clipboard

Unable to share or copy to clipboard

Back to article

peterlavigne.com14w14 weeks ago

Toward automated verification of unreviewed AI-generated code (opens in new tab)

Discussed on Hacker News

|

|

Feeds

Hacker News: Pool hnrss.org

Show HN: Local personal data redaction for any AI tools6d6 days ago

indexed and searchable color history1w1 week ago

The hacker sent by Anthropic to calm the government's nerves about AI safety1w1 week ago

+179 more in the past month

Pinboard (network items for whip_lash) feeds.pinboard.in

Migrating from Go to Rust2m2 minutes ago

The Pulse: Forward deployed engineering heats up again35m35 minutes ago

The British government wants to force more trustworthy news into your doomscrolling1h1 hour ago

+65 more in the past day

Keyboard Shortcuts

Navigation

Next / previous post: j/k
Open post: oorEnter
Preview post: v

Post Actions

Love post: a
Like post: l
Dislike post: d
Undo reaction: u
Save / unsave: s

Recommendations

Add interest / feed: Enter
Not interested: x

Go to

Home: gh
Interests: gi
Feeds: gf
Likes: gl
History: gy
Changelog: gc
Settings: gs
Discover: gb
Search: /

Pagination

Next page: n
Previous page: p

General

Show this help: ?
Submit feedback: !
Close modal / unfocus: Esc

Press ? anytime to show this help

Discover About Docs Blog (opens in new tab)Changelog Roadmap (opens in new tab)