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.

1. Show HN: Apollo, your personal Home Assistant (github.com)
   1 points by ralphdawg 27 days ago | discuss
2. Implementation of Dependent Types (www.cse.chalmers.se)
   3 points by fanf2 25 days ago | 1 comments
3. Wellsaid Review (coquitts.com)
   2 points by kamatour 2 days ago | discuss
4. How does browser automation with browsergpt by civai work (app.vearn.co)
   2 points by usecodenaija 27 days ago | discuss
5. Self-hosting your own media considered harmful according to YouTube (www.jeffgeerling.com)
   1634 points by DavideNL 26 days ago | 760 comments
6. The time bomb in the tax code that's fueling mass tech layoffs (qz.com)
   1575 points by booleanbetrayal 28 days ago | 947 comments
7. Honda conducts successful launch and landing of experimental reusable rocket (global.honda)
   1355 points by LorenDB 14 days ago | 422 comments
8. OpenAI slams court order to save all ChatGPT logs, including deleted chats (arstechnica.com)
   1132 points by ColinWright 27 days ago | 933 comments
9. Apple announces Foundation Models and Containerization frameworks, etc (www.apple.com)
   860 points by thm 22 days ago | 489 comments
10. The new skill in AI is not prompting, it's context engineering (www.philschmid.de)
    857 points by robotswantdata 1 day ago | 488 comments
11. Show HN: Workout.cool – Open-source fitness coaching platform (github.com)
    827 points by surgomat 14 days ago | 233 comments
12. Containerization is a Swift package for running Linux containers on macOS (github.com)
    769 points by gok 22 days ago | 409 comments
13. US-backed Israeli company's spyware used to target European journalists (apnews.com)
    734 points by 01-_- 19 days ago | 385 comments
14. I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)
    687 points by AndrewDucker 18 days ago | 497 comments
15. Congratulations on creating the one billionth repository on GitHub (github.com)
    625 points by petercooper 20 days ago | 137 comments
16. Proton joins suit against Apple for practices that harm developers and consumers (proton.me)
    608 points by moose44 1 day ago | 589 comments
17. "Localhost tracking" explained. It could cost Meta €32B (www.zeropartydata.es)
    598 points by donohoe 22 days ago | 274 comments
18. Backyard Coffee and Jazz in Kyoto (thedeletedscenes.substack.com)
    595 points by wyclif 8 days ago | 267 comments
19. Covert web-to-app tracking via localhost on Android (localmess.github.io)
    581 points by sebastian_z 29 days ago | 343 comments
20. Man 'refused entry into US' as border control catch him with bald JD Vance meme (www.dublinlive.ie)
    578 points by miles 7 days ago | 545 comments
21. Git Notes: Git's coolest, most unloved­ feature (2022) (tylercipriani.com)
    578 points by Delgan 10 days ago | 145 comments
22. Define policy forbidding use of AI code generators (github.com)
    549 points by todsacerdoti 6 days ago | 411 comments
23. -2000 Lines of code (2004) (www.folklore.org)
    539 points by xeonmc 6 days ago | 245 comments
24. Waymo rides cost more than Uber or Lyft and people are paying anyway (techcrunch.com)
    509 points by achristmascarl 19 days ago | 890 comments
25. EU Commission refuses to disclose authors behind its mass surveillance proposal (old.reddit.com)
    497 points by nickslaughter02 29 days ago | 280 comments
26. Joining Apple Computer (2018) (www.folklore.org)
    457 points by tosh 24 days ago | 123 comments
27. Convert photos to Atkinson dithering (gazs.github.io)
    438 points by nvahalik 24 days ago | 54 comments
28. Tell HN: Beware confidentiality agreements that act as lifetime non competes
    416 points by throwarayes 10 days ago | 255 comments
29. US Supreme Court limits federal judges' power to block Trump orders (www.theguardian.com)
    414 points by leotravis10 4 days ago | 777 comments
30. Low-background Steel: content without AI contamination (blog.jgc.org)
    408 points by jgrahamc 21 days ago | 269 comments