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: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com)
   2 points by shariq81 6 days ago | discuss
2. Show HN: FuturLang – Natural language formal verification
   1 points by wapiou 28 days ago | 1 comments
3. Show HN: Podvoice – Local-first CLI to turn Markdown into multi-speaker audio (github.com)
   1 points by aman179102 6 days ago | discuss
4. Show HN: CPU-based Neural Net. Zero floats. Returns "I don't know" (github.com)
   1 points by kwojno 26 days ago | discuss
5. GPT-5.3-Codex (openai.com)
   1530 points by meetpateltech 22 days ago | 605 comments
6. Trump's global tariffs struck down by US Supreme Court (www.bbc.com)
   1527 points by blackguardx 8 days ago | 1289 comments
7. Facebook is cooked (pilk.website)
   1512 points by npilk 7 days ago | 844 comments
8. I'm helping my dog vibe code games (www.calebleak.com)
   1104 points by cleak 4 days ago | 375 comments
9. Claude Code is being dumbed down? (symmetrybreak.ing)
   1085 points by WXLCKNO 16 days ago | 702 comments
10. Warcraft III Peon Voice Notifications for Claude Code (github.com)
    1006 points by doppp 16 days ago | 301 comments
11. How I use Claude Code: Separation of planning and execution (boristane.com)
    969 points by vinhnx 6 days ago | 590 comments
12. GPT‑5.3‑Codex‑Spark (openai.com)
    890 points by meetpateltech 15 days ago | 387 comments
13. Resizing windows on macOS Tahoe – the saga continues (noheger.at)
    876 points by erickhill 15 days ago | 522 comments
14. Defeating a 40-year-old copy protection dongle (dmitrybrant.com)
    859 points by zdw 26 days ago | 290 comments
15. Improving 15 LLMs at Coding in One Afternoon. Only the Harness Changed (blog.can.ac)
    832 points by kachapopopow 16 days ago | 298 comments
16. The Codex App (openai.com)
    805 points by meetpateltech 25 days ago | 638 comments
17. Windows Notepad App Remote Code Execution Vulnerability (www.cve.org)
    804 points by riffraff 17 days ago | 516 comments
18. Claude Code daily benchmarks for degradation tracking (marginlab.ai)
    760 points by qwesr123 30 days ago | 355 comments
19. We tasked Opus 4.6 using agent teams to build a C Compiler (www.anthropic.com)
    735 points by modeless 22 days ago | 738 comments
20. Qwen3-Coder-Next (qwen.ai)
    735 points by danielhanchen 25 days ago | 429 comments
21. Modern CSS Code Snippets: Stop writing CSS like it's 2015 (modern-css.com)
    708 points by eustoria 12 days ago | 304 comments
22. Statement on the comments from Secretary of War Pete Hegseth (www.anthropic.com)
    693 points by surprisetalk about 4 hours ago | 239 comments
23. Tell HN: YC companies scrape GitHub activity, send spam emails to users
    669 points by miki123211 2 days ago | 254 comments
24. Start all of your commands with a comma (2009) (rhodesmill.org)
    655 points by theblazehen 23 days ago | 244 comments
25. Converting a $3.88 analog clock from Walmart into a ESP8266-based Wi-Fi clock (github.com)
    606 points by tokyobreakfast 19 days ago | 193 comments
26. FBI couldn't get into WaPo reporter's iPhone because Lockdown Mode enabled (www.404media.co)
    600 points by robin_reala 24 days ago | 530 comments
27. Pi – A minimal terminal coding harness (pi.dev)
    596 points by kristianpaul 3 days ago | 303 comments
28. What Claude Code chooses (amplifying.ai)
    587 points by tin7in 1 day ago | 222 comments
29. A new bill in New York would require disclaimers on AI-generated news content (www.niemanlab.org)
    583 points by giuliomagnifico 22 days ago | 245 comments
30. News publishers limit Internet Archive access due to AI scraping concerns (www.niemanlab.org)
    569 points by ninjagoo 13 days ago | 364 comments