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

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

More stories →