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: Sokuji – Open-source speech translator with on-device AI WASM/WebGPU (github.com)
   2 points by jiangzhuo 25 days ago | discuss
2. Don't post generated/AI-edited comments. HN is for conversation between humans (news.ycombinator.com)
   4229 points by usefulposter 18 days ago | 1670 comments
3. Meta’s AI smart glasses and data privacy concerns (www.svd.se)
   1448 points by sandbach 27 days ago | 812 comments
4. Founder of GitLab battles cancer by founding companies (sytse.com)
   1349 points by bob_theslob646 1 day ago | 248 comments
5. OpenCode – Open source AI coding agent (opencode.ai)
   1271 points by rbanffy 9 days ago | 622 comments
6. 1M context is now generally available for Opus 4.6 and Sonnet 4.6 (claude.com)
   1220 points by meetpateltech 17 days ago | 521 comments
7. “Microslop” filtered in the official Microsoft Copilot Discord server (www.windowslatest.com)
   1182 points by robtherobber 28 days ago | 551 comments
8. British Columbia is permanently adopting daylight time (www.cbc.ca)
   1177 points by ireflect 27 days ago | 561 comments
9. Tell HN: I'm 60 years old. Claude Code has re-ignited a passion
   1086 points by shannoncc 23 days ago | 989 comments
10. Wikipedia was in read-only mode following mass admin account compromise (www.wikimediastatus.net)
    1049 points by greyface- 25 days ago | 386 comments
11. Why so many control rooms were seafoam green (2025) (bethmathews.substack.com)
    1035 points by Amorymeltzer 5 days ago | 200 comments
12. Ireland shuts last coal plant, becomes 15th coal-free country in Europe (2025) (www.pv-magazine.com)
    1022 points by robin_reala 21 days ago | 667 comments
13. “This is not the computer for you” (samhenri.gold)
    1011 points by MBCook 17 days ago | 380 comments
14. Running Tesla Model 3's computer on my desk using parts from crashed cars (bugs.xdavidhu.me)
    976 points by driesdep 4 days ago | 333 comments
15. Tell HN: Litellm 1.82.7 and 1.82.8 on PyPI are compromised (github.com)
    935 points by dot_treo 6 days ago | 498 comments
16. Do Not Turn Child Protection into Internet Access Control (news.dyne.org)
    837 points by smartmic 8 days ago | 449 comments
17. Delve – Fake Compliance as a Service (deepdelver.substack.com)
    830 points by freddykruger 10 days ago | 295 comments
18. Austin’s surge of new housing construction drove down rents (www.pew.org)
    815 points by matthest 11 days ago | 1000 comments
19. ArXiv declares independence from Cornell (www.science.org)
    811 points by bookstore-romeo 10 days ago | 277 comments
20. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
    783 points by Poudlardo 13 days ago | 193 comments
21. Corruption erodes social trust more in democracies than in autocracies (www.frontiersin.org)
    745 points by PaulHoule 14 days ago | 388 comments
22. Claude Code Cheat Sheet (cc.storyfox.cz)
    697 points by phasE89 6 days ago | 189 comments
23. End of "Chat Control": EU parliament stops mass surveillance (www.patrick-breyer.de)
    680 points by amarcheschi 4 days ago | 308 comments
24. The future of version control (bramcohen.com)
    668 points by c17r 8 days ago | 380 comments
25. A sufficiently detailed spec is code (haskellforall.com)
    652 points by signa11 11 days ago | 336 comments
26. Our commitment to Windows quality (blogs.windows.com)
    647 points by hadrien01 9 days ago | 1201 comments
27. /e/OS is a complete, fully “deGoogled” mobile ecosystem (e.foundation)
    637 points by doener 28 days ago | 398 comments
28. Moving from GitHub to Codeberg, for lazy people (unterwaditzer.net)
    634 points by jslakro 4 days ago | 335 comments
29. A GitHub Issue Title Compromised 4k Developer Machines (grith.ai)
    632 points by edf13 25 days ago | 196 comments
30. Reports of code's death are greatly exaggerated (stevekrouse.com)
    610 points by stevekrouse 8 days ago | 448 comments