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