Skip to content

/

ZeroHour

ZeroHour aggregates public sources — security and AI press, vendor advisories, NVD, CISA KEV, FIRST EPSS, leak-site trackers and Have I Been Pwned — and classifies them with AI. Summaries can be wrong: read the original. All times are UTC.

News CVEs Incidents Tags Daily brief Traffic Sources RSS & API Kiosk Health Sitemap

Home
News feed
Exploited now

Security

CVEs
Ransomware & breaches
Threat actors & entities
IOCs

AI

AI & models

Explore

Tags
Daily brief
Analytics
Traffic & readers
Ask the feed
Sources

You

Watchlist
Saved
RSS, API & alerts

09:41 UTC· 13m ago

#proof-checking — news, CVEs and analysis · ZeroHour

today 56 visits · 73 views · 11 reads·all time 17K views

Tag

#proof-checking

0 stories this week · 1 this month · 1 in 6 months · mostly AI

stories per day · 30 days

Related#ai-agents 1 #bend 1 #cuda 1 #dependent-types 1 #gpu-parallelism 1 #programming-language 1 #vibe-coding 1

1 stories, newest first · one card per story

Hacker News · AI·9d ago

Bend – A language that blocks AI mistakes via proof and runs on GPUs

#ai-agents #bend #cuda

AI tools & infra

3 min