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: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name)
   167 points by addaon 28 days ago | 74 comments
2. Formal Proof: LLM Hallucinations Are Structural, Not Statistical (Coq Verified) (philpapers.org)
   2 points by ICBTheory 23 days ago | 3 comments
3. Coding is the purest form of art
   1 points by learningstud 24 days ago | 4 comments
4. Great analysis of classic Dutch Renaissance painting (www.youtube.com)
   1 points by lifeisstillgood 16 days ago | discuss
5. Advent of Code 2025 (adventofcode.com)
   1243 points by vismit2000 24 days ago | 397 comments
6. Migrating the main Zig repository from GitHub to Codeberg (ziglang.org)
   927 points by todsacerdoti 28 days ago | 893 comments
7. Valve: HDMI Forum Continues to Block HDMI 2.1 for Linux (www.heise.de)
   902 points by OsrsNeedsf2P 14 days ago | 486 comments
8. Search tool that only returns content created before ChatGPT's public release (tegabrain.com)
   888 points by dmitrygr 24 days ago | 370 comments
9. Leak confirms OpenAI is preparing ads on ChatGPT for public roll out (www.bleepingcomputer.com)
   854 points by fleahunter 25 days ago | 737 comments
10. Your job is to deliver code you have proven to work (simonwillison.net)
    853 points by simonw 6 days ago | 659 comments
11. 8M users' AI conversations sold for profit by "privacy" extensions (www.koi.ai)
    832 points by takira 9 days ago | 246 comments
12. Reverse engineering a $1B Legal AI tool exposed 100k+ confidential files (alexschapiro.com)
    821 points by bearsyankees 21 days ago | 289 comments
13. OpenAI declares 'code red' as Google catches up in AI race (www.theverge.com)
    819 points by goplayoutside 22 days ago | 930 comments
14. Micron Announces Exit from Crucial Consumer Business (investors.micron.com)
    763 points by simlevesque 21 days ago | 392 comments
15. How elites could shape mass preferences as AI reduces persuasion costs (arxiv.org)
    704 points by 50kIters 21 days ago | 661 comments
16. The Going Dark initiative or ProtectEU is a Chat Control 3.0 attempt (mastodon.online)
    643 points by janandonly 3 days ago | 276 comments
17. The highest quality codebase (gricha.dev)
    641 points by Gricha 16 days ago | 393 comments
18. EU Council Approves New "Chat Control" Mandate Pushing Mass Surveillance (reclaimthenet.org)
    637 points by fragebogen 27 days ago | 426 comments
19. If you're going to vibe code, why not do it in C? (stephenramsay.net)
    632 points by sramsay 15 days ago | 612 comments
20. US blocks all offshore wind construction, says reason is classified (arstechnica.com)
    603 points by rbanffy 2 days ago | 518 comments
21. The state of Schleswig-Holstein is consistently relying on open source (www.heise.de)
    601 points by doener 17 days ago | 286 comments
22. Secret Documents Show Pepsi and Walmart Colluded to Raise Food Prices (www.thebignewsletter.com)
    601 points by connor11528 9 days ago | 161 comments
23. A guide to local coding models (www.aiforswes.com)
    597 points by mpweiher 3 days ago | 350 comments
24. Coursera to combine with Udemy (investor.coursera.com)
    588 points by throwaway019254 7 days ago | 377 comments
25. OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI (simonwillison.net)
    587 points by simonw 12 days ago | 324 comments
26. GPT-5.2-Codex (openai.com)
    586 points by meetpateltech 6 days ago | 318 comments
27. Google Antigravity just deleted the contents of whole drive (old.reddit.com)
    544 points by tamnd 24 days ago | 482 comments
28. Tiny Core Linux: a 23 MB Linux distro with graphical desktop (www.tinycorelinux.net)
    527 points by LorenDB 18 days ago | 243 comments
29. 1D Conway's Life glider found, 3.7B cells long (conwaylife.com)
    526 points by nooks 21 days ago | 215 comments
30. Airbus A320 – intense solar radiation may corrupt data critical for flight (www.airbus.com)
    513 points by pyrophoenix 26 days ago | 174 comments