C for All - 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 C for All. Parent comment

Re:C for All by pjmlp on Friday March 23, 2018 @12:52PM (#16660066)

Maybe Frama-C as well.

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Is post-training make AI models dumber?
Best books you read in 2026?
Building Lovable for hardware, any suggestions and needs?
Do you still need to know whats going on in the code?
Is there a way to use Gemini API Keys with Antigravity?
Do I own the code I write with the help of AI?

Show HN

A custom font based on the Jamaican flag alphabet
Light Sleep – Relax and Sleep
Monster Cursor – Cartoon Beast Mouse
WendyOS, Linux for robots with USB-C deployment and rollback updates
I made a tiny HN-style forum for small communities
LetThemBuild – Claude Code, Codex, Gemini and OpenRouter in Parallel

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.