Hackernews posts about KLEE

  1. KLEE Symbolic Execution Engine (github.com)
    88 points by nateb2022 25 days ago | 19 comments
  2. Can solar costs keep shrinking? (unchartedterritories.tomaspueyo.com)
    401 points by GoRudy 23 days ago | 618 comments
  3. NASA Pulls Off Delicate Thruster Swap, Keeping Voyager 1 Mission Alive (gizmodo.com)
    304 points by Stratoscope 9 days ago | 69 comments
  4. Keeping CALM: When distributed consistency is easy (2019) (arxiv.org)
    139 points by harperlee 18 days ago | 27 comments
  5. Documenting Dance: Keeping Score (2017) (adafrobinson.wordpress.com)
    111 points by mont_tag 14 days ago | 26 comments
  6. SEC fines 6 major credit rating agencies over failure to keep electronic records (www.cnn.com)
    97 points by rntn 16 days ago | 16 comments
  7. Dropbox keeps threatening to delete my files (khromov.se)
    92 points by khromov about 11 hours ago | 57 comments
  8. Apple Succession Strategy: Keep the Old Guard Around as Long as Possible (www.bloomberg.com)
    87 points by mfiguiere 20 days ago | 66 comments
  9. Human drivers keep rear-ending Waymos (arstechnica.com)
    73 points by PaulHoule 6 days ago | 125 comments
  10. Haiku OS R1 Beta 5 Is Keeping the BeOS Dream Alive (www.howtogeek.com)
    39 points by rezaprima 3 days ago | 6 comments
  11. Extremists keep trying to sabotage the electrical grid. What if they succeed? (thehill.com)
    38 points by c420 11 days ago | 14 comments
  12. Indigenous influencers keep getting banned for posting nudity on IG and YouTube (restofworld.org)
    13 points by NDAjam 30 days ago | 2 comments
  13. Google Search app on Android keeps crashing in widespread bug (9to5google.com)
    13 points by nortonham 6 days ago | discuss
  14. Ukraine keeps crossing Russia's red lines. Putin keeps blinking (www.washingtonpost.com)
    12 points by howard941 28 days ago | 14 comments
  15. Ukraine keeps crossing Russia's red lines. Putin keeps blinking (www.msn.com)
    11 points by MilnerRoute 27 days ago | discuss
  16. Fake Elon Musk livestreams promoting crypto scams keep popping up on YouTube (mashable.com)
    10 points by paulpauper 12 days ago | 6 comments
  17. Kuwait Is Awash in Oil Money. But It Can't Keep the Power On. (www.nytimes.com)
    10 points by bookofjoe 10 days ago | 1 comments
  18. AI Startups Can't Keep Up with Big Tech's Spending Spree (www.bloomberg.com)
    9 points by coloneltcb 14 days ago | 1 comments
  19. Charles Barkley keeps $1M promise after 2 students solve Pythagorean Theorem (www.nola.com)
    9 points by thunderbong 16 days ago | 1 comments
  20. Human drivers keep rear-ending Waymos (arstechnica.com)
    8 points by MBCook 10 days ago | 4 comments
  21. The Hacker's Choice: Keep Pavel Durov LOCKED UP (blog.thc.org)
    8 points by justmarc 26 days ago | discuss
  22. China Asks Its Carmakers to Keep Key EV Technology at Home (www.bloomberg.com)
    7 points by ivewonyoung 9 days ago | discuss
  23. CEO on keeping your mouse forever: it's like Rolex, you’re going to love that (fortune.com)
    6 points by type0 20 days ago | 10 comments
  24. Show HN: Keep Your Next Viral AI App Free for Longer with Local Embeddings (blog.fxn.ai)
    6 points by olokobayusuf 1 day ago | discuss
  25. Ask HN: How does your team keep informal documentation?
    4 points by ravenstine 24 days ago | 10 comments
  26. How do you keep your SaaS FAQ accurate releases after releases?
    4 points by Vvvicus 29 days ago | 5 comments
  27. A Signal run a day keeps the un-link away (michael.stapelberg.ch)
    4 points by secure 3 days ago | discuss
  28. Biology's a B*Tch: Reasons It's So Hard to Keep Weight Off (www.npr.org)
    4 points by paulpauper 13 days ago | discuss
  29. One Lone Nintendo Fan Has Been Keeping the 3DS Servers Alive for Months (kotaku.com)
    3 points by PaulHoule 26 days ago | 2 comments
  30. Half of code will be AI-generated soon – Newsletter for developers to keep up (codegen.substack.com)
    3 points by zie1ony 12 days ago | 1 comments
More