Hackernews posts about KLEE

  1. New Master Fixed Point Theorem Unifies Godel, Turing, Kleene, Tarski, Lob (www.novaspivack.com)
    3 points by airesearcher 16 days ago | discuss
  2. Amazon AI Cancelling Webcomics (www.kleefeldoncomics.com)
    62 points by vmbrasseur 15 days ago | 10 comments
  3. How Mark Klein told the EFF about Room 641A [book excerpt] (thereader.mitpress.mit.edu)
    627 points by the-mitr about 20 hours ago | 211 comments
  4. Help Keep Thunderbird Alive (updates.thunderbird.net)
    579 points by playfultones 22 days ago | 392 comments
  5. NASA Shuts Off Instrument on Voyager 1 to Keep Spacecraft Operating (science.nasa.gov)
    235 points by sohkamyung 13 days ago | 118 comments
  6. Keep Android Open (keepandroidopen.org)
    206 points by bjornroberg 16 days ago | 68 comments
  7. UK Biobank health data keeps ending up on GitHub (biobank.rocher.lc)
    197 points by Cynddl 8 days ago | 57 comments
  8. Keep Pushing: We Get 10 More Days to Reform Section 702 (www.eff.org)
    192 points by nobody9999 12 days ago | 41 comments
  9. Japan's cherry blossom database, 1,200 years old, has a new keeper (www.nytimes.com)
    174 points by caycep 14 days ago | 25 comments
  10. Keeping a Postgres Queue Healthy (planetscale.com)
    117 points by tanelpoder 20 days ago | 28 comments
  11. How can I keep from singing? (blog.danieljanus.pl)
    105 points by nathell 17 days ago | 38 comments
  12. US tech firms lobbied EU to keep datacentre emissions secret (www.theguardian.com)
    83 points by zeristor 14 days ago | 13 comments
  13. Claude Code Opus 4.7 keeps checking on malware
    69 points by decide1000 13 days ago | 64 comments
  14. Show HN: Keeper – embedded secret store for Go (help me break it) (github.com)
    64 points by babawere 21 days ago | 33 comments
  15. Show HN: Kloak, A secret manager that keeps K8s workload away from secrets (getkloak.io)
    63 points by neo2006 6 days ago | 52 comments
  16. Amazon worker dies on warehouse floor. Workers told to keep going (finance.yahoo.com)
    58 points by latexr 16 days ago | 27 comments
  17. Meta found in breach of EU law for failing to keep children off platforms (www.theguardian.com)
    36 points by geox 2 days ago | 9 comments
  18. Two Japanese suppliers commit to keeping Blu-ray discs and drives in supply (automaton-media.com)
    27 points by voxadam 21 days ago | 3 comments
  19. NASA working on 'Big Bang' upgrade to keep the Voyagers alive for longer (www.theregister.com)
    19 points by beardyw 11 days ago | 3 comments
  20. Ask HN: How are you actively keeping your thinking sharp while using LLMs daily?
    16 points by smonk108 15 days ago | 10 comments
  21. Delve Scandal Just Keeps Getting Worse (captaincompliance.com)
    16 points by richartruddie 24 days ago | 1 comments
  22. The public sours on AI, data centers as firms look to IPO, tech keeps spending (www.cnbc.com)
    15 points by 1vuio0pswjnm7 15 days ago | discuss
  23. IDF admits Iran can keep firing missiles as long as war continues (www.timesofisrael.com)
    14 points by johnbarron 24 days ago | 5 comments
  24. Mullenweg to Cloudflare: Keep WordPress Out of Your Mouth (www.searchenginejournal.com)
    12 points by ValentineC 27 days ago | 2 comments
  25. Got personal financial, medical data you'd like to keep private? Good luck (news.harvard.edu)
    12 points by gnabgib 9 days ago | 1 comments
  26. The A.I. Fear Keeping Silicon Valley Up at Night (www.nytimes.com)
    11 points by pretext 1 day ago | 2 comments
  27. Shared Dictionaries: compression that keeps up with the agentic web (blog.cloudflare.com)
    10 points by salkahfi 14 days ago | discuss
  28. The power keeping wages low (text.npr.org)
    8 points by mooreds 10 days ago | 1 comments
  29. That Meeting You Hate May Keep A.I. From Stealing Your Job (www.nytimes.com)
    8 points by 2OEH8eoCRo0 16 days ago | 1 comments
  30. Why people keep trying to erase the Hollywood sign from Google Maps (2014) (gizmodo.com)
    8 points by downbad_ 20 days ago | 1 comments
More