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.

RSS feed for Coq

Related:Rust Lean

631
newSemantics for programming languages with Coq encodings (2015)inria.hal.science
▲ 1Thom2503 15h discuss
632
newPentagon says overreliance on AI contributed to missile strike on Iran schoolwww.bloomberg.com
▲ 974devonnull 20d 💬 553
633
newMan discovers his parents' coffee machine used 1TB of data in 10 dayswww.dexerto.com
▲ 955ck2 5d 💬 572
634
newRun Qwen 3.8 Flash Next (125B) on consumer hardware (RTX 4090) at 100T/sgithub.com
▲ 936snehesht 8d 💬 420
635
newEverybody’s home. No one’s coming overwww.derekthompson.org
▲ 839barry-cotter 13d 💬 739
636
newCourt agrees with EFF: Utah's VPN law demands a technical impossibilitywww.eff.org
▲ 813hn_acker 11d 💬 418
637
newChatGPT now knows what you do on other websites via ad collectorwww.buchodi.com
▲ 764lmbbuchodi 22d 💬 395
638
newClaude Code now reads AGENTS.md if there is no Claude.mdcode.claude.com
▲ 741datadrivenangel 24d 💬 285
639
newBreaking Up with Google Play: Why Conversations Is Now Freegultsch.de
▲ 709ezst 16d 💬 296
640
newYouTuber Says Cops Visited Him After He Built a Flock-Style Camera to Track Copsgizmodo.com
▲ 703gumby 3d 💬 360
641
newFingerprints are the new cookiesroyfish.dev
▲ 700royfish 24h 💬 337
642
newTwo parallel neural ectoderm progenitors contribute to the developing brainmed.stanford.edu
▲ 664emigre 23d 💬 258
643
newTotal Annihilation, rebuilt for modern computersnanolathe.gg
▲ 662jttnr 29h 💬 249
644
newWhy are AI agents lying, cheating and coordinating?yoshuabengio.org
▲ 660jonifico 29d 💬 697
645
newLinux support is coming to Snapdragon X2 serieswww.qualcomm.com
▲ 625aaronday 19d 💬 273
646
newThe Lightbulb Computerlightbulbcomputer.com
▲ 596oskarth 2d 💬 98
647
newBonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprintprismml.com
▲ 589JonSchneider 25d 💬 200
648
newCoding is not solvedblog.alexewerlof.com
▲ 585firstSpeaker 14d 💬 547
649
newGit 3.0's upcoming SHA-256 default will be a costly mistakeblog.gitbutler.com
▲ 581chmaynard 11d 💬 536
650
newTell HN: GitHub refuses to remove cracked copies of my software after a month
▲ 576IvanK_net 6d 💬 345
651
newJeff – Jev-compatible 0.8B decision models, trained at home, ~30 msgithub.com
▲ 576firelex 14d 💬 231
652
newLobbying is corruptioncarette.xyz
▲ 522LucidLynx 2d 💬 291
653
newU.S. appeals court upholds designation of Anthropic as supply chain riskwww.cnbc.com
▲ 499cramer4next 17d 💬 901
654
newPion, an agent designed to run any company autonomouslyandonlabs.com
▲ 497lukaspetersson 28d 💬 618
655
newA heap overflow and SSO misconfiguration to compromise OpenAI internal reposwww.hacktron.ai
▲ 491Handy-Man 24d 💬 208
656
newClaude Code reads AGENTS.md only when telemetry is on [fixed]blog.szypowi.cz
▲ 486pszypowicz 19d 💬 284
657
newKids turned low-traffic NPR Spotify comments into a secret group chatwww.thisamericanlife.org
▲ 484simonpure 14d 💬 257
658
newUS confirms for first time it has deployed space weaponswww.bbc.com
▲ 483harporoeder 27d 💬 372
659
newData collected by cars and sold to third partieswww.theverge.com
▲ 483bookofjoe 29d 💬 262
660
newSo you think you could be an electrician?asteriskmag.com
▲ 482zdw 12d 💬 453

More stories →