Hackernews posts about KLEE

  1. NASA keeps ancient Voyager 1 spacecraft alive with Hail Mary thruster fix (www.theregister.com)
    342 points by nullhole 28 days ago | 88 comments
  2. Oxfordshire clock still keeping village on time after 500 years (www.bbc.com)
    165 points by 1659447091 14 days ago | 88 comments
  3. WTF,Kees? (lore.kernel.org)
    38 points by ryannevius 11 days ago | 9 comments
  4. Court denies Apple appeal in Epic Games case, keeping App Store changes in place (www.cnbc.com)
    28 points by handfuloflight 8 days ago | 5 comments
  5. Caffeine Keeps Your Brain "Awake" Even While You Sleep, Study Finds (scitechdaily.com)
    26 points by sys42590 5 days ago | 9 comments
  6. Show HN: Keep track of why you muted someone on X (github.com)
    20 points by klntsky 25 days ago | 12 comments
  7. US solar keeps surging, generating more power than hydro in 2025 (arstechnica.com)
    15 points by rntn 20 days ago | 3 comments
  8. Protecting Kids Shouldn't Mean Breaking the Tools That Keep Us Safe (www.eff.org)
    14 points by miles about 19 hours ago | discuss
  9. Patent suit threatens system to keep Boston subway trolleys from crashing (www.universalhub.com)
    14 points by ilamont 21 days ago | discuss
  10. US solar keeps surging, generating more power than hydro in 2025 (arstechnica.com)
    12 points by rbanffy 19 days ago | 1 comments
  11. Ask HN: How do you keep on top of all of the AI tools and new changes?
    9 points by limonkufu 22 days ago | 13 comments
  12. They expect us to keep changing (benv.ca)
    9 points by coloneltcb 29 days ago | 5 comments
  13. Despite $2M salaries, Meta can't keep AI staff (www.tomshardware.com)
    9 points by prng2021 1 day ago | discuss
  14. Tim Cook's Bad Year Keeps Getting Worse (www.wsj.com)
    8 points by lucaspauker 17 days ago | 2 comments
  15. Tim Cook's Bad Year Keeps Getting Worse (www.wsj.com)
    8 points by retskrad 18 days ago | 2 comments
  16. Hackers Weaponize KeePass Password Manager (gbhackers.com)
    8 points by mosiuerbarso 25 days ago | 2 comments
  17. Tim Cook's Bad Year Keeps Getting Worse (www.wsj.com)
    7 points by fortran77 19 days ago | 3 comments
  18. Southwest will require passengers to keep chargers visible due to fire risk (www.npr.org)
    7 points by voxadam 22 days ago | 1 comments
  19. Instagram Teen Accounts aren't keeping harmful content away from kids (www.washingtonpost.com)
    7 points by bookofjoe 23 days ago | 1 comments
  20. Despite $2M salaries, Meta can't keep AI staff (www.tomshardware.com)
    6 points by rbanffy about 3 hours ago | 1 comments
  21. Why do lawyers keep using ChatGPT? (www.theverge.com)
    6 points by pseudolus 11 days ago | 1 comments
  22. TP-Link Accused of Keeping Router Prices Low to Help China Conduct Cyberattacks (www.pcmag.com)
    6 points by cwwc 26 days ago | 1 comments
  23. What the government tried to keep hidden in IRS/ICE data sharing agreement (americanoversight.org)
    6 points by anigbrowl 29 days ago | 1 comments
  24. Musk's xAI chatbot Grok keeps responding about white genocide in South Africa (www.cnbc.com)
    6 points by kbhomes 29 days ago | 1 comments
  25. As Public Records Are Wiped, Independent Databases Are Keeping Separate Archives (time.com)
    6 points by robtherobber 14 days ago | discuss
  26. Keep calm (but delete your nudes): the new rules for travelling to America (www.theguardian.com)
    5 points by n1b0m 28 days ago | discuss
  27. Keeping Time on a Stream (s2.dev)
    5 points by shikhar 29 days ago | discuss
  28. Ask HN: How do you keep focus between days?
    4 points by lekker-kapsalon 21 days ago | 2 comments
  29. Show HN: Keep just your links and notes together (eyeball.wtf)
    4 points by quinto_quarto 4 days ago | 1 comments
  30. Keeping Up with AI: The Painful New Mandate for Software Engineers (thenewstack.io)
    4 points by vinhnx 19 days ago | 1 comments
More