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