Hackernews posts about KLEE

  1. I made a public living room and the internet keeps putting weirder stuff in it (www.theroom.lol)
    273 points by streetmeat 21 days ago | 109 comments
  2. Babel is why I keep blogging with Emacs (entropicthoughts.com)
    272 points by ibobev 16 days ago | 87 comments
  3. Flies keep landing on North Sea oil rigs (theconversation.com)
    248 points by speckx 8 days ago | 175 comments
  4. Tinder, Hinge, and their corporate owner keep rape under wraps (themarkup.org)
    158 points by rendaw 24 days ago | 137 comments
  5. After nine years of grinding, Replit found its market. Can it keep it? (techcrunch.com)
    157 points by toomanyrichies 13 days ago | 136 comments
  6. Vapor chamber tech keeps iPhone 17 Pro cool (spectrum.ieee.org)
    133 points by rbanffy 28 days ago | 297 comments
  7. America's top companies keep talking about AI – but can't explain the upsides (www.ft.com)
    132 points by 1vuio0pswjnm7 25 days ago | 108 comments
  8. Court lets NSF keep swinging axe at $1B in research grants (www.theregister.com)
    76 points by rntn 29 days ago | 64 comments
  9. Japan asks OpenAI to keep Sora 2's hands off anime IP (www.theregister.com)
    58 points by maxloh about 24 hours ago | 18 comments
  10. Supreme Court lets Fed Governor Cook keep job pending oral argument in January (www.cnbc.com)
    47 points by kaycebasques 17 days ago | 80 comments
  11. AI bubble is the only thing keeping the US economy together, Deutsche Bank warns (www.techspot.com)
    38 points by smartmic 21 days ago | 19 comments
  12. CachyOS Keeps Spreading and Takes Second Place Among Linux Distros (boilingsteam.com)
    21 points by ekianjo 11 days ago | 24 comments
  13. Kleptoparasitism (en.wikipedia.org)
    20 points by nomilk 6 days ago | 4 comments
  14. Bonkers CDC vaccine meeting ends with vote to keep Covid shot access (arstechnica.com)
    17 points by voxadam 26 days ago | 5 comments
  15. Dutch restrict Nexperia to keep its chip secrets outside of China (www.techzine.eu)
    13 points by xyzzy3000 5 days ago | discuss
  16. Show HN: Created macOS app to help you keep your distance from your screen
    11 points by sparkhee93 9 days ago | 6 comments
  17. China launches campaign to keep pessimism off the internet (www.bbc.com)
    10 points by 1659447091 22 days ago | discuss
  18. My clients keep ghosting invoices and I'm so fucking done
    9 points by jesusfchristn 9 days ago | 26 comments
  19. Chatbait is taking over the internet: how chatbots keep you talking (www.theatlantic.com)
    9 points by croemer 26 days ago | 2 comments
  20. For the First Time, Scientists Keep a Mammalian Cochlea Alive Outside the Body (scitechdaily.com)
    9 points by bookofjoe 21 days ago | 1 comments
  21. BitTorrent's DHT and the Leading ISP Networks Helping to Keep It Alive (torrentfreak.com)
    7 points by coderholic 18 days ago | discuss
  22. Greenspan and all former Fed chairs tell SC that Lisa Cook should keep her job (www.cnn.com)
    6 points by stopbulying 23 days ago | discuss
  23. CEO of Inception Point AI Vows to Keep Mass Publishing AI Podcasts (www.bloomberg.com)
    5 points by WaitWaitWha 20 days ago | 2 comments
  24. OpenAI Keeps Doing Deals (www.bloomberg.com)
    5 points by toomuchtodo 5 days ago | 1 comments
  25. Show HN: Kalendis – Scheduling API (keep your UI, we handle timezones/DST) (kalendis.dev)
    5 points by dcabal25mh 11 days ago | 1 comments
  26. How TikTok keeps its users scrolling for hours a day (www.washingtonpost.com)
    5 points by pseudolus 11 days ago | 1 comments
  27. India's Grid Cannot Keep Up with Its Ambitions (indiadispatch.com)
    5 points by HalfRebel 11 days ago | discuss
  28. Ask HN: How do you keep up with exploding AI chat history?
    4 points by oliverchan2024 14 days ago | 9 comments
  29. Tell HN: macOS Tahoe breaks Caffeine and other keep-awake apps
    4 points by walthamstow 30 days ago | 2 comments
  30. Why I Keep Business Logic Out of SQL (ewaldbenes.com)
    4 points by thunderbong 26 days ago | 1 comments
More