Hackernews posts about KLEE

1. UK Effort to Keep Apple Encryption Fight Secret Is Blocked (www.msn.com)
   171 points by flanked-evergl 13 days ago | 139 comments
2. Hackers stole billions in crypto to keep North Korea’s regime afloat (www.wsj.com)
   125 points by Bostonian 18 days ago | 143 comments
3. Dead trees keep surprisingly large amounts of carbon out of atmosphere (phys.org)
   91 points by PaulHoule 7 days ago | 85 comments
4. Keeping it Old-Tool: REPL habits of a grug-brained Clojure programmer (www.evalapply.org)
   82 points by adityaathalye 12 days ago | 4 comments
5. Vivarium: The keeper of a lab's animals stumbles onto a secret [fiction] (jsomers.net)
   71 points by jsomers 5 days ago | 15 comments
6. Show HN: Keep your PyTorch model in VRAM by hot swapping code (github.com)
   61 points by valine about 13 hours ago | 5 comments
7. Uncovered emails showed how Meta struggled to keep Facebook culturally relevant (techcrunch.com)
   25 points by rntn about 17 hours ago | 9 comments
8. Teaching keeps you young, or so says Professor Brian Kernighan (www.dailyprincetonian.com)
   24 points by sohkamyung 6 days ago | 7 comments
9. When so much knowledge is produced every day, how do you keep up?
   21 points by frabia 20 days ago | 17 comments
10. Downward DOGE: Musk keeps revising cost-trimming goals in a familiar pattern (www.theregister.com)
    19 points by penda about 15 hours ago | discuss
11. UK Home Office loses attempt to keep legal battle with Apple secret (www.theguardian.com)
    18 points by chrisjj 14 days ago | 5 comments
12. Social Security website keeps crashing, as DOGE demands cuts to IT staff (www.bostonglobe.com)
    18 points by rawgabbit 13 days ago | 2 comments
13. Brands spend nominal sums on X ads to keep Elon Musk happy (www.ft.com)
    13 points by 01-_- 22 days ago | 2 comments
14. "Just Keep Applying" Isn't Persistence, It's Insanity (smustafa.blog)
    13 points by vipermark7 3 days ago | 1 comments
15. UK can't keep its encryption fight with Apple private, court rules (www.neowin.net)
    11 points by bundie 14 days ago | discuss
16. Ask HN: 15 Years, 9 Startups, 0 Big Wins – Should I Quit or Keep Going?
    10 points by bibinmohan 1 day ago | 17 comments
17. Target's foot traffic keeps falling amid boycotts and slashed DEI efforts (fortune.com)
    10 points by josefresco 7 days ago | discuss
18. Why is Hacker News still keep this hard-to-use UI and has such poor readability?
    8 points by rydensun 28 days ago | 24 comments
19. Why do small teams keep getting wrecked by AWS bills?
    8 points by DeborahEmeni_ 8 days ago | 8 comments
20. UK's attempt to keep details of Apple 'backdoor' case secret denied (www.theregister.com)
    7 points by LinuxBender 14 days ago | discuss
21. How MrBeast Is Keeping Africa Poor (magatte.substack.com)
    6 points by emmelaich 12 days ago | discuss
22. Eastern Europe Wants to Build a 'Drone Wall' to Keep Out Russia (gizmodo.com)
    6 points by rntn 17 days ago | discuss
23. MTA says tolls keeping 82k drivers a day out of Manhattan (gothamist.com)
    5 points by geox 7 days ago | 1 comments
24. DeepMind slows down research releases in battle to keep competitive edge (www.ft.com)
    5 points by StanAngeloff 20 days ago | 1 comments
25. The new threat to the undersea cables keeping our internet going (www.rnz.co.nz)
    5 points by billybuckwheat 28 days ago | 1 comments
26. Still browsing like it's 1999: Fresh tools that keep vintage Macs online, alive (www.theregister.com)
    5 points by pseudolus 3 days ago | discuss
27. Show HN: Keep your AI agents up to date with latest docs (web2llm.dev)
    5 points by vladstudio 13 days ago | discuss
28. Keeping the LHC colliding – moving to Debian [pdf] (indico.cern.ch)
    5 points by elashri 18 days ago | discuss
29. UK loses bid to keep Apple appeal against demand for iPhone 'backdoor' a secret (www.cnbc.com)
    4 points by magoghm 14 days ago | 1 comments
30. Keep data out of your variable names (2011) (nedbatchelder.com)
    4 points by leonry 9 days ago | discuss