Hackernews posts about KLEE

  1. Topological Kleene Field Theories: A new model of computation (arxiv.org)
    2 points by hackandthink 25 days ago | 2 comments
  2. Google can keep its Chrome browser but will be barred from exclusive contracts (www.cnbc.com)
    685 points by colesantiago about 11 hours ago | 443 comments
  3. Sig Sauer citing national security to keep documents from public (practicalshootinginsights.com)
    291 points by eoskx 5 days ago | 257 comments
  4. How attention sinks keep language models stable (hanlab.mit.edu)
    219 points by pr337h4m 26 days ago | 36 comments
  5. Is it possible to allow sideloading and keep users safe? (shkspr.mobi)
    203 points by ColinWright 4 days ago | 491 comments
  6. Bookmarks.txt is a concept of keeping URLs in plain text files (github.com)
    193 points by secwang 6 days ago | 158 comments
  7. Why do people keep writing about the imaginary compound Cr2Gr2Te6? (www.righto.com)
    188 points by freediver 8 days ago | 111 comments
  8. Microsoft keeps adding stuff into Windows we don't need (www.theregister.com)
    185 points by rntn 18 days ago | 204 comments
  9. The share of Americans having regular sex keeps dropping (ifstudies.org)
    131 points by impish9208 4 days ago | 268 comments
  10. Someone keeps stealing, flying, fixing and returning this man's 1958 Cessna (www.latimes.com)
    116 points by MBCook 26 days ago | 138 comments
  11. Tesla used car prices keep plumetting, dips below average used car (electrek.co)
    102 points by MilnerRoute 25 days ago | 159 comments
  12. A single lock of hair could rewrite what we know about Inca record-keeping (www.science.org)
    79 points by warrenm 20 days ago | 46 comments
  13. We keep reinventing CSS, but styling was never the problem (denodell.com)
    67 points by speckx 22 days ago | 143 comments
  14. iNaturalist keeps full species classification models private (github.com)
    62 points by contingencies about 12 hours ago | 24 comments
  15. Desktop Linux Keeps Winning the Wrong Battles (www.howtogeek.com)
    47 points by the-mitr 7 days ago | 93 comments
  16. How Keeta processes 11M financial transactions per second with Spanner (cloud.google.com)
    30 points by xescure 20 days ago | 60 comments
  17. Show HN: Keeps – Mail a postcard that plays your voice (www.sendkeeps.com)
    29 points by dinnison 22 days ago | 23 comments
  18. Volunteers fight to keep 'AI slop' off Wikipedia (www.washingtonpost.com)
    17 points by bookofjoe 23 days ago | 1 comments
  19. To keep your machine secure, run third-party tools inside Docker (ashishb.net)
    13 points by ashishb 25 days ago | 9 comments
  20. Body clock keeps 24-hour rhythm by distorting gene activity in the heat (medicalxpress.com)
    13 points by PaulHoule 13 days ago | discuss
  21. Tell HN: Thing I learned this year was keeping a work journal
    11 points by Muromec 26 days ago | 9 comments
  22. Show HN: MCP Secrets Vault – Local MCP proxy to keep API keys out of LLM context (github.com)
    11 points by Rachid-Chabane about 15 hours ago | 1 comments
  23. Tesla awards Musk $29B in attempt to "keep Elon's energies focused on Tesla" (arstechnica.com)
    9 points by unsnap_biceps 30 days ago | 2 comments
  24. Vivaldi takes a stand: keep browsing human (vivaldi.com)
    9 points by thunderbong 6 days ago | discuss
  25. Why do people keep writing about the imaginary compound Cr2Gr2Te6? (www.righto.com)
    8 points by rbanffy 15 days ago | 4 comments
  26. Scientific Journals Can't Keep Up with Flood of Fake Papers (www.wsj.com)
    8 points by impish9208 29 days ago | 1 comments
  27. Desktop Linux keeps winning the wrong battles (www.howtogeek.com)
    7 points by russfink 11 days ago | 6 comments
  28. Psychological Flaws That Keep the Gifted from Living Up to Their Gift (www.themarginalian.org)
    7 points by wtbdbrrr 6 days ago | 1 comments
  29. Show HN: A reading to remind us to keep raising our voices against oppression (childrensbookforall.org)
    7 points by chbkall 24 days ago | discuss
  30. How Sleep Cleans the Brain and Keeps You Healthy (www.scientificamerican.com)
    6 points by beardyw 15 days ago | 4 comments
More