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. I believe there are entire companies right now under AI psychosis (twitter.com)
   2105 points by reasonableklout 14 days ago | 1272 comments
2. Google Chrome silently installs a 4 GB AI model on your device without consent (www.thatprivacyguy.com)
   1755 points by john-doe 24 days ago | 1143 comments
3. Valve releases Steam Controller CAD files under Creative Commons license (www.digitalfoundry.net)
   1747 points by haunter 23 days ago | 593 comments
4. VS Code inserting 'Co-Authored-by Copilot' into commits regardless of usage (github.com)
   1513 points by indrora 27 days ago | 850 comments
5. An OpenAI model has disproved a central conjecture in discrete geometry (openai.com)
   1429 points by tedsanders 9 days ago | 1054 comments
6. Bambu Lab is abusing the open source social contract (www.jeffgeerling.com)
   1404 points by rubenbe 17 days ago | 428 comments
7. Claude Code refuses requests or charges extra if your commits mention "OpenClaw" (twitter.com)
   1349 points by elmean 29 days ago | 720 comments
8. Bricks and Minifigs Stole a Man's $200k Lego Collection (mybricklog.com)
   1253 points by philips about 23 hours ago | 567 comments
9. HERMES.md in commit messages causes requests to route to extra usage billing (github.com)
   1251 points by homebrewer 30 days ago | 532 comments
10. Using AI to write better code more slowly (nolanlawson.com)
    1243 points by signa11 4 days ago | 446 comments
11. Postmortem: TanStack NPM supply-chain compromise (tanstack.com)
    1097 points by varunsharma07 18 days ago | 465 comments
12. GitHub confirms breach of 3,800 repos via malicious VSCode extension (www.bleepingcomputer.com)
    1054 points by Timofeibu 9 days ago | 460 comments
13. I'm going back to writing code by hand (blog.k10s.dev)
    1038 points by dropbox_miner 19 days ago | 617 comments
14. If AI writes your code, why use Python? (medium.com)
    919 points by indigodaddy 18 days ago | 980 comments
15. Why Japanese companies do so many different things (davidoks.blog)
    907 points by d0ks 7 days ago | 407 comments
16. Mercedes-Benz commits to bringing back physical buttons (www.drive.com.au)
    862 points by teleforce 26 days ago | 511 comments
17. AI slop is killing online communities (rmoff.net)
    834 points by thm 22 days ago | 734 comments
18. Why senior developers fail to communicate their expertise (www.nair.sh)
    826 points by nilirl 17 days ago | 333 comments
19. Vibe coding and agentic engineering are getting closer than I'd like (simonwillison.net)
    787 points by e12e 23 days ago | 885 comments
20. Red Squares – GitHub outages as contributions (red-squares.cian.lol)
    767 points by cianmm 23 days ago | 168 comments
21. Can I disable all data collection from my vehicle? (rivian.com)
    760 points by Cider9986 29 days ago | 350 comments
22. DeepSeek reasonix, DeepSeek native coding agent with high caching and low cost (esengine.github.io)
    729 points by Alifatisk 5 days ago | 287 comments
23. Bun's experimental Rust rewrite hits 99.8% test compatibility on Linux x64 glibc (twitter.com)
    718 points by heldrida 20 days ago | 698 comments
24. Throwing AI-generated walls of text into conversations (noslopgrenade.com)
    714 points by napolux 8 days ago | 417 comments
25. The Zig project's rationale for their anti-AI contribution policy (simonwillison.net)
    683 points by lumpa 30 days ago | 462 comments
26. DeepClaude – Claude Code agent loop with DeepSeek V4 Pro (github.com)
    678 points by alattaran 26 days ago | 281 comments
27. SQLite Is a Library of Congress Recommended Storage Format (sqlite.org)
    663 points by whatisabcdefgh 23 days ago | 192 comments
28. Gmail registration now requires scanning a QR code and sending a text message (discuss.privacyguides.net)
    637 points by negura 18 days ago | 517 comments
29. Agents need control flow, not more prompts (bsuh.bearblog.dev)
    590 points by bsuh 22 days ago | 296 comments
30. The bottleneck was never the code (www.thetypicalset.com)
    586 points by Anon84 25 days ago | 414 comments