Renaming Coq - 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 Renaming Coq. Parent comment

Re:Renaming Coq by oceanghost on Thursday April 08, 2021 @11:35AM (#26740102)

It looks like a plumbus.

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

What do coding interviews look like in the age of AI?
ChatGPT broken, is it just me?
What are you reading? (November 2026)
Why Didn't anyone design Infinite scroll for HN?
What do you include in your Claude/Codex instructions?
Tips for maintainability of large software projects using agents?

Show HN

Noncontinuation ("") reproducible in frontier LLMs and EOS logit gate
Remindly a notes app with reminders built in (Mac, iOS, web)
LiveWire: The events-driven ops platform for AI-powered businesses
BarterScore Engine – A zero-dependency offline for barter economics
Perfectclone – Yoink the source code of any website, not an AI clone
Static recompiler that runs Windows x64 on Apple Silicon

Jobs

Autonomous (YC F25) is hiring MTS to build AI agents that manage your wealth
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

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