Hackernews posts about KLEE

1. Keep Our Servers Running (blog.archive.org)
   1058 points by sonicrocketman 21 days ago | 284 comments
2. Hister: A private search engine for the pages you visit and the files you keep (github.com)
   741 points by bookofjoe 11 days ago | 201 comments
3. Tell HN: OpenAI keeps re-enabling the 'allow training' setting
   487 points by jacquesm 18 days ago | 189 comments
4. How to keep enjoying programming in a world of LLMs (discourse.haskell.org)
   334 points by signa11 2 days ago | 337 comments
5. AI coding has made CI a bottleneck, so we reworked ours to keep up (linear.app)
   316 points by julian_digital 7 days ago | 407 comments
6. Ask HN: Who's still keeping a DOS machine up because the business depends on it?
   277 points by mlaux 3 days ago | 293 comments
7. Android NAT-T keepalive offload bypasses VPN lockdown (supuk.ch)
   213 points by mhitza 17 days ago | 60 comments
8. The Mafia may be keeping fentanyl out of Italy (economist.com)
   202 points by runeks 3 days ago | 268 comments
9. Learning another language may be one of the best ways to keep your brain healthy (theconversation.com)
   140 points by nativeit 9 days ago | 120 comments
10. Keenable SELECT: an agent that searches the web in SQL (keenableai.github.io)
    60 points by phoenix120 27 days ago | 13 comments
11. Big Tech uses guarantees to keep $300B AI exposure off balance sheets (www.ft.com)
    38 points by sbulaev 8 days ago | 67 comments
12. New Zealand is determined not to keep China's espionage a secret (www.lowyinstitute.org)
    33 points by pir8life4me 23 days ago | 1 comments
13. How can this Amazon scammer keep going, not shipping any goods? (www.amazon.de)
    31 points by kiloklokillo 5 days ago | 23 comments
14. AI in schools – The choice we keep making (friendsschoolboulder.org)
    30 points by MetallicCloud 9 days ago | 5 comments
15. Big AI's content problem: Take the work, keep the money (www.theregister.com)
    17 points by samizdis about 5 hours ago | 1 comments
16. Ask HN: Do you offload your coding to AI, or keep your skills sharp?
    14 points by Hex08 5 days ago | 19 comments
17. Show HN: Keen Bean – Mac meeting notes that draft the spec while you talk (keenbean.app)
    11 points by SavvyMonkey 22 days ago | 5 comments
18. Tell HN: OpenAI keeps stealing my money
    11 points by dingdong2026 20 days ago | 4 comments
19. Israeli ministers keep telling everyone their brutal plans, why are they ignored (www.theguardian.com)
    11 points by hebelehubele 21 days ago | 1 comments
20. Noise pollution may keep bodies on alert, disrupting sleep and heart health (medicalxpress.com)
    11 points by mdp2021 19 days ago | discuss
21. New weight loss and diabetes treatment helps burn fat while keeping muscle (news.berkeley.edu)
    11 points by gmays 25 days ago | discuss
22. Promises Made, Promises Broken: RFK Jr. Keeps Covid Vaccines from Children (www.techdirt.com)
    10 points by hn_acker 3 days ago | 1 comments
23. My favorite sci-fi books about how we build societies and keep justifying them (bookdna.com)
    9 points by bwb 16 days ago | 7 comments
24. Does the Body Really Keep Score? One of Trauma's Most Contentious Debates (www.psychotherapynetworker.org)
    8 points by rendx 18 days ago | 1 comments
25. KeePassXC 2.8.0 (Beta 1) released (keepassxc.org)
    8 points by varjolintu 4 days ago | discuss
26. Cook keeping John Ternus away from controversy by attending White House dinner (9to5mac.com)
    8 points by alwillis 11 days ago | discuss
27. Even the oceans are struggling to keep their cool (europeancorrespondent.com)
    8 points by speckx 26 days ago | discuss
28. Show HN: Kosh – Give your bookmarks a shape worth keeping (addons.mozilla.org)
    7 points by havu12 about 19 hours ago | 1 comments
29. How we keep a noisy neighbor from starving your jobs at Inngest (www.inngest.com)
    7 points by aldersondev 19 days ago | discuss
30. Trump deal keeps Greenland Danish while expanding U.S. military presence (apnews.com)
    6 points by aoli-al 10 days ago | 3 comments