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. In-browser NL2SQL2NL playground: SQLite WASM meets Gemini (github.com)
   1 points by relantic 21 days ago | discuss
2. We should have the ability to run any code we want on hardware we own (hugotunius.se)
   2071 points by K0nserv 17 days ago | 1203 comments
3. Cognitive load is what matters (github.com)
   1582 points by nromiun 18 days ago | 526 comments
4. NPM debug and chalk packages compromised (www.aikido.dev)
   1368 points by universesquid 9 days ago | 754 comments
5. Ask HN: The government of my country blocked VPN access. What should I use?
   1338 points by rickybule 20 days ago | 731 comments
6. Top UN legal investigators conclude Israel is guilty of genocide in Gaza (www.middleeasteye.net)
   1179 points by Qem 1 day ago | 994 comments
7. Shai-Hulud malware attack: Tinycolor and over 40 NPM packages compromised (socket.dev)
   1133 points by jamesberthoty 1 day ago | 919 comments
8. Do the simplest thing that could possibly work (www.seangoedecke.com)
   1111 points by dondraper36 19 days ago | 387 comments
9. EU court rules nuclear energy is clean energy (www.weplanet.org)
   1036 points by mpweiher 5 days ago | 1229 comments
10. Using Claude Code to modernize a 25-year-old kernel driver (dmitrybrant.com)
    922 points by dmitrybrant 10 days ago | 319 comments
11. Google can keep its Chrome browser but will be barred from exclusive contracts (www.cnbc.com)
    864 points by colesantiago 15 days ago | 632 comments
12. What are OKLCH colors? (jakub.kr)
    859 points by tontonius 23 days ago | 183 comments
13. AGENTS.md – Open format for guiding coding agents (agents.md)
    837 points by ghuntley 29 days ago | 382 comments
14. Copilot broke audit logs, but Microsoft won't tell customers (pistachioapp.com)
    821 points by Sayrus 29 days ago | 310 comments
15. Chat Control Must Be Stopped (www.privacyguides.org)
    788 points by Improvement 9 days ago | 259 comments
16. “This telegram must be closely paraphrased before being communicated to anyone” (history.stackexchange.com)
    775 points by azeemba 17 days ago | 135 comments
17. Where's the shovelware? Why AI coding claims don't add up (mikelovesrobots.substack.com)
    770 points by dbalatero 14 days ago | 482 comments
18. Updates to Consumer Terms and Privacy Policy (www.anthropic.com)
    756 points by porridgeraisin 19 days ago | 530 comments
19. AI tooling must be disclosed for contributions (github.com)
    729 points by freetonik 27 days ago | 461 comments
20. How we exploited CodeRabbit: From simple PR to RCE and write access on 1M repos (research.kudelskisecurity.com)
    687 points by spiridow 29 days ago | 227 comments
21. Claude Code: Now in Beta in Zed (zed.dev)
    683 points by meetpateltech 14 days ago | 406 comments
22. Corporations are trying to hide job openings from US citizens (thehill.com)
    681 points by b_mc2 5 days ago | 523 comments
23. Waymo has received our pilot permit allowing for commercial operations at SFO (waymo.com)
    679 points by ChrisArchitect about 22 hours ago | 703 comments
24. Many hard LeetCode problems are easy constraint problems (buttondown.com)
    675 points by mpweiher 5 days ago | 526 comments
25. Claude now has access to a server-side container environment (www.anthropic.com)
    658 points by meetpateltech 8 days ago | 343 comments
26. Court rejects Verizon claim that selling location data without consent is legal (arstechnica.com)
    658 points by nobody9999 7 days ago | 86 comments
27. Comet AI browser can get prompt injected from any site, drain your bank account (twitter.com)
    648 points by helloplanets 24 days ago | 220 comments
28. MIT Study Finds AI Use Reprograms the Brain, Leading to Cognitive Decline (publichealthpolicyjournal.com)
    616 points by cainxinth 14 days ago | 566 comments
29. Fil's Unbelievable Garbage Collector (fil-c.org)
    602 points by pizlonator 13 days ago | 279 comments
30. Altered states of consciousness induced by breathwork accompanied by music (journals.plos.org)
    565 points by gnabgib 21 days ago | 300 comments