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 Nicksil on Thursday April 08, 2021 @11:06AM (#26739709)

It's cultural, is it not?

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Do you believe RSI is possible?
How do you care about a project that is predominately generated by AI?
Should I be stockpiling goods because of AI and cybersecurity?
What are your predictions for the next 2 years?
How do you report an AI breach you don't know happened?
Anyone else feels Grok 4.7 got nerfed?

Show HN

PeepNote – Local desktop notes for saving and reusing LLM responses
FilmCraft – Free open-source video editor in Rust, like Premiere
PDFMeasure – Measure PDF files in the browser
Cinnamon AI – an agent for your household
A map of skate parks and spots
Socialize/Presence multiplayer interaction on blog posts

Jobs

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
Bild AI (YC W25) Is Hiring Founding Product Engineers

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