Hackernews posts about KLEE

1. If coding has been solved, why does software keep getting worse? (ptrchm.com)
   896 points by pchm 6 days ago | 689 comments
2. The Tower Keeps Rising (lucumr.pocoo.org)
   558 points by cdrnsf 16 days ago | 270 comments
3. GLM 5.2 is nearly as accurate as a human book keeper (toot-books.com)
   225 points by adamkurkiewicz 21 days ago | 122 comments
4. Show HN: Claude-thermos keeps your Claude session warm for you (github.com)
   111 points by s0ck_r4w 7 days ago | 86 comments
5. Show HN: OneCLI – OSS credential gateway that keeps secrets out of AI agents (github.com)
   110 points by Jonathanfishner 7 days ago | 32 comments
6. The family keeping watch over a 52-year-old pot of soup (www.wsj.com)
   93 points by petethomas 29 days ago | 73 comments
7. Ask HN: What livestream do you keep open in a tab?
   53 points by missmoss 5 days ago | 18 comments
8. FCC pays $340k/year to keep 100's of empty Alaska buildings wired for internet (www.propublica.org)
   37 points by Teever 10 days ago | 16 comments
9. California votes to ruin 3D printing right after voting to keep killing games [video] (www.youtube.com)
   37 points by givemeethekeys 27 days ago | 1 comments
10. Dungeon KeeperFX 1.4.0 with Multiplayer Released (keeperfx.net)
    33 points by MrJagil 25 days ago | 9 comments
11. Ask HN: How do people keep track of organizational knowledge?
    30 points by kadhirvelm 9 days ago | 24 comments
12. Microsoft reveals why Windows 11 keeps saying a file is in use after closing app (www.windowslatest.com)
    29 points by thunderbong 30 days ago | 30 comments
13. The old-school way of keeping the summer heat out of your home (monocle.com)
    28 points by andsoitis 3 days ago | 78 comments
14. DOJ Now Citing Fake AI-Generated Cases to Keep ICE Detainees Locked Up (www.techdirt.com)
    23 points by hn_acker 8 days ago | 1 comments
15. Bond Traders Stunned as Losses on SpaceX's New Debt Keep Growing (www.bloomberg.com)
    22 points by 1vuio0pswjnm7 23 days ago | 2 comments
16. Uber is lobbying to keep robotaxi rides 85% human in New Jersey (www.wired.com)
    19 points by logickkk1 18 days ago | 1 comments
17. The Reason Elon Musk Keeps Insisting DOGE Cuts Killed "Zero" Kids (newrepublic.com)
    17 points by hn_acker 3 days ago | 3 comments
18. How do you guys keep up with AI news?
    14 points by anirudhc2005 14 days ago | 15 comments
19. Microsoft keeps capex unchanged, the only datacenter giants to hold AI spending (www.businessinsider.com)
    13 points by mapping365 about 14 hours ago | 3 comments
20. Flock cameras keep getting smashed, so now they're hiding inside speed signs (www.msn.com)
    13 points by allgirl 6 days ago | 1 comments
21. The U.S. wants to contain China's AI. Silicon Valley keeps using it (restofworld.org)
    12 points by devonnull 7 days ago | discuss
22. California cannot keep rewarding utilities after catastrophic wildfires (calmatters.org)
    11 points by cdrnsf 2 days ago | 8 comments
23. Microsoft emails Windows 10 holdouts: Fine, keep your old PC another year (www.theregister.com)
    11 points by Bender 15 days ago | 5 comments
24. Ask HN: Fable 5 promo ends today – is anyone keeping it once it's usage-billed?
    10 points by franze 23 days ago | 16 comments
25. About 1 in 4 workers keep unwanted jobs for health insurance, poll finds (www.washingtonpost.com)
    10 points by bookofjoe 7 days ago | 1 comments
26. Why Stone-Faced Fascists Keep Getting Antiquity Wrong (www.thebulwark.com)
    9 points by Tomte 20 days ago | 3 comments
27. Police Keep Losing Their Jobs for Using Flock Cameras to Stalk People (www.motherjones.com)
    9 points by baranul 6 days ago | 1 comments
28. The U.S. wants to contain China’s AI. Silicon Valley keeps using it (restofworld.org)
    9 points by donohoe 8 days ago | discuss
29. Show HN: Readit, a read-it-later app I built because the others keep dying (wereadit.com)
    8 points by mahmoudalwadia 29 days ago | 14 comments
30. Tesla sues Cybertruck supplier Angstrom amid standoff keeping production hostage (electrek.co)
    8 points by toomuchtodo 1 day ago | 2 comments