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. Air Con: $1697 for an on/off switch (blog.hopefullyuseful.com)
   2001 points by ranebo 19 days ago | 478 comments
2. Greppability is an underrated code metric (morizbuesing.com)
   1217 points by thunderbong 14 days ago | 613 comments
3. Building LLMs from the Ground Up: A 3-Hour Coding Workshop (magazine.sebastianraschka.com)
   970 points by mdp2021 17 days ago | 136 comments
4. OpenAI is good at unminifying code (glama.ai)
   931 points by punkpeye 19 days ago | 304 comments
5. Police cannot seize property indefinitely after an arrest, federal court rules (reason.com)
   840 points by throwup238 30 days ago | 464 comments
6. Show HN: Meet.hn – Meet the Hacker News community in your city
   721 points by sirobg 3 days ago | 324 comments
7. Low Cost Mini PCs (lowcostminipcs.com)
   701 points by mjcurl 19 days ago | 336 comments
8. Fixing a bug in Google Chrome as a first-time contributor (cprimozic.net)
   645 points by Ameo 22 days ago | 165 comments
9. Windows NT vs. Unix: A design comparison (blogsystem5.substack.com)
   643 points by LorenDB 8 days ago | 609 comments
10. Zuckerberg claims regret on caving to White House pressure on content (www.politico.com)
    639 points by southernplaces7 21 days ago | 1268 comments
11. Apple must pay 13B euros in back taxes, EU's top court rules (www.cnbc.com)
    611 points by kklisura 7 days ago | 687 comments
12. A good day to trie-hard: saving compute 1% at a time (blog.cloudflare.com)
    610 points by eaufavor 7 days ago | 173 comments
13. A Collection of Free Public APIs That Is Tested Daily (www.freepublicapis.com)
    602 points by abhas9 21 days ago | 122 comments
14. MIT leaders describe the experience of not renewing Elsevier contract (sparcopen.org)
    587 points by nabla9 28 days ago | 220 comments
15. CrowdStrike ex-employees: 'Quality control was not part of our process' (www.semafor.com)
    557 points by everybodyknows 4 days ago | 295 comments
16. WebP: The WebPage Compression Format (purplesyringa.moe)
    552 points by Kubuxu 10 days ago | 203 comments
17. I'm tired of fixing customers' AI generated code (medium.com)
    541 points by BitWiseVibe 26 days ago | 330 comments
18. UK rail minister got engineer sacked for raising safety concerns (www.politico.eu)
    529 points by scrlk 19 days ago | 296 comments
19. Chrome is entrenching third-party cookies that will mislead users (brave.com)
    511 points by NayamAmarshe 19 days ago | 311 comments
20. We built the city of Colombo in Cities:Skylines (github.com)
    511 points by icaruswept 16 days ago | 183 comments
21. FTC Pushed to Crack Down on Companies That Ruin Hardware via Software Updates (www.techdirt.com)
    493 points by lg_rocket 8 days ago | 218 comments
22. Lidl's Cloud Gambit: Europe's Shift to Sovereign Computing (horovits.medium.com)
    453 points by taubek 23 days ago | 407 comments
23. FDA Authorizes First Over-the-Counter Hearing Aid Software (www.fda.gov)
    437 points by mgerdts 4 days ago | 240 comments
24. Can solar costs keep shrinking? (unchartedterritories.tomaspueyo.com)
    401 points by GoRudy 19 days ago | 618 comments
25. One in five genetics papers contains errors thanks to Excel (2016) (www.science.org)
    395 points by redbell 3 days ago | 251 comments
26. Writing a Rust compiler in C (notgull.net)
    393 points by todsacerdoti 23 days ago | 224 comments
27. The magic of DC-DC voltage conversion (2023) (lcamtuf.substack.com)
    392 points by _Microft 6 days ago | 154 comments
28. Continuous reinvention: A brief history of block storage at AWS (www.allthingsdistributed.com)
    385 points by riv991 26 days ago | 83 comments
29. The vagus nerve orchestrates the mind-body connection (www.quantamagazine.org)
    379 points by jandrewrogers 18 days ago | 173 comments
30. Common food dye found to make skin and muscle temporarily transparent (www.theguardian.com)
    369 points by _Microft 12 days ago | 159 comments