Hackernews posts about KLEE

1. Kleene Algebra (arxiv.org)
   3 points by ahsillyme 18 days ago | discuss
2. Core Devices keeps stealing our work (rebble.io)
   608 points by jdauriemma 17 days ago | 116 comments
3. Credit report shows Meta keeping $27B off its books through advanced geometry (stohl.substack.com)
   421 points by FreeQueso 6 days ago | 222 comments
4. Please donate to keep Network Time Protocol up – Goal 1k (www.ntp.org)
   312 points by gastonmorixe 23 days ago | 235 comments
5. Microsoft Can't Keep EU Data Safe from US Authorities (www.forbes.com)
   299 points by Mossy9 29 days ago | 129 comments
6. People keep flocking to Linux, not just to escape Windows (www.zdnet.com)
   203 points by breve 4 days ago | 205 comments
7. About KeePassXC's Code Quality Control (keepassxc.org)
   112 points by haakon 25 days ago | 43 comments
8. The senior population is booming. Caregiving is struggling to keep up (www.cnbc.com)
   82 points by toomuchtodo 13 days ago | 55 comments
9. The man who keeps predicting the web's death (tedium.co)
   56 points by thm 18 days ago | 51 comments
10. Keep these Stupid American Trucks out of Europe [video] (youtu.be)
    33 points by shaicoleman 4 days ago | 18 comments
11. The Fatal Trap UBI Boosters Keep Falling Into (thereader.mitpress.mit.edu)
    31 points by haritha-j 6 days ago | 85 comments
12. Why crypto is melting down and stocks keep falling (www.cnn.com)
    19 points by Bender 16 days ago | discuss
13. Show HN: Kalendis – Scheduling API (keep your UI, we handle timezones/DST) (kalendis.dev)
    18 points by dcabal25mh 17 days ago | 8 comments
14. Show HN: Keepr – A Secure and Offline Open Source CLI Password Manager
    17 points by bsamarji 20 days ago | 17 comments
15. Can friendship keep you young? Scientists say your social life might slow aging (medicalxpress.com)
    16 points by PaulHoule 29 days ago | 2 comments
16. Why we're going to keep talking about the Trump phone (www.theverge.com)
    13 points by computerliker 20 days ago | 4 comments
17. Shopify lays off staff to keep team 'fast, sharp and focused' (ca.finance.yahoo.com)
    11 points by mgh2 5 days ago | 4 comments
18. Machine could keep a baby alive outside the womb How will the world use it? (www.theguardian.com)
    11 points by beardyw 29 days ago | 2 comments
19. China is setting the pace in the EV race, and the West can't keep up (restofworld.org)
    11 points by Brajeshwar 15 days ago | discuss
20. OpenAI loses fight to keep ChatGPT logs secret in copyright case (www.reuters.com)
    10 points by CommieBobDole about 21 hours ago | 2 comments
21. Pentagon's social media rules can't keep up with viral military influencers (www.businessinsider.com)
    10 points by gnabgib 4 days ago | discuss
22. AI slope keeps a man in jail (www.nytimes.com)
    9 points by Krakodil about 9 hours ago | 2 comments
23. Google attacking human thought with Gemini in Google Keep
    9 points by fellowniusmonk 9 days ago | 1 comments
24. Theranos founder Elizabeth Holmes' prison sentence keeps getting shorter (qz.com)
    7 points by SilverElfin 3 days ago | 2 comments
25. The Failed Crusade to Keep a Rare-Earths Mine Out of China's Hands (www.wsj.com)
    7 points by perihelions 11 days ago | discuss
26. How AI Companies Are Keeping Debt Off Their Balance Sheets (www.bloomberg.com)
    6 points by belter 27 days ago | 2 comments
27. Readeck – lets you save the content of web pages you like and keep forever (readeck.org)
    6 points by modinfo 4 days ago | discuss
28. Can bigger-is-better 'scaling laws' keep AI improving forever? (theconversation.com)
    6 points by devonnull 4 days ago | discuss
29. Machine could keep a baby alive outside the womb (www.theguardian.com)
    6 points by gmays 24 days ago | discuss
30. How confessions can keep language models honest (openai.com)
    5 points by goplayoutside about 10 hours ago | discuss