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. Show HN: Confidential computing for high-assurance RISC-V embedded systems (github.com)
   103 points by mrnoone 10 days ago | 9 comments
2. Postgres IDE in VS Code (techcommunity.microsoft.com)
   1038 points by Dowwie 8 days ago | 406 comments
3. AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms (deepmind.google)
   1036 points by Fysi 17 days ago | 270 comments
4. Coding without a laptop: Two weeks with AR glasses and Linux on Android (holdtherobot.com)
   1016 points by mikenew 17 days ago | 386 comments
5. The world could run on older hardware if software optimization was a priority (twitter.com)
   848 points by turrini 19 days ago | 814 comments
6. German court sends VW execs to prison over Dieselgate scandal (www.politico.eu)
   784 points by Tomte 5 days ago | 310 comments
7. Zed: High-performance AI Code Editor (zed.dev)
   747 points by vquemener 25 days ago | 422 comments
8. Hacker News now runs on top of Common Lisp (lisp-journey.gitlab.io)
   656 points by Tomte 5 days ago | 434 comments
9. ALICE detects the conversion of lead into gold at the LHC (www.home.cern)
   637 points by miiiiiike 22 days ago | 300 comments
10. CLion Is Now Free for Non-Commercial Use (blog.jetbrains.com)
    624 points by AlexeyBrin 24 days ago | 388 comments
11. Human coders are still better than LLMs (antirez.com)
    616 points by longwave 2 days ago | 719 comments
12. The ‘white-collar bloodbath’ is all part of the AI hype machine (www.cnn.com)
    613 points by lwo32k 1 day ago | 1074 comments
13. At Amazon, some coders say their jobs have begun to resemble warehouse work (www.nytimes.com)
    578 points by milkshakes 6 days ago | 863 comments
14. GitHub Copilot Coding Agent (github.blog)
    564 points by net01 12 days ago | 357 comments
15. US Trade Court finds Trump tariffs illegal (www.bloomberg.com)
    562 points by master_crab 3 days ago | 507 comments
16. Jules: An asynchronous coding agent (jules.google)
    534 points by travisennis 12 days ago | 236 comments
17. Ground control to Major Trial (virtualize.sh)
    526 points by plam503711 15 days ago | 191 comments
18. Show HN: My LLM CLI tool can run tools now, from Python code or plugins (simonwillison.net)
    520 points by simonw 4 days ago | 165 comments
19. A Research Preview of Codex (openai.com)
    511 points by meetpateltech 15 days ago | 450 comments
20. Car companies are in a billion-dollar software war (insideevs.com)
    468 points by rntn 20 days ago | 817 comments
21. Gorgeous-GRUB: collection of decent community-made GRUB themes (github.com)
    458 points by todsacerdoti 28 days ago | 123 comments
22. Duolingo CEO tries to walk back AI-first comments, fails (htxt.co.za)
    455 points by Improvement 5 days ago | 322 comments
23. Claude Code SDK (docs.anthropic.com)
    454 points by sync 12 days ago | 194 comments
24. US Copyright Office found AI companies breach copyright. Its boss was fired (www.theregister.com)
    452 points by croes 20 days ago | 394 comments
25. Third party cookies must be removed (w3ctag.github.io)
    452 points by pabs3 30 days ago | 228 comments
26. VVVVVV Source Code (github.com)
    446 points by radeeyate 25 days ago | 93 comments
27. Changes since congestion pricing started in New York (www.nytimes.com)
    442 points by Vinnl 19 days ago | 706 comments
28. Show HN: I wrote a modern Command Line Handbook (commandline.stribny.name)
    435 points by petr25102018 2 days ago | 108 comments
29. Scientific conferences are leaving the US amid border fears (www.nature.com)
    429 points by mdhb 7 days ago | 410 comments
30. Coinbase says hackers bribed staff to steal customer data, demanding $20M ransom (www.cnbc.com)
    422 points by gpi 16 days ago | 499 comments