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: A verified foundation of mathematics in Coq (Theory of Systems)
   1 points by Horsocrates 22 days ago | discuss
2. Show HN: FuturLang – Natural language formal verification
   1 points by wapiou 14 days ago | 1 comments
3. Show HN: CPU-based Neural Net. Zero floats. Returns "I don't know" (github.com)
   1 points by kwojno 12 days ago | discuss
4. Show HN: ReFlow Studio – An offline tool to dub, translate, and censor videos (github.com)
   1 points by linearAmend 28 days ago | discuss
5. GPT-5.3-Codex (openai.com)
   1529 points by meetpateltech 8 days ago | 604 comments
6. TikTok users can't upload anti-ICE videos. The company blames tech issues (www.cnn.com)
   1495 points by kotaKat 18 days ago | 1003 comments
7. Claude Code is being dumbed down? (symmetrybreak.ing)
   1069 points by WXLCKNO 2 days ago | 687 comments
8. Warcraft III Peon Voice Notifications for Claude Code (github.com)
   989 points by doppp 2 days ago | 296 comments
9. A few random notes from Claude coding quite a bit last few weeks (twitter.com)
   913 points by bigwheels 18 days ago | 848 comments
10. GPT‑5.3‑Codex‑Spark (openai.com)
    874 points by meetpateltech 1 day ago | 375 comments
11. Defeating a 40-year-old copy protection dongle (dmitrybrant.com)
    859 points by zdw 12 days ago | 291 comments
12. Resizing windows on macOS Tahoe – the saga continues (noheger.at)
    845 points by erickhill 1 day ago | 483 comments
13. The Codex App (openai.com)
    805 points by meetpateltech 11 days ago | 638 comments
14. Windows Notepad App Remote Code Execution Vulnerability (www.cve.org)
    801 points by riffraff 3 days ago | 514 comments
15. Improving 15 LLMs at Coding in One Afternoon. Only the Harness Changed (blog.can.ac)
    797 points by kachapopopow 1 day ago | 287 comments
16. American importers and consumers bear the cost of 2025 tariffs: analysis (www.kielinstitut.de)
    787 points by 47282847 26 days ago | 783 comments
17. Claude Code daily benchmarks for degradation tracking (marginlab.ai)
    760 points by qwesr123 16 days ago | 355 comments
18. Qwen3-Coder-Next (qwen.ai)
    735 points by danielhanchen 11 days ago | 429 comments
19. We tasked Opus 4.6 using agent teams to build a C Compiler (www.anthropic.com)
    734 points by modeless 8 days ago | 736 comments
20. Your brain on ChatGPT: Accumulation of cognitive debt when using an AI assistant (www.media.mit.edu)
    710 points by misswaterfairy 23 days ago | 511 comments
21. Google confirms 'high-friction' sideloading flow is coming to Android (www.androidauthority.com)
    651 points by _____k 25 days ago | 732 comments
22. Start all of your commands with a comma (2009) (rhodesmill.org)
    651 points by theblazehen 9 days ago | 243 comments
23. Heathrow scraps liquid container limit (www.bbc.com)
    632 points by robotsliketea 21 days ago | 818 comments
24. Converting a $3.88 analog clock from Walmart into a ESP8266-based Wi-Fi clock (github.com)
    605 points by tokyobreakfast 5 days ago | 193 comments
25. Briar keeps Iran connected via Bluetooth and Wi-Fi when the internet goes dark (briarproject.org)
    604 points by us321 29 days ago | 368 comments
26. FBI couldn't get into WaPo reporter's iPhone because Lockdown Mode enabled (www.404media.co)
    600 points by robin_reala 10 days ago | 530 comments
27. A new bill in New York would require disclaimers on AI-generated news content (www.niemanlab.org)
    583 points by giuliomagnifico 8 days ago | 245 comments
28. Claude's new constitution (www.anthropic.com)
    579 points by meetpateltech 24 days ago | 701 comments
29. Proton spam and the AI consent problem (dbushell.com)
    557 points by dbushell 22 days ago | 428 comments
30. Frontier AI agents violate ethical constraints 30–50% of time, pressured by KPIs (arxiv.org)
    544 points by tiny-automates 4 days ago | 366 comments