Hackernews posts about KLEE

1. 121
   

   newConstructing a Quine from Kleene's Second Recursion Theorememarzion.github.io

   ▲ 21mkckto12d💬 1savesaved
2. 122
   

   newChatGPT Keeps Telling People 404 Media Can Solve Their Tech Support Problemswww.404media.co

   ▲ 265cdrnsf18d💬 95savesaved
3. 123
   

   newProton to 'Re-Interview' Staff About AI to See Who Gets to Keep Their Jobwww.404media.co

   ▲ 111cdrnsf18d💬 48savesaved
4. 124
   

   newAWS Lambda Web Functions keep billing memory ~7 minutes after the last requestwww.easel.sh

   ▲ 77seanw26529h💬 31savesaved
5. 125
   

   newHow Do Fungi Keep the Planet Healthy?www.quantamagazine.org

   ▲ 74marojejian27d💬 13savesaved
6. 126
   

   newKeeping Up Appearances – The women taking over the funeral industrylareviewofbooks.org

   ▲ 59TMWNN14d💬 53savesaved
7. 127
   

   newThe math that OpenAI keeps for itselfnewsletter.danielpaleka.com

   ▲ 54dpaleka27d💬 19savesaved
8. 128
   

   newGitHub saw 7.4B commits in Sep., adding 4M CPU cores+160 PB storage to keep upthenewstack.io

   ▲ 47theanonymousone16d💬 23savesaved
9. 129
   

   newHow do you keep up quality when you vibe-code?

   ▲ 39nkcodes3d💬 39savesaved
10. 130
    

    newUS Jobs Pickup May Keep Fed on Track to Hike Rates Againwww.bloomberg.com

    ▲ 36frank_clover12d💬 53savesaved
11. 131
    

    newIn Praise of Japan's Failure to Keep Upwww.noemamag.com

    ▲ 35littlexsparkee9d💬 1savesaved
12. 132
    

    newPompeii wardrobe found untouched since 79CE holds keepsakes, coins, and two micearchaeologymag.com

    ▲ 24wawayanda14d💬 9savesaved
13. 133
    

    newHugging Face CEO vows to keep fighting for open-source AItechcrunch.com

    ▲ 2101-_-28h💬 2savesaved
14. 134
    

    newTools Hacker News keeps asking forstillunbuilt.shiptiffin.app

    ▲ 20bilater13d💬 17savesaved
15. 135
    

    newKeeping the Bonfires Litwww.historytoday.com

    ▲ 20Petiver14d💬 8savesaved
16. 136
    

    newCaffeine-like utility to keep you MacBook awake with its lid closedgithub.com

    ▲ 17clash21d💬 34savesaved
17. 137
    

    newScientists vote to end leap seconds, redefining how the world keeps timewww.scientificamerican.com

    ▲ 150in28d💬 2savesaved
18. 138
    

    newShow HN: Y Recombinator – The HN threads HN keeps recommendingyrecombinator.org

    ▲ 14nightjar3d💬 7savesaved
19. 139
    

    newDo you want to keep your job? Stop feeding AI models

    ▲ 13andrea8117d💬 9savesaved
20. 140
    

    newAsk HN: How to Keep the Edge as an Engineer?

    ▲ 11spacebuffer9d💬 9savesaved
21. 141
    

    newMicrosoft's M365 outage stretches past 20 hours as fixes keep failingwww.theregister.com

    ▲ 10CharlesW8h💬 1savesaved
22. 142
    

    newKeep the changelog, avoid the conflictsdevenv.sh

    ▲ 9domenkozar16d💬 5savesaved
23. 143
    

    newHow we built Lovable, and why we keep rebuilding itlovable.dev

    ▲ 8MaxGfeller9d💬 3savesaved
24. 144
    

    newOil majors resist pressure to invest in new refineries, fuel prices keep risingwww.ft.com

    ▲ 7toomuchtodo12d💬 5savesaved
25. 145
    

    newObel Mono Masked: A typeface that keeps a secrettypographic.systems

    ▲ 7ryzvonusef8d💬 1savesaved
26. 146
    

    newKeep your home server reachable with Dynamic DNSwww.fastmail.com

    ▲ 7sp815ddiscusssavesaved
27. 147
    

    newAsk HN: Can LeetCode (or similar) keep critical thinking sharp in the AI era?

    ▲ 6LM3724d💬 2savesaved
28. 148
    

    newCanada's AI translation tool keeps making hilarious mistakeswww.blogto.com

    ▲ 6jethronethro5ddiscusssavesaved
29. 149
    

    newAqueous: The files you keep are compressed. Badlylifthrasiir.github.io

    ▲ 6serialx12ddiscusssavesaved
30. 150
    

    newAI Keeps Getting Better. Why Is Its Writing Still So Bad?greyenlightenment.com

    ▲ 6paulpauper21ddiscusssavesaved

· edit