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

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

More stories →