Hackernews posts about KLEE

1. Briar keeps Iran connected via Bluetooth and Wi-Fi when the internet goes dark (briarproject.org)
   604 points by us321 16 days ago | 368 comments
2. Flux 2 Klein pure C inference (github.com)
   453 points by antirez 13 days ago | 141 comments
3. Tesla kills Autopilot, locks lane-keeping behind $99/month fee (arstechnica.com)
   345 points by CharlesW 8 days ago | 366 comments
4. DHS keeps trying and failing to unmask anonymous ICE critics online (arstechnica.com)
   188 points by duxup 5 days ago | 169 comments
5. GOG Patrons- Join gamers keeping classics alive (www.gog.com)
   149 points by CyMonk 26 days ago | 83 comments
6. Parliament tells Dutch government to keep DigiD data out of American hands (nltimes.nl)
   147 points by TechTechTech 10 days ago | 46 comments
7. Keeping 20k GPUs healthy (modal.com)
   131 points by jxmorris12 13 days ago | 62 comments
8. House vote keeps federal "kill switch" vehicle mandate (reclaimthenet.org)
   115 points by mikece 8 days ago | 159 comments
9. Google DeepMind Staffers Ask Leaders to Keep Them 'Physically Safe' from ICE (www.wired.com)
   104 points by jaredwiener 4 days ago | 61 comments
10. Why Big Companies Keep Failing: The Stack Fallacy (2016) (techcrunch.com)
    101 points by bobbiechen 25 days ago | 100 comments
11. Grok Can't Apologize. So Why Do Headlines Keep Saying It Did? (www.readtpa.com)
    80 points by afavour 29 days ago | 31 comments
12. Keeping Syria connected during war: Surviving ISIS and Intelligence (syriauntold.com)
    71 points by oavioklein 26 days ago | 10 comments
13. Claude keeps nagging about "Help improve Claude" inspite of previous decline
    55 points by onesandofgrain 23 days ago | 33 comments
14. LocalFirst: You Keep Using That Word (www.deobald.ca)
    51 points by deobald 25 days ago | 11 comments
15. Microsoft keeps reinstalling Copilot, so I found a way to rip it out for good (www.howtogeek.com)
    40 points by rolph 17 days ago | 16 comments
16. I wrote a batch script to keep my 2011 ThinkPad alive for 24/7 streaming (github.com)
    39 points by techenthuziast 29 days ago | 7 comments
17. Show HN: I built a clipboard tool to strip/keep specific formatting like Italics (custompaste.com)
    38 points by EvaWorld9 29 days ago | 14 comments
18. Ask HN: How do you keep system context from rotting over time?
    35 points by kennethops 11 days ago | 28 comments
19. Show HN: KeelTest – AI-driven VS Code unit test generator with bug discovery (keelcode.dev)
    30 points by bulba4aur 24 days ago | 15 comments
20. Supreme Court signals it will defy Trump to keep Lisa Cook on Federal Reserve (www.cnn.com)
    12 points by andsoitis 9 days ago | 2 comments
21. Shingles vaccine may help keep older people biologically younger (www.thetimes.com)
    12 points by ValentineC 10 days ago | 1 comments
22. The Secretive VIP Programs That Keep Gamers Spending (www.nytimes.com)
    11 points by bookofjoe 6 days ago | 2 comments
23. DHS keeps trying and failing to unmask anonymous ICE critics online (arstechnica.com)
    11 points by pseudolus 8 days ago | discuss
24. Show HN: Lendy – Keep track of books you have lended (lendy.viraat.dev)
    10 points by viraatdas 3 days ago | 6 comments
25. How do you keep AI-generated applications consistent as they evolve over time?
    10 points by RobertSerber 10 days ago | discuss
26. YouTube Keeps Blocking This Space Video. We're Showing It Anyway [video] (www.youtube.com)
    8 points by consumer451 9 days ago | 1 comments
27. Trump Officials Vow to Keep All US Coal Plants Running (www.bloomberg.com)
    8 points by toomuchtodo 16 days ago | 1 comments
28. Ask HN: Should you combine your personal website and blog or keep them separate?
    7 points by nanfinitum 11 days ago | 4 comments
29. Ask HN: Where else do you keep up-to-date?
    7 points by throwaway132448 28 days ago | 1 comments
30. Show HN: Colin, a context engine for keeping agent skills fresh (github.com)
    7 points by jlowin 5 days ago | discuss