Hackernews posts about KLEE

  1. Credit report shows Meta keeping $27B off its books through advanced geometry (stohl.substack.com)
    423 points by FreeQueso 20 days ago | 221 comments
  2. People keep flocking to Linux, not just to escape Windows (www.zdnet.com)
    204 points by breve 18 days ago | 206 comments
  3. The senior population is booming. Caregiving is struggling to keep up (www.cnbc.com)
    82 points by toomuchtodo 26 days ago | 55 comments
  4. CEOs to Keep Spending on AI, Despite Spotty Returns (www.wsj.com)
    73 points by 1vuio0pswjnm7 1 day ago | 45 comments
  5. Prove It All Night: With no fame or fortune, what keeps a band onstage? (1999) (chicagoreader.com)
    65 points by NaOH 15 days ago | 29 comments
  6. Keep these Stupid American Trucks out of Europe [video] (youtu.be)
    33 points by shaicoleman 18 days ago | 18 comments
  7. The Fatal Trap UBI Boosters Keep Falling Into (thereader.mitpress.mit.edu)
    31 points by haritha-j 19 days ago | 85 comments
  8. Why crypto is melting down and stocks keep falling (www.cnn.com)
    19 points by Bender 30 days ago | discuss
  9. How I keep up with AI-generated PRs (www.raf.xyz)
    13 points by rgarcia 12 days ago | 1 comments
  10. Shopify lays off staff to keep team 'fast, sharp and focused' (ca.finance.yahoo.com)
    12 points by mgh2 18 days ago | 4 comments
  11. OpenAI loses fight to keep ChatGPT logs secret in copyright case (www.reuters.com)
    12 points by CommieBobDole 14 days ago | 2 comments
  12. OpenAI loses fight to keep ChatGPT logs secret in copyright case (www.reuters.com)
    11 points by walterbell 11 days ago | 2 comments
  13. AI slope keeps a man in jail (www.nytimes.com)
    11 points by Krakodil 14 days ago | 2 comments
  14. China is setting the pace in the EV race, and the West can't keep up (restofworld.org)
    11 points by Brajeshwar 29 days ago | discuss
  15. How Russia keeps raising an army to replace its dead (www.politico.com)
    10 points by gregorymichael 13 days ago | 7 comments
  16. Pentagon's social media rules can't keep up with viral military influencers (www.businessinsider.com)
    10 points by gnabgib 17 days ago | discuss
  17. Google attacking human thought with Gemini in Google Keep
    9 points by fellowniusmonk 23 days ago | 1 comments
  18. Keep hitting US Big Tech with fines, Europe's Greens tell von der Leyen (www.politico.eu)
    7 points by saubeidl 10 days ago | 9 comments
  19. Theranos founder Elizabeth Holmes' prison sentence keeps getting shorter (qz.com)
    7 points by SilverElfin 17 days ago | 2 comments
  20. US orders H-1B spouses, kids to keep social media public from Dec 15 (www.business-standard.com)
    7 points by chequoredDaemon 12 days ago | 1 comments
  21. The Failed Crusade to Keep a Rare-Earths Mine Out of China's Hands (www.wsj.com)
    7 points by perihelions 25 days ago | discuss
  22. Readeck – lets you save the content of web pages you like and keep forever (readeck.org)
    6 points by modinfo 17 days ago | discuss
  23. Can bigger-is-better 'scaling laws' keep AI improving forever? (theconversation.com)
    6 points by devonnull 18 days ago | discuss
  24. How to keep your apps up when AWS is down (www.restate.dev)
    6 points by gk1 23 days ago | discuss
  25. Bitwarden / KeePass Diff (codeberg.org)
    5 points by cicko 1 day ago | 1 comments
  26. Nvidia's B200: Keeping the CUDA Juggernaut Rolling Ft Verda, Formerly DataCrunch (chipsandcheese.com)
    5 points by rbanffy 2 days ago | discuss
  27. How confessions can keep language models honest (openai.com)
    5 points by goplayoutside 14 days ago | discuss
  28. Why We Keep Making the Same Software Mistakes (spectrum.ieee.org)
    5 points by pseudolus 16 days ago | discuss
  29. The Fatal Trap UBI Boosters Keep Falling Into (thereader.mitpress.mit.edu)
    4 points by pseudolus 25 days ago | 6 comments
  30. KeePassXC Integration with Rclone and Secret Service API (www.lshnk.me)
    4 points by vldmr 12 days ago | 2 comments
More