Hackernews posts about Coq

1. 991
   

   newSemantics for programming languages with Coq encodings (2015)inria.hal.science

   ▲ 1Thom250325hdiscusssavesaved
2. 992
   

   newPentagon says overreliance on AI contributed to missile strike on Iran schoolwww.bloomberg.com

   ▲ 974devonnull20d💬 553savesaved
3. 993
   

   newMan discovers his parents' coffee machine used 1TB of data in 10 dayswww.dexerto.com

   ▲ 959ck25d💬 573savesaved
4. 994
   

   newRun Qwen 3.8 Flash Next (125B) on consumer hardware (RTX 4090) at 100T/sgithub.com

   ▲ 936snehesht8d💬 420savesaved
5. 995
   

   newEverybody’s home. No one’s coming overwww.derekthompson.org

   ▲ 840barry-cotter13d💬 739savesaved
6. 996
   

   newCourt agrees with EFF: Utah's VPN law demands a technical impossibilitywww.eff.org

   ▲ 813hn_acker11d💬 418savesaved
7. 997
   

   newChatGPT now knows what you do on other websites via ad collectorwww.buchodi.com

   ▲ 764lmbbuchodi22d💬 395savesaved
8. 998
   

   newClaude Code now reads AGENTS.md if there is no Claude.mdcode.claude.com

   ▲ 741datadrivenangel24d💬 285savesaved
9. 999
   

   newFingerprints are the new cookiesroyfish.dev

   ▲ 721royfish34h💬 356savesaved
10. 1000
    

    newBreaking Up with Google Play: Why Conversations Is Now Freegultsch.de

    ▲ 709ezst16d💬 296savesaved
11. 1001
    

    newYouTuber Says Cops Visited Him After He Built a Flock-Style Camera to Track Copsgizmodo.com

    ▲ 704gumby3d💬 362savesaved
12. 1002
    

    newTotal Annihilation, rebuilt for modern computersnanolathe.gg

    ▲ 675jttnr39h💬 257savesaved
13. 1003
    

    newTwo parallel neural ectoderm progenitors contribute to the developing brainmed.stanford.edu

    ▲ 664emigre24d💬 258savesaved
14. 1004
    

    newLinux support is coming to Snapdragon X2 serieswww.qualcomm.com

    ▲ 625aaronday19d💬 273savesaved
15. 1005
    

    newThe Lightbulb Computerlightbulbcomputer.com

    ▲ 604oskarth3d💬 99savesaved
16. 1006
    

    newBonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprintprismml.com

    ▲ 589JonSchneider25d💬 200savesaved
17. 1007
    

    newCoding is not solvedblog.alexewerlof.com

    ▲ 585firstSpeaker14d💬 547savesaved
18. 1008
    

    newGit 3.0's upcoming SHA-256 default will be a costly mistakeblog.gitbutler.com

    ▲ 581chmaynard11d💬 536savesaved
19. 1009
    

    newTell HN: GitHub refuses to remove cracked copies of my software after a month

    ▲ 578IvanK_net6d💬 345savesaved
20. 1010
    

    newJeff – Jev-compatible 0.8B decision models, trained at home, ~30 msgithub.com

    ▲ 576firelex14d💬 231savesaved
21. 1011
    

    newCodex CLI installs a persistent, self-updating background daemon by defaultgithub.com

    ▲ 559whimblepop14h💬 273savesaved
22. 1012
    

    newLobbying is corruptioncarette.xyz

    ▲ 522LucidLynx2d💬 292savesaved
23. 1013
    

    newU.S. appeals court upholds designation of Anthropic as supply chain riskwww.cnbc.com

    ▲ 499cramer4next17d💬 901savesaved
24. 1014
    

    newPion, an agent designed to run any company autonomouslyandonlabs.com

    ▲ 497lukaspetersson28d💬 618savesaved
25. 1015
    

    newA heap overflow and SSO misconfiguration to compromise OpenAI internal reposwww.hacktron.ai

    ▲ 491Handy-Man25d💬 208savesaved
26. 1016
    

    newClaude Code reads AGENTS.md only when telemetry is on [fixed]blog.szypowi.cz

    ▲ 486pszypowicz19d💬 284savesaved
27. 1017
    

    newKids turned low-traffic NPR Spotify comments into a secret group chatwww.thisamericanlife.org

    ▲ 484simonpure14d💬 257savesaved
28. 1018
    

    newUS confirms for first time it has deployed space weaponswww.bbc.com

    ▲ 483harporoeder28d💬 372savesaved
29. 1019
    

    newData collected by cars and sold to third partieswww.theverge.com

    ▲ 483bookofjoe29d💬 262savesaved
30. 1020
    

    newSo you think you could be an electrician?asteriskmag.com

    ▲ 482zdw12d💬 453savesaved

· edit