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. I believe there are entire companies right now under AI psychosis (twitter.com)
   2105 points by reasonableklout 25 days ago | 1272 comments
2. An OpenAI model has disproved a central conjecture in discrete geometry (openai.com)
   1429 points by tedsanders 20 days ago | 1055 comments
3. Bambu Lab is abusing the open source social contract (www.jeffgeerling.com)
   1404 points by rubenbe 28 days ago | 428 comments
4. Bricks and Minifigs Stole a Man's $200k Lego Collection (mybricklog.com)
   1392 points by philips 12 days ago | 624 comments
5. Using AI to write better code more slowly (nolanlawson.com)
   1257 points by signa11 15 days ago | 446 comments
6. Show HN: Performative-UI – A react component library of design tropes (vorpus.github.io)
   1116 points by lizhang 1 day ago | 202 comments
7. Postmortem: TanStack NPM supply-chain compromise (tanstack.com)
   1097 points by varunsharma07 29 days ago | 465 comments
8. GitHub confirms breach of 3,800 repos via malicious VSCode extension (www.bleepingcomputer.com)
   1054 points by Timofeibu 20 days ago | 460 comments
9. I'm going back to writing code by hand (blog.k10s.dev)
   1038 points by dropbox_miner 30 days ago | 617 comments
10. Microsoft Office 2019 and 2021 for Mac view-only conversion (consumerrights.wiki)
    1014 points by antipurist 10 days ago | 376 comments
11. If AI writes your code, why use Python? (medium.com)
    919 points by indigodaddy 29 days ago | 980 comments
12. Why Japanese companies do so many different things (davidoks.blog)
    910 points by d0ks 18 days ago | 407 comments
13. Why senior developers fail to communicate their expertise (www.nair.sh)
    826 points by nilirl 28 days ago | 333 comments
14. Artificial intelligence is not conscious – Ted Chiang (www.theatlantic.com)
    793 points by lordleft 6 days ago | 1379 comments
15. DeepSeek reasonix, DeepSeek native coding agent with high caching and low cost (esengine.github.io)
    729 points by Alifatisk 16 days ago | 288 comments
16. Throwing AI-generated walls of text into conversations (noslopgrenade.com)
    717 points by napolux 19 days ago | 417 comments
17. Meta confirms 1000s of Instagram accounts were hacked by abusing its AI chatbot (this.weekinsecurity.com)
    703 points by speckx 3 days ago | 264 comments
18. Adafruit receives demand letter from Fenwick legal counsel on behalf of Flux.ai (blog.adafruit.com)
    680 points by semanser 7 days ago | 282 comments
19. Codex just found a "workaround" of not having sudo on my PC (twitter.com)
    664 points by thunderbong 9 days ago | 311 comments
20. U.S. to dismantle system tracking Atlantic currents that are at risk of collapse (e360.yale.edu)
    644 points by rguiscard 6 days ago | 485 comments
21. Gmail registration now requires scanning a QR code and sending a text message (discuss.privacyguides.net)
    637 points by negura 30 days ago | 517 comments
22. OpenCV 5 Is Here: The Biggest Leap in Years for Computer Vision (opencv.org)
    601 points by ternaus 4 days ago | 108 comments
23. Mouseless – keyboard-driven control of macOS/Linux/Windows (mouseless.click)
    596 points by riddley 6 days ago | 248 comments
24. Big tech's anti-labor playbook has come for Wikipedia (medium.com)
    579 points by cdrnsf 14 days ago | 350 comments
25. Zerostack – A Unix-inspired coding agent written in pure Rust (crates.io)
    575 points by gidellav 24 days ago | 308 comments
26. The memory shortage is causing a repricing of consumer electronics (davidoks.blog)
    544 points by d0ks 19 days ago | 653 comments
27. MAI-Code-1-Flash (microsoft.ai)
    540 points by EvanZhouDev 7 days ago | 254 comments
28. Creatine raises brain energy levels and slows cognitive decline: study (thesciverse.org)
    531 points by MrJagil 9 days ago | 374 comments
29. Anthropic confidentially submits draft S-1 to the SEC (www.anthropic.com)
    530 points by surprisetalk 8 days ago | 451 comments
30. Microsoft open-sources “the earliest DOS source code discovered to date” (arstechnica.com)
    517 points by DamnInteresting 17 days ago | 197 comments