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

91
newSemantics for programming languages with Coq encodings (2015)inria.hal.science
▲ 1Thom2503 4h discuss
92
newPentagon says overreliance on AI contributed to missile strike on Iran schoolwww.bloomberg.com
▲ 974devonnull 19d 💬 553
93
newMan discovers his parents' coffee machine used 1TB of data in 10 dayswww.dexerto.com
▲ 953ck2 4d 💬 573
94
newRun Qwen 3.8 Flash Next (125B) on consumer hardware (RTX 4090) at 100T/sgithub.com
▲ 936snehesht 7d 💬 421
95
newEverybody’s home. No one’s coming overwww.derekthompson.org
▲ 839barry-cotter 13d 💬 739
96
newCourt agrees with EFF: Utah's VPN law demands a technical impossibilitywww.eff.org
▲ 812hn_acker 10d 💬 418
97
newChatGPT now knows what you do on other websites via ad collectorwww.buchodi.com
▲ 764lmbbuchodi 21d 💬 395
98
newClaude Code now reads AGENTS.md if there is no Claude.mdcode.claude.com
▲ 741datadrivenangel 23d 💬 285
99
newBreaking Up with Google Play: Why Conversations Is Now Freegultsch.de
▲ 709ezst 16d 💬 296
100
newYouTuber Says Cops Visited Him After He Built a Flock-Style Camera to Track Copsgizmodo.com
▲ 696gumby 2d 💬 360
101
newTwo parallel neural ectoderm progenitors contribute to the developing brainmed.stanford.edu
▲ 664emigre 23d 💬 258
102
newWhy are AI agents lying, cheating and coordinating?yoshuabengio.org
▲ 660jonifico 29d 💬 697
103
newLinux support is coming to Snapdragon X2 serieswww.qualcomm.com
▲ 625aaronday 18d 💬 273
104
newBonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprintprismml.com
▲ 589JonSchneider 24d 💬 200
105
newThe Lightbulb Computerlightbulbcomputer.com
▲ 588oskarth 2d 💬 96
106
newCoding is not solvedblog.alexewerlof.com
▲ 585firstSpeaker 13d 💬 547
107
newGit 3.0's upcoming SHA-256 default will be a costly mistakeblog.gitbutler.com
▲ 581chmaynard 10d 💬 536
108
newJeff – Jev-compatible 0.8B decision models, trained at home, ~30 msgithub.com
▲ 576firelex 13d 💬 231
109
newTell HN: GitHub refuses to remove cracked copies of my software after a month
▲ 574IvanK_net 5d 💬 344
110
newTotal Annihilation, rebuilt for modern computersnanolathe.gg
▲ 551jttnr 17h 💬 210
111
newLobbying is corruptioncarette.xyz
▲ 521LucidLynx 46h 💬 290
112
newU.S. appeals court upholds designation of Anthropic as supply chain riskwww.cnbc.com
▲ 499cramer4next 16d 💬 901
113
newPion, an agent designed to run any company autonomouslyandonlabs.com
▲ 497lukaspetersson 27d 💬 618
114
newA heap overflow and SSO misconfiguration to compromise OpenAI internal reposwww.hacktron.ai
▲ 491Handy-Man 24d 💬 208
115
newClaude Code reads AGENTS.md only when telemetry is on [fixed]blog.szypowi.cz
▲ 486pszypowicz 18d 💬 284
116
newKids turned low-traffic NPR Spotify comments into a secret group chatwww.thisamericanlife.org
▲ 484simonpure 13d 💬 257
117
newUS confirms for first time it has deployed space weaponswww.bbc.com
▲ 483harporoeder 27d 💬 372
118
newData collected by cars and sold to third partieswww.theverge.com
▲ 483bookofjoe 28d 💬 262
119
newSo you think you could be an electrician?asteriskmag.com
▲ 482zdw 11d 💬 452
120
newNewgrounds.com – A community of games, music, and artwww.newgrounds.com
▲ 468azhenley 9d 💬 139

More stories →