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 13 days ago | 74 comments
2. Formal Proof: LLM Hallucinations Are Structural, Not Statistical (Coq Verified) (philpapers.org)
   2 points by ICBTheory 8 days ago | 3 comments
3. Coding is the purest form of art
   1 points by learningstud 9 days ago | 4 comments
4. Great analysis of classic Dutch Renaissance painting (www.youtube.com)
   1 points by lifeisstillgood about 17 hours ago | discuss
5. Advent of Code 2025 (adventofcode.com)
   1241 points by vismit2000 9 days ago | 397 comments
6. Migrating the main Zig repository from GitHub to Codeberg (ziglang.org)
   926 points by todsacerdoti 13 days ago | 893 comments
7. Search tool that only returns content created before ChatGPT's public release (tegabrain.com)
   886 points by dmitrygr 9 days ago | 369 comments
8. Leak confirms OpenAI is preparing ads on ChatGPT for public roll out (www.bleepingcomputer.com)
   854 points by fleahunter 11 days ago | 737 comments
9. The disguised return of EU Chat Control (reclaimthenet.org)
   854 points by egorfine 25 days ago | 340 comments
10. OpenAI declares 'code red' as Google catches up in AI race (www.theverge.com)
    819 points by goplayoutside 7 days ago | 929 comments
11. Reverse engineering a $1B Legal AI tool exposed 100k+ confidential files (alexschapiro.com)
    817 points by bearsyankees 6 days ago | 289 comments
12. Micron Announces Exit from Crucial Consumer Business (investors.micron.com)
    761 points by simlevesque 6 days ago | 392 comments
13. How elites could shape mass preferences as AI reduces persuasion costs (arxiv.org)
    700 points by 50kIters 6 days ago | 658 comments
14. I have recordings proving Coinbase knew about breach months before disclosure (jonathanclark.com)
    685 points by jclarkcom 23 days ago | 223 comments
15. Meta buried 'causal' evidence of social media harm, US court filings allege (www.reuters.com)
    680 points by pseudolus 17 days ago | 318 comments
16. Valve is about to win the console generation (xeiaso.net)
    647 points by moonleay 27 days ago | 537 comments
17. EU Council Approves New "Chat Control" Mandate Pushing Mass Surveillance (reclaimthenet.org)
    637 points by fragebogen 12 days ago | 426 comments
18. Checkout.com hacked, refuses ransom payment, donates to security labs (www.checkout.com)
    622 points by StrangeSound 27 days ago | 284 comments
19. Core Devices keeps stealing our work (rebble.io)
    608 points by jdauriemma 22 days ago | 116 comments
20. The state of Schleswig-Holstein is consistently relying on open source (www.heise.de)
    596 points by doener 2 days ago | 281 comments
21. SlopStop: Community-driven AI slop detection in Kagi Search (blog.kagi.com)
    589 points by msub2 26 days ago | 264 comments
22. X's new country-of-origin feature reveals many 'US' accounts to be foreign-run (www.hindustantimes.com)
    557 points by ourmandave 16 days ago | 306 comments
23. GPT-5.1: A smarter, more conversational ChatGPT (openai.com)
    555 points by tedsanders 27 days ago | 726 comments
24. AI is a front for consolidation of resources and power (www.chrbutler.com)
    545 points by delaugust 20 days ago | 448 comments
25. Google Antigravity just deleted the contents of whole drive (old.reddit.com)
    542 points by tamnd 9 days ago | 482 comments
26. 1D Conway's Life glider found, 3.7B cells long (conwaylife.com)
    525 points by nooks 6 days ago | 215 comments
27. Tiny Core Linux: a 23 MB Linux distro with graphical desktop (www.tinycorelinux.net)
    520 points by LorenDB 3 days ago | 242 comments
28. Airbus A320 – intense solar radiation may corrupt data critical for flight (www.airbus.com)
    513 points by pyrophoenix 11 days ago | 174 comments
29. Americans no longer see four-year college degrees as worth the cost (www.nbcnews.com)
    494 points by jnord 10 days ago | 880 comments
30. We should all be using dependency cooldowns (blog.yossarian.net)
    489 points by todsacerdoti 18 days ago | 272 comments