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.
- CVE program faces swift end after DHS fails to renew contract [updated] (www.csoonline.com)
- Judge rules Apple executive lied under oath, makes criminal contempt referral (www.thebignewsletter.com)
- DOGE worker’s code supports NLRB whistleblower (krebsonsecurity.com)
- Zed: High-performance AI Code Editor (zed.dev)
- Open guide to equity compensation (github.com)
- ALICE detects the conversion of lead into gold at the LHC (www.home.cern)
- CLion Is Now Free for Non-Commercial Use (blog.jetbrains.com)
- Claude Code: Best practices for agentic coding (www.anthropic.com)
- Gemma 3 QAT Models: Bringing AI to Consumer GPUs (developers.googleblog.com)
- Cozy video games can quell stress and anxiety (www.reuters.com)
- The Friendship Recession: The lost art of connecting (www.happiness.hks.harvard.edu)
- A faster way to copy SQLite databases between computers (alexwlchan.net)
- Why did Windows 7 log on slower for months if you had a solid color background? (devblogs.microsoft.com)
- How a single line of code could brick your iPhone (rambo.codes)
- How the US defense secretary circumvents official DoD communications equipment (www.electrospaces.net)
- Things Zig comptime won't do (matklad.github.io)
- U.S. Economy Contracts at 0.3% Rate in First Quarter (www.wsj.com)
- Third party cookies must be removed (w3ctag.github.io)
- Amazon to display tariff costs for consumers (punchbowl.news)
- Full Text Search of US Court records (www.judyrecords.com)
- Car companies are in a billion-dollar software war (insideevs.com)
- VVVVVV Source Code (github.com)
- US Copyright Office found AI companies breach copyright. Its boss was fired (www.theregister.com)