A short introduction to 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 A short introduction to Coq. Parent comment

Re:A short introduction to Coq by keefe on Wednesday May 26, 2010 @11:33AM (#1380510)

lol seriously

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

In the age of agentic AI, do you still pair program?
How do AI agents help you in your daily life?
Does Anthropic have live people doing model guardrail checks?
Does Duolingo block swiping up on iOS?
Are Anthopic and OpenAI going to IPO post mid terms?
How to contact Google support after cancel a subscription?

Show HN

IndiePilot – find Reddit threads where people ask for what you sell
Simulating three LA wildfires in the browser with WebGPU
Bisimia – A TLA+ environment that runs in the browser
That is true daily news inspired satiric Frog and Toad comics
I built a fast Java linter in Rust
HackerGit – Every GitHub repo shared on HN

Jobs

Bild AI (YC W25) Is Hiring Founding Product Engineers
Ashby (YC W19) Is Hiring EMs
Sava Trust (YC F25) Is Hiring a Founding Engineer in NYC
Bitmovin (YC S15) Is Hiring Technical Graduates in Denver (Engineering/CS Focus)

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