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 12 days ago | 4 comments
2. Show HN: A verified foundation of mathematics in Coq (Theory of Systems)
   1 points by Horsocrates about 13 hours ago | discuss
3. TLHO – A domain-agnostic, fail-closed verification substrate
   2 points by tlho 25 days ago | discuss
4. Show HN: ReFlow Studio – An offline tool to dub, translate, and censor videos (github.com)
   1 points by linearAmend 7 days ago | discuss
5. Cowork: Claude Code for the rest of your work (claude.com)
   1298 points by adocomplete 11 days ago | 565 comments
6. GOG is getting acquired by its original co-founder (www.gog.com)
   871 points by haunter 25 days ago | 559 comments
7. Claude Cowork exfiltrates files (www.promptarmor.com)
   870 points by takira 9 days ago | 399 comments
8. How to code Claude Code in 200 lines of code (www.mihaileric.com)
   816 points by nutellalover 15 days ago | 240 comments
9. American importers and consumers bear the cost of 2025 tariffs: analysis (www.kielinstitut.de)
   783 points by 47282847 4 days ago | 783 comments
10. How we lost communication to entertainment (ploum.net)
    701 points by 8organicbits 27 days ago | 397 comments
11. Your brain on ChatGPT: Accumulation of cognitive debt when using an AI assistant (www.media.mit.edu)
    684 points by misswaterfairy 2 days ago | 487 comments
12. Tesla’s 4680 battery supply chain collapses as partner writes down deal by 99% (electrek.co)
    672 points by coloneltcb 25 days ago | 804 comments
13. Netflix Open Content (opencontent.netflix.com)
    667 points by tosh 25 days ago | 135 comments
14. Anthropic blocks third-party use of Claude Code subscriptions (github.com)
    625 points by sergiotapia 15 days ago | 513 comments
15. Briar keeps Iran connected via Bluetooth and Wi-Fi when the internet goes dark (briarproject.org)
    603 points by us321 8 days ago | 368 comments
16. Dell admits consumers don't care about AI PCs (www.pcgamer.com)
    580 points by mossTechnician 16 days ago | 405 comments
17. Stop Doom Scrolling, Start Doom Coding: Build via the terminal from your phone (github.com)
    577 points by rbergamini27 17 days ago | 405 comments
18. Claude's new constitution (www.anthropic.com)
    575 points by meetpateltech 2 days ago | 691 comments
19. The creator of Claude Code's Claude setup (twitter.com)
    568 points by KothuRoti 21 days ago | 403 comments
20. Claude Code On-the-Go (granda.org)
    543 points by todsacerdoti 19 days ago | 335 comments
21. We put Claude Code in Rollercoaster Tycoon (labs.ramp.com)
    526 points by iamwil 11 days ago | 287 comments
22. Show HN: I used Claude Code to discover connections between 100 books (trails.pieterma.es)
    524 points by pmaze 13 days ago | 146 comments
23. Amazon is ending all inventory commingling as of March 31, 2026 (twitter.com)
    519 points by MrBuddyCasino 4 days ago | 259 comments
24. Show HN: Z80-μLM, a 'Conversational AI' That Fits in 40KB (github.com)
    514 points by quesomaster9000 26 days ago | 122 comments
25. Code and Let Live (fly.io)
    508 points by usrme 14 days ago | 189 comments
26. SparkFun Officially Dropping AdaFruit due to CoC Violation (www.sparkfun.com)
    504 points by yaleman 9 days ago | 533 comments
27. My insulin pump controller uses the Linux kernel. It also violates the GPL (old.reddit.com)
    504 points by davisr 28 days ago | 262 comments
28. Proton Spam and the AI Consent Problem (dbushell.com)
    459 points by dbushell about 17 hours ago | 317 comments
29. AI coding assistants are getting worse? (spectrum.ieee.org)
    451 points by voxadam 15 days ago | 740 comments
30. Parental controls aren't for parents (beasthacker.com)
    451 points by beasthacker 21 days ago | 455 comments