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. A competitor crippled a $23.5M bootcamp by becoming a Reddit moderator (larslofgren.com)
   1305 points by SilverElfin 17 days ago | 931 comments
2. German government comes out against Chat Control (xcancel.com)
   1148 points by SolonIslandus 18 days ago | 541 comments
3. Trump pardons convicted Binance founder (www.wsj.com)
   1014 points by cowboyscott 2 days ago | 1171 comments
4. Claude Code 2.0 (www.npmjs.com)
   842 points by polyrand 26 days ago | 413 comments
5. We found a bug in Go's ARM64 compiler (blog.cloudflare.com)
   835 points by jgrahamc 17 days ago | 140 comments
6. Android's sideloading limits are its most anti-consumer move (www.makeuseof.com)
   801 points by josephcsible 12 days ago | 547 comments
7. One-man campaign ravages EU 'Chat Control' bill (www.politico.eu)
   767 points by cuu508 17 days ago | 258 comments
8. Dutch government takes control of Chinese-owned chipmaker Nexperia (www.cnbc.com)
   728 points by piskov 12 days ago | 635 comments
9. My first contribution to Linux (vkoskiv.com)
   701 points by vkoskiv 19 days ago | 88 comments
10. The AI coding trap (chrisloy.dev)
    685 points by chrisloy 27 days ago | 409 comments
11. Doing well in your courses: Andrej's advice for success (2013) (cs.stanford.edu)
    674 points by peterkshultz 6 days ago | 198 comments
12. Ruby core team takes ownership of RubyGems and Bundler (www.ruby-lang.org)
    666 points by sebiw 8 days ago | 378 comments
13. Gemini 2.5 Computer Use model (blog.google)
    636 points by mfiguiere 18 days ago | 325 comments
14. Internet's biggest annoyance: Cookie laws should target browsers, not websites (nednex.com)
    619 points by SweetSoftPillow 3 days ago | 606 comments
15. Germany must stand firmly against client-side scanning in Chat Control [pdf] (signal.org)
    593 points by greyface- 22 days ago | 134 comments
16. /dev/null is an ACID compliant database (jyu.dev)
    592 points by swills 1 day ago | 185 comments
17. Nobel Peace Prize 2025: María Corina Machado (www.nobelprize.org)
    586 points by pykello 15 days ago | 713 comments
18. Claude Code on the web (www.anthropic.com)
    575 points by adocomplete 5 days ago | 388 comments
19. Postman which I thought worked locally on my computer, is down (status.postman.com)
    536 points by helloguillecl 5 days ago | 292 comments
20. Comprehension debt: A ticking time bomb of LLM-generated code (codemanship.wordpress.com)
    532 points by todsacerdoti 25 days ago | 338 comments
21. Britain to introduce compulsory digital ID for workers (www.reuters.com)
    525 points by alex77456 29 days ago | 780 comments
22. Gem.coop (gem.coop)
    525 points by mbStavola 19 days ago | 304 comments
23. Niri – A scrollable-tiling Wayland compositor (github.com)
    480 points by atlintots 22 days ago | 229 comments
24. KDE Connect: Enabling communication between all your devices (community.kde.org)
    475 points by snthd 13 days ago | 197 comments
25. 4Chan Lawyer publishes Ofcom correspondence (alecmuffett.com)
    466 points by alecmuffett 8 days ago | 771 comments
26. Counter-Strike's player economy is in a freefall (www.polygon.com)
    462 points by perihelions 1 day ago | 568 comments
27. AI assistants misrepresent news content 45% of the time (www.bbc.co.uk)
    439 points by sohkamyung 3 days ago | 292 comments
28. Superpowers: How I'm using coding agents in October 2025 (blog.fsck.com)
    435 points by Ch00k 14 days ago | 231 comments
29. OpenZL: An open source format-aware compression framework (engineering.fb.com)
    434 points by terrelln 19 days ago | 107 comments
30. Social Cooling (2017) (www.socialcooling.com)
    432 points by laurex 20 days ago | 276 comments