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: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com)
   9 points by nwthiele 26 days ago | 4 comments
2. Show HN: A verified foundation of mathematics in Coq (Theory of Systems)
   1 points by Horsocrates 15 days ago | discuss
3. Show HN: FuturLang – Natural language formal verification
   1 points by wapiou 7 days ago | 1 comments
4. Show HN: CPU-based Neural Net. Zero floats. Returns "I don't know" (github.com)
   1 points by kwojno 5 days ago | discuss
5. Show HN: ReFlow Studio – An offline tool to dub, translate, and censor videos (github.com)
   1 points by linearAmend 21 days ago | discuss
6. TikTok users can't upload anti-ICE videos. The company blames tech issues (www.cnn.com)
   1495 points by kotaKat 11 days ago | 1003 comments
7. GPT-5.3-Codex (openai.com)
   1482 points by meetpateltech 1 day ago | 586 comments
8. Cowork: Claude Code for the rest of your work (claude.com)
   1298 points by adocomplete 25 days ago | 565 comments
9. A few random notes from Claude coding quite a bit last few weeks (twitter.com)
   911 points by bigwheels 11 days ago | 847 comments
10. Claude Cowork exfiltrates files (www.promptarmor.com)
    870 points by takira 23 days ago | 399 comments
11. Defeating a 40-year-old copy protection dongle (dmitrybrant.com)
    855 points by zdw 5 days ago | 285 comments
12. How to code Claude Code in 200 lines of code (www.mihaileric.com)
    816 points by nutellalover 29 days ago | 240 comments
13. The Codex App (openai.com)
    803 points by meetpateltech 4 days ago | 632 comments
14. American importers and consumers bear the cost of 2025 tariffs: analysis (www.kielinstitut.de)
    787 points by 47282847 18 days ago | 783 comments
15. Claude Code daily benchmarks for degradation tracking (marginlab.ai)
    759 points by qwesr123 9 days ago | 354 comments
16. Qwen3-Coder-Next (qwen.ai)
    730 points by danielhanchen 3 days ago | 428 comments
17. Your brain on ChatGPT: Accumulation of cognitive debt when using an AI assistant (www.media.mit.edu)
    710 points by misswaterfairy 16 days ago | 511 comments
18. We tasked Opus 4.6 using agent teams to build a C Compiler (www.anthropic.com)
    700 points by modeless 1 day ago | 681 comments
19. Google confirms 'high-friction' sideloading flow is coming to Android (www.androidauthority.com)
    651 points by _____k 18 days ago | 732 comments
20. Heathrow scraps liquid container limit (www.bbc.com)
    632 points by robotsliketea 14 days ago | 817 comments
21. Anthropic blocks third-party use of Claude Code subscriptions (github.com)
    625 points by sergiotapia 29 days ago | 513 comments
22. Briar keeps Iran connected via Bluetooth and Wi-Fi when the internet goes dark (briarproject.org)
    604 points by us321 22 days ago | 368 comments
23. FBI couldn't get into WaPo reporter's iPhone because Lockdown Mode enabled (www.404media.co)
    598 points by robin_reala 3 days ago | 527 comments
24. Claude's new constitution (www.anthropic.com)
    579 points by meetpateltech 16 days ago | 701 comments
25. Proton spam and the AI consent problem (dbushell.com)
    557 points by dbushell 15 days ago | 428 comments
26. Netflix Animation Studios Joins the Blender Development Fund as Corporate Patron (www.blender.org)
    534 points by vidyesh 8 days ago | 111 comments
27. Show HN: NanoClaw – “Clawdbot” in 500 lines of TS with Apple container isolation (github.com)
    527 points by jimminyx 5 days ago | 223 comments
28. We put Claude Code in Rollercoaster Tycoon (labs.ramp.com)
    526 points by iamwil 26 days ago | 288 comments
29. Show HN: I used Claude Code to discover connections between 100 books (trails.pieterma.es)
    524 points by pmaze 27 days ago | 146 comments
30. Amazon is ending all inventory commingling as of March 31, 2026 (twitter.com)
    523 points by MrBuddyCasino 19 days ago | 259 comments