AlphaProof Code
142 comments
- Points26
- Comments5
#7Rank now –
#7Peak rank
1Days on list
114Score · 7d
Nov 10, 2026First seen
Rank · 7 days
On Hacker News
- Points
- 26
- Comments
- 5
- Submitted by
- ilreb
- Posted
- Nov 10, 2026
- Site
- deepmind.google
Story details from Hacker News ↗ · linked article on deepmind.google.
Trending history
AlphaProof Code was first seen on Hacker News · Front page on Nov 10, 2026. Since then it has appeared in 21 checks on 1 different day. Its best position was #7 of 30, reached on Nov 10, 15:09 UTC. It is #7 right now, holding steady at #7 over the last 6 checks.
Rank history
Position on Hacker News · Front page at every check (lower is better).
Last 14 days
Best rank per day (UTC).
7
Oct 28today
Metric history
points as reported by Hacker News.
From the discussion
A few top-level comments from Hacker News, shortened. Read the full thread on Hacker News.
It’s nothing short of amazing that a huge codebase like Signal’s is apparently not only secure in a practical sense, but secure even in a strict formal sense. The people who wrote the Signal code must be engineers of the highest caliber.
I'm not at all versed in this "formal proofing" thing, but without diving all that much into it how does this handle the halting problem (and the related problems that in the end all point to said halting problem)?
They thank Sundar Pichai. I guess it makes sense but at the same time...
Featured in
Archived daily, weekly and monthly lists that include this entry.
Hacker News 1 day, best #7
Questions
Is AlphaProof Code trending on Hacker News right now?
Yes. As of Nov 10, 17:24 UTC it is #7, holding steady at #7 over the last 6 checks.
What is the highest rank AlphaProof Code reached?
#7 on Hacker News · Front page, on Nov 10, 15:09 UTC. Trendoday checks this list every 15 minutes.
How long has AlphaProof Code been trending?
It was first seen on Nov 10, 2026 and has been on the list on 1 day (21 checks) since.
How much discussion did it get on Hacker News?
26 points and 5 comments; submitted by ilreb on Nov 10, 2026.