AlphaProof Code - Hackdot

Hackdot

News for hackers. Stuff that matters.

Sections

Top
Latest
Ask HN
Show HN
Jobs
Polls
Older Stuff
Search

About

Every story and comment from the Hacker News API, in a layout borrowed from 2001.

A comment on AlphaProof Code. Parent comment

Re:AlphaProof Code by simon-ami on Tuesday November 10, 2026 @07:40AM (#50439509)

so, millions? billions?

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Anybody using their own AI harness as well?
Is lack of human imagination now the bottleneck instead of intelligence?
"No AI" apps/companies/resources?
Why didn't The Bible warn/tell us about AI?
How do you share an open-source project without being treated as spam?
Would OpenCode become more powerful if 90% of it were written in Rust?

Show HN

Card game, every hand solvable
Tensward – Local AI inference optimisation
BackTrail, keep each tab's Back history across browser restarts
Hackernewstime – Hacker News stories, evolving over time, ranked
Here's My AI – Find the AI tools worth your time
LLM Crisis Triage Audit – Deterministic state-space governance

Jobs

Tinfoil (YC P25) is hiring an applied AI security engineer in San Francisco
Y/N (YC S23) Is Hiring a Growth Lead to Distribute Superhuman A.I. Storytelling
UpCodes (YC S17) is hiring SDR's to sell AI compliance software
Mbodi AI (YC P25) Is Hiring Research and Robotic Engineers

Stories and comments come from the Hacker News API and belong to their authors. Not affiliated with Y Combinator or Slashdot.