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. Finite math system, verified in Coq – for theory nerds and alt. IT ppl (github.com)
   3 points by kwojno 12 days ago | 1 comments
2. Fight Chat Control (fightchatcontrol.eu)
   1473 points by tokai 8 days ago | 495 comments
3. Claude Sonnet 4 now supports 1M tokens of context (www.anthropic.com)
   1316 points by adocomplete 6 days ago | 690 comments
4. Copyparty – Turn almost any device into a file server (github.com)
   1096 points by saint11 21 days ago | 169 comments
5. Emailing a one-time code is worse than passwords (blog.danielh.cc)
   991 points by max__dev 12 days ago | 789 comments
6. Enough AI copilots, we need AI HUDs (www.geoffreylitt.com)
   979 points by walterbell 22 days ago | 271 comments
7. Claude Code is all you need (dwyer.co.za)
   842 points by sixhobbits 7 days ago | 504 comments
8. VC-backed company just killed my EU trademark for a small OSS project
   839 points by marcjschmidt 6 days ago | 244 comments
9. Gemma 3 270M: Compact model for hyper-efficient AI (developers.googleblog.com)
   804 points by meetpateltech 4 days ago | 312 comments
10. Claude Code IDE integration for Emacs (github.com)
    782 points by kgwgk 12 days ago | 267 comments
11. Qwen3-Coder: Agentic coding in the world (qwenlm.github.io)
    765 points by danielhanchen 27 days ago | 366 comments
12. Vibe code is legacy code (blog.val.town)
    758 points by simonw 19 days ago | 454 comments
13. ‘No Other Land’ consultant Awdah Hathaleen killed by Israeli settler (www.latimes.com)
    735 points by _shadi 19 days ago | 831 comments
14. How I code with AI on a budget/free (wuu73.org)
    694 points by indigodaddy 9 days ago | 240 comments
15. Cops say criminals use a Google Pixel with GrapheneOS – I say that's freedom (www.androidauthority.com)
    639 points by pabs3 26 days ago | 469 comments
16. Sleep all comes down to the mitochondria (www.science.org)
    639 points by A_D_E_P_T 19 days ago | 308 comments
17. Corporation for Public Broadcasting ceasing operations (cpb.org)
    624 points by coloneltcb 17 days ago | 606 comments
18. Claude Code weekly rate limits
    609 points by thebestmoshe 21 days ago | 705 comments
19. Coding with LLMs in the summer of 2025 – an update (antirez.com)
    600 points by antirez 29 days ago | 414 comments
20. 6 weeks of Claude Code (blog.puzzmo.com)
    581 points by mike1o1 18 days ago | 590 comments
21. Jim Lovell, Apollo 13 commander, has died (www.nasa.gov)
    581 points by LorenDB 10 days ago | 114 comments
22. Complete silence is always hallucinated as "ترجمة نانسي قنقر" in Arabic (github.com)
    568 points by edent 28 days ago | 340 comments
23. Live coding interviews measure stress, not coding skills (hadid.dev)
    527 points by mustaphah 17 days ago | 518 comments
24. Electric cars produce less brake dust pollution than combustion-engine cars (modernengineeringmarvels.com)
    523 points by tzs 26 days ago | 764 comments
25. Getting good results from Claude Code (www.dzombak.com)
    487 points by ingve 10 days ago | 200 comments
26. Flipper Zero dark web firmware bypasses rolling code security (www.rtl-sdr.com)
    484 points by lq9AJ8yrfs 11 days ago | 312 comments
27. Many countries that said no to ChatControl in 2024 are now undecided (digitalcourage.social)
    474 points by nickslaughter02 18 days ago | 356 comments
28. Claudia – Desktop companion for Claude code (claudiacode.com)
    474 points by zerealshadowban 1 day ago | 217 comments
29. Cerebras Code (www.cerebras.ai)
    449 points by d3vr 17 days ago | 172 comments
30. GDPR meant nothing: chat control ends privacy for the EU [video] (www.youtube.com)
    440 points by givemeethekeys 2 days ago | 380 comments