Hackernews posts about BMC

1. Bmc4j – Prove your Java/Kotlin code correct from jUnit style tests (github.com)
   3 points by Grover_c13 15 days ago | 4 comments
2. Telegram's Plan to Break the Apple-Google-Meta Monopoly Runs Through Wall Street (www.disruptionbanking.com)
   4 points by bmcdresson 13 days ago | 1 comments
3. Optimization Constants in Mathematics (teorth.github.io)
   2 points by bmc7505 25 days ago | discuss
4. A backdoor in a LinkedIn job offer (roman.pt)
   1602 points by lwhsiao 5 days ago | 303 comments
5. Want your images back? That'll be $5 (www.lutr.dev)
   657 points by lutr 3 days ago | 264 comments
6. Anthropic surpasses OpenAI to become most valuable AI startup (qazinform.com)
   422 points by Bolat14 21 days ago | 472 comments
7. macOS needs its grid back (blog.hopefullyuseful.com)
   399 points by ranebo 18 days ago | 265 comments
8. Larry Ellison: "Citizens will be on their best behavior because we’re recording" (www.techradar.com)
   345 points by CharlesW 18 days ago | 264 comments
9. Outsourcing plus local AI will soon become more economical vs. frontier labs (www.signalbloom.ai)
   323 points by GodelNumbering 25 days ago | 374 comments
10. Digital Sovereignty Becomes an Imperative as the US Reads Dutch Emails (www.korte.co)
    246 points by dotcoma 8 days ago | 233 comments
11. Sam Altman and Dario Amodei are both walking back AI jobs apocalypse predictions (fortune.com)
    236 points by ianrahman 23 days ago | 178 comments
12. 1worldflag: A blue dot on a transparent background (1worldflag.com)
    198 points by davidbarker 12 days ago | 171 comments
13. How liminalism became the defining aesthetic (hyperallergic.com)
    198 points by zeech 13 days ago | 110 comments
14. How Terry Tao became an evangelist for AI in math (www.quantamagazine.org)
    192 points by Tomte 12 days ago | 178 comments
15. A Peter Thiel-Backed Tribunal Is Putting Journalists on Trial (www.hollywoodreporter.com)
    101 points by cdrnsf 8 days ago | 31 comments
16. The Internet Has Become Too American to Trust (thewalrus.ca)
    85 points by Teever 22 days ago | 27 comments
17. Reviews have become expensive, rewrites have become cheap
    82 points by _z6bq 4 days ago | 74 comments
18. Show HN: Lightweight Task queue on Erlang/OTP, SQLite-backed, no overengineering (github.com)
    75 points by ent1c3d 10 days ago | 17 comments
19. Is Fable 5 Back? (isfable5back.com)
    67 points by AussieWog93 4 days ago | 58 comments
20. Is Python Becoming Pinyin? (lernerpython.com)
    58 points by reuven 19 days ago | 79 comments
21. When su replaced login for becoming another Unix login (utcc.utoronto.ca)
    58 points by ankitg12 16 days ago | 27 comments
22. Elon Musk Becomes First Trillionaire as SpaceX Starts Trading (www.nytimes.com)
    50 points by droidjj 8 days ago | 80 comments
23. Sweden becomes a smoke-free country (www.thelocal.se)
    47 points by Teever 25 days ago | 38 comments
24. Dutch children are unusually happy and healthy. Because of this walking ritual? (www.theguardian.com)
    44 points by monkey_monkey 4 days ago | 15 comments
25. Stockholm poised to become leading European geospatial intel player (www.intelligenceonline.com)
    44 points by alephnerd 25 days ago | 10 comments
26. Google's 20% 'project' has become AI's 120% 'attention' (joe.dev)
    39 points by scottdbuchanan 11 days ago | 25 comments
27. Amazon employees say they're facing termination for backing data center limits (www.theverge.com)
    36 points by 1vuio0pswjnm7 1 day ago | 16 comments
28. How Long Does It Take for a QQuickItem to Become Visible? (www.kdab.com)
    35 points by jandeboevrie 16 days ago | 1 comments
29. How to Become a Person After Smartphones Have Rotted Your Brain (www.thenewatlantis.com)
    34 points by the-mitr 2 days ago | 15 comments
30. Eric S. Raymond: How to Become a Hacker (2001) (www.catb.org)
    33 points by dtj1123 7 days ago | 1 comments