Hackernews posts about Coq

Coq is a widely-used, open-source proof assistant for formal verification and type theory that allows developers to write mathematical proofs in a rigorous and machine-checkable way.

1. Show HN: Formalizing Principia Mathematica using Lean (github.com)
   188 points by ndrwnaguib 18 days ago | 34 comments
2. CVE program faces swift end after DHS fails to renew contract [updated] (www.csoonline.com)
   1934 points by healsdata 27 days ago | 1094 comments
3. Judge rules Apple executive lied under oath, makes criminal contempt referral (www.thebignewsletter.com)
   1036 points by connor11528 12 days ago | 360 comments
4. DOGE worker’s code supports NLRB whistleblower (krebsonsecurity.com)
   1013 points by todsacerdoti 20 days ago | 530 comments
5. Show HN: I built an AI that turns GitHub codebases into easy tutorials (github.com)
   923 points by zh2408 24 days ago | 172 comments
6. Zed: High-performance AI Code Editor (zed.dev)
   736 points by vquemener 6 days ago | 419 comments
7. Open guide to equity compensation (github.com)
   656 points by mooreds 30 days ago | 297 comments
8. Only Teslas exempt from new auto tariffs thanks to 85% domestic content rule (fuelarc.com)
   645 points by abduhl 14 days ago | 689 comments
9. ALICE detects the conversion of lead into gold at the LHC (www.home.cern)
   625 points by miiiiiike 4 days ago | 299 comments
10. CLion Is Now Free for Non-Commercial Use (blog.jetbrains.com)
    620 points by AlexeyBrin 6 days ago | 384 comments
11. Claude Code: Best practices for agentic coding (www.anthropic.com)
    614 points by sqs 24 days ago | 257 comments
12. Gemma 3 QAT Models: Bringing AI to Consumer GPUs (developers.googleblog.com)
    602 points by emrah 23 days ago | 276 comments
13. Cozy video games can quell stress and anxiety (www.reuters.com)
    594 points by vinhnx 24 days ago | 358 comments
14. Man who built ISP instead of paying Comcast expands to hundreds of homes (2022) (arstechnica.com)
    577 points by voxadam 27 days ago | 229 comments
15. The Friendship Recession: The lost art of connecting (www.happiness.hks.harvard.edu)
    535 points by 47thpresident 17 days ago | 446 comments
16. Show HN: I made a Doom-like game fit inside a QR code (github.com)
    531 points by kuberwastaken 25 days ago | 136 comments
17. OpenAI Codex CLI: Lightweight coding agent that runs in your terminal (github.com)
    516 points by mfiguiere 27 days ago | 289 comments
18. A faster way to copy SQLite databases between computers (alexwlchan.net)
    507 points by ingve 12 days ago | 196 comments
19. Why did Windows 7 log on slower for months if you had a solid color background? (devblogs.microsoft.com)
    506 points by zdw 14 days ago | 296 comments
20. How a single line of code could brick your iPhone (rambo.codes)
    501 points by sashk 16 days ago | 123 comments
21. How the US defense secretary circumvents official DoD communications equipment (www.electrospaces.net)
    472 points by Harvesterify 13 days ago | 433 comments
22. Things Zig comptime won't do (matklad.github.io)
    466 points by JadedBlueEyes 23 days ago | 243 comments
23. Gorgeous-GRUB: collection of decent community-made GRUB themes (github.com)
    458 points by todsacerdoti 10 days ago | 123 comments
24. U.S. Economy Contracts at 0.3% Rate in First Quarter (www.wsj.com)
    456 points by bko 13 days ago | 557 comments
25. Third party cookies must be removed (w3ctag.github.io)
    451 points by pabs3 11 days ago | 228 comments
26. Amazon to display tariff costs for consumers (punchbowl.news)
    449 points by donohoe 14 days ago | 431 comments
27. Full Text Search of US Court records (www.judyrecords.com)
    449 points by FigurativeVoid 25 days ago | 100 comments
28. Car companies are in a billion-dollar software war (insideevs.com)
    444 points by rntn 1 day ago | 791 comments
29. VVVVVV Source Code (github.com)
    444 points by radeeyate 6 days ago | 92 comments
30. US Copyright Office found AI companies breach copyright. Its boss was fired (www.theregister.com)
    433 points by croes 1 day ago | 371 comments