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. Coq-of-rust: Formal verification tool for Rust (github.com)
   159 points by todsacerdoti 21 days ago | 42 comments
2. 3110 Coq Tactics Cheatsheet (www.cs.cornell.edu)
   2 points by todsacerdoti 3 days ago | discuss
3. Coq: Macro Assembler? (2013) [pdf] (www.microsoft.com)
   2 points by Tomte 25 days ago | discuss
4. Vibe Testing Tool (coqa.xyz)
   3 points by yankit 3 days ago | discuss
5. Stoop Coffee: A simple idea transformed my neighborhood (supernuclear.substack.com)
   1648 points by surprisetalk 10 days ago | 497 comments
6. Happy 20th birthday, Y Combinator (twitter.com)
   1421 points by btilly 24 days ago | 276 comments
7. FOSS infrastructure is under attack by AI companies (thelibre.news)
   1004 points by todsacerdoti 15 days ago | 619 comments
8. I won't connect my dishwasher to your cloud (www.jeffgeerling.com)
   1003 points by HieronymusBosch 11 days ago | 656 comments
9. FBI raids home of prominent computer scientist who has gone incommunicado (arstechnica.com)
   994 points by JaimeThompson 5 days ago | 468 comments
10. Age and cognitive skills: Use it or lose it (www.science.org)
    766 points by nabla9 29 days ago | 452 comments
11. US appeals court rules AI generated art cannot be copyrighted (www.reuters.com)
    765 points by rvz 17 days ago | 538 comments
12. The average college student today (hilariusbookbinder.substack.com)
    755 points by Jyaif 5 days ago | 977 comments
13. We hacked Gemini's Python sandbox and leaked its source code (at least some) (www.landh.tech)
    664 points by topsycatt 7 days ago | 142 comments
14. Apple takes UK to court over 'backdoor' order (www.theregister.com)
    663 points by latexr 30 days ago | 274 comments
15. Cursor told me I should learn coding instead of asking it to generate it (forum.cursor.com)
    658 points by nomilk 22 days ago | 399 comments
16. Coordinating the Superbowl's visual fidelity with Elixir (elixir-lang.org)
    644 points by lawik 9 days ago | 172 comments
17. German parliament votes as a Git contribution graph (abstimmung.eu)
    630 points by mxschll 11 days ago | 169 comments
18. Volkswagen reintroducing physical controls for vital functions (www.autocar.co.uk)
    611 points by zfg 27 days ago | 379 comments
19. AI Blindspots – Blindspots in LLMs I've noticed while AI coding (ezyang.github.io)
    577 points by rahimnathwani 16 days ago | 240 comments
20. Tesla created secret team to suppress driving range complaints (2023) (www.reuters.com)
    568 points by mathgenius 26 days ago | 263 comments
21. Blue95: a desktop for your childhood home's computer room (github.com)
    567 points by elvis70 5 days ago | 313 comments
22. Landrun: Sandbox any Linux process using Landlock, no root or containers (github.com)
    517 points by Zoup 13 days ago | 169 comments
23. Y Combinator urges the White House to support Europe's Digital Markets Act (techcrunch.com)
    504 points by mrkramer 22 days ago | 379 comments
24. Music labels will regret coming for the Internet Archive, sound historian says (arstechnica.com)
    501 points by coloneltcb 25 days ago | 184 comments
25. Bletchley code breaker Betty Webb dies aged 101 (www.bbc.com)
    498 points by danso 3 days ago | 100 comments
26. Gemini 2.5 Pro vs. Claude 3.7 Sonnet: Coding Comparison (composio.dev)
    478 points by mraniki 4 days ago | 326 comments
27. California Attorney General issues consumer alert for 23andMe customers (oag.ca.gov)
    467 points by thoughtpeddler 13 days ago | 355 comments
28. Crabtime: Zig’s Comptime in Rust (crates.io)
    466 points by klaussilveira 16 days ago | 195 comments
29. Show HN: Duolingo-style exercises but with real-world content like the news (app.fluentsubs.com)
    459 points by ph4evers 3 days ago | 181 comments
30. I've been using Claude Code for a couple of days (twitter.com)
    458 points by tosh 26 days ago | 490 comments