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. Design of Coq₁₀ crops based on evolutionary history (www.sciencedirect.com)
   9 points by PaulHoule 12 days ago | discuss
2. Implementation of Bourbaki's Elements of Mathematics in Coq (jfr.unibo.it)
   2 points by gone35 10 days ago | discuss
3. Claude 3.7 Sonnet and Claude Code (www.anthropic.com)
   2126 points by bakugo 10 days ago | 959 comments
4. Valve releases Team Fortress 2 code (github.com)
   1863 points by davikr 16 days ago | 388 comments
5. “A calculator app? Anyone could make that” (chadnauseam.com)
   1821 points by pie_flavor 19 days ago | 430 comments
6. Teen on Musk's DOGE team graduated from 'The Com' (krebsonsecurity.com)
   1624 points by mmsc 27 days ago | 1801 comments
7. Meta torrented & seeded 81.7 TB dataset containing copyrighted data (arstechnica.com)
   1270 points by gameshot911 28 days ago | 938 comments
8. EA Open Sources Command and Conquer: Red Alert, along with other games (github.com)
   1248 points by Klaster_1 7 days ago | 325 comments
9. I Went to SQL Injection Court (sockpuppet.org)
   1226 points by mrkurt 9 days ago | 434 comments
10. How to gain code execution on hundreds of millions of people and popular apps (kibty.town)
    1148 points by xyzeva 6 days ago | 312 comments
11. S1: A $6 R1 competitor? (timkellogg.me)
    851 points by tkellogg 30 days ago | 416 comments
12. A year of uv: pros, cons, and should you migrate (www.bitecode.dev)
    723 points by bertdb 16 days ago | 394 comments
13. Musk-led group makes $97B bid for control of OpenAI (www.reuters.com)
    706 points by jdoliner 24 days ago | 978 comments
14. Uchū – Color palette for internet lovers (uchu.style)
    681 points by NetOpWibby 18 days ago | 272 comments
15. Greg K-H: "Writing new code in Rust is a win for all of us" (lore.kernel.org)
    679 points by mustache_kimono 16 days ago | 439 comments
16. Tell HN: Y Combinator backing AI company to abuse factory workers
    630 points by latexr 10 days ago | 188 comments
17. Apple takes UK to court over 'backdoor' order (www.theregister.com)
    622 points by latexr 1 day ago | 254 comments
18. Age and cognitive skills: Use it or lose it (www.science.org)
    619 points by nabla9 about 14 hours ago | 392 comments
19. Carbon capture more costly than switching to renewables, researchers find (techxplore.com)
    581 points by Brajeshwar 19 days ago | 502 comments
20. How Core Git Developers Configure Git (blog.gitbutler.com)
    568 points by lnkl 10 days ago | 122 comments
21. LibreOffice still kicking at 40, now with browser tricks and real-time collab (www.theregister.com)
    555 points by LinuxBender 21 days ago | 232 comments
22. My LLM codegen workflow (harper.blog)
    522 points by lolptdr 16 days ago | 160 comments
23. Clean Code vs. A Philosophy Of Software Design (github.com)
    486 points by recursivedoubts 10 days ago | 542 comments
24. IBM completes acquisition of HashiCorp (newsroom.ibm.com)
    486 points by ahurmazda 7 days ago | 385 comments
25. Material Theme has been pulled from VS Code's marketplace (github.com)
    479 points by Inityx 9 days ago | 390 comments
26. I built an AI company to save my open source project (timefold.ai)
    451 points by ge0ffrey 25 days ago | 106 comments
27. After 20 years, math couple solves major group theory problem (www.quantamagazine.org)
    450 points by isaacfrond 15 days ago | 131 comments
28. The 20 year old PSP can now connect to WPA2 WiFi Networks (wololo.net)
    450 points by zdw 20 days ago | 123 comments
29. China tells its AI leaders to avoid U.S. travel over security concerns (www.wsj.com)
    445 points by bookofjoe 6 days ago | 444 comments
30. Cities can cost effectively start their own utilities (kevin.burke.dev)
    420 points by kevinburke 27 days ago | 396 comments