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.

Re:AlphaProof Code by nimitbhardwaj on Tuesday November 10, 2026 @10:13AM (#50441546)

Nice

[ 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

LLM Crisis Triage Audit – Deterministic state-space governance
Hubzoid – Turns a folder of Markdown into an agent your team can use
Whisperstream – Free, open-source local dictation for Windows
AI Purgatory – how long until AI-exposed workers are back on track
Blame – a Mac menu-bar app that names what's eating your memory
Godbolt-in-a-floating-window for Neovim (C, C++, Rust)

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.