Hackernews posts about KLEE

1. Package managers keep using Git as a database, it never works out (nesbitt.io)
   784 points by birdculture 22 days ago | 465 comments
2. Briar keeps Iran connected via Bluetooth and Wi-Fi when the internet goes dark (briarproject.org)
   575 points by us321 1 day ago | 355 comments
3. One year of keeping a tada list (www.ducktyped.org)
   273 points by egonschiele 26 days ago | 84 comments
4. Reconstructed Commander Keen 1-3 Source Code (pckf.com)
   177 points by deevus 29 days ago | 27 comments
5. GOG Patrons- Join gamers keeping classics alive (www.gog.com)
   149 points by CyMonk 12 days ago | 83 comments
6. FLUX.2 [Klein]: Towards Interactive Visual Intelligence (bfl.ai)
   135 points by GaggiX about 10 hours ago | 41 comments
7. State regulators vote to keep utility profits high angering customers across CA (www.latimes.com)
   128 points by connor11528 26 days ago | 101 comments
8. We "solved" C10K years ago yet we keep reinventing it (2003) (www.kegel.com)
   108 points by birdculture 22 days ago | 86 comments
9. Why Big Companies Keep Failing: The Stack Fallacy (2016) (techcrunch.com)
   101 points by bobbiechen 11 days ago | 100 comments
10. Show HN: Netrinos – A keep it simple Mesh VPN for small teams (netrinos.com)
    93 points by pcarroll 29 days ago | 66 comments
11. Grok Can't Apologize. So Why Do Headlines Keep Saying It Did? (www.readtpa.com)
    80 points by afavour 15 days ago | 31 comments
12. Keeping Syria connected during war: Surviving ISIS and Intelligence (syriauntold.com)
    71 points by oavioklein 12 days ago | 10 comments
13. Why C++ programmers keep growing fast despite competition, safety, and AI (herbsutter.com)
    66 points by ingve 17 days ago | 57 comments
14. Keep the Robots Out of the Gym (danielmiessler.com)
    58 points by Group_B 20 days ago | 43 comments
15. Claude keeps nagging about "Help improve Claude" inspite of previous decline
    55 points by onesandofgrain 9 days ago | 32 comments
16. LocalFirst: You Keep Using That Word (www.deobald.ca)
    51 points by deobald 11 days ago | 11 comments
17. Microsoft keeps reinstalling Copilot, so I found a way to rip it out for good (www.howtogeek.com)
    40 points by rolph 3 days ago | 16 comments
18. I wrote a batch script to keep my 2011 ThinkPad alive for 24/7 streaming (github.com)
    39 points by techenthuziast 15 days ago | 7 comments
19. Show HN: I built a clipboard tool to strip/keep specific formatting like Italics (custompaste.com)
    38 points by EvaWorld9 15 days ago | 14 comments
20. Show HN: KeelTest – AI-driven VS Code unit test generator with bug discovery (keelcode.dev)
    30 points by bulba4aur 10 days ago | 15 comments
21. Feds order Washington power plant to keep burning coal (washingtonstatestandard.com)
    30 points by geox 27 days ago | 13 comments
22. Trump says US will keep or sell oil seized from Venezuela (www.bbc.com)
    19 points by vinni2 25 days ago | 4 comments
23. Nvidia-Groq deal is structured to keep 'fiction of competition alive' (www.cnbc.com)
    11 points by 1vuio0pswjnm7 21 days ago | discuss
24. Trump Officials Vow to Keep All US Coal Plants Running (www.bloomberg.com)
    8 points by toomuchtodo 1 day ago | 1 comments
25. When creating images, AI keeps remixing the same 12 stock photo clichés (www.science.org)
    8 points by rbanffy 27 days ago | discuss
26. Ask HN: Where else do you keep up-to-date?
    7 points by throwaway132448 14 days ago | 1 comments
27. Windows 2000 still earning its keep running a rail ticket machine in Portugal (www.theregister.com)
    7 points by pjmlp 5 days ago | discuss
28. Sadly, I can't recommend KeePassXC anymore (rubenerd.com)
    6 points by mikece 2 days ago | 1 comments
29. FLUX.2 [Klein]: Towards Interactive Visual Intelligence (bfl.ai)
    6 points by meetpateltech 2 days ago | discuss
30. The oceans just keep getting hotter (arstechnica.com)
    6 points by Brajeshwar 6 days ago | discuss