Hackernews posts about KLEE

1. 61
   

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

   ▲ 21mkckto12d💬 1savesaved
2. 62
   

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

   ▲ 265cdrnsf18d💬 95savesaved
3. 63
   

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

   ▲ 111cdrnsf18d💬 48savesaved
4. 64
   

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

   ▲ 77seanw26529h💬 31savesaved
5. 65
   

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

   ▲ 74marojejian27d💬 13savesaved
6. 66
   

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

   ▲ 59TMWNN14d💬 53savesaved
7. 67
   

   newThe math that OpenAI keeps for itselfnewsletter.danielpaleka.com

   ▲ 54dpaleka27d💬 19savesaved
8. 68
   

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

   ▲ 47theanonymousone16d💬 23savesaved
9. 69
   

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

   ▲ 39nkcodes3d💬 39savesaved
10. 70
    

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

    ▲ 36frank_clover12d💬 53savesaved
11. 71
    

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

    ▲ 35littlexsparkee9d💬 1savesaved
12. 72
    

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

    ▲ 24wawayanda14d💬 9savesaved
13. 73
    

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

    ▲ 2101-_-27h💬 2savesaved
14. 74
    

    newTools Hacker News keeps asking forstillunbuilt.shiptiffin.app

    ▲ 20bilater13d💬 17savesaved
15. 75
    

    newKeeping the Bonfires Litwww.historytoday.com

    ▲ 20Petiver14d💬 8savesaved
16. 76
    

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

    ▲ 17clash21d💬 34savesaved
17. 77
    

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

    ▲ 150in28d💬 2savesaved
18. 78
    

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

    ▲ 14nightjar3d💬 7savesaved
19. 79
    

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

    ▲ 13andrea8117d💬 9savesaved
20. 80
    

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

    ▲ 11spacebuffer9d💬 9savesaved
21. 81
    

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

    ▲ 10CharlesW7h💬 1savesaved
22. 82
    

    newKeep the changelog, avoid the conflictsdevenv.sh

    ▲ 9domenkozar16d💬 5savesaved
23. 83
    

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

    ▲ 8MaxGfeller9d💬 3savesaved
24. 84
    

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

    ▲ 7toomuchtodo12d💬 5savesaved
25. 85
    

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

    ▲ 7ryzvonusef8d💬 1savesaved
26. 86
    

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

    ▲ 7sp815ddiscusssavesaved
27. 87
    

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

    ▲ 6LM3724d💬 2savesaved
28. 88
    

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

    ▲ 6jethronethro5ddiscusssavesaved
29. 89
    

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

    ▲ 6serialx12ddiscusssavesaved
30. 90
    

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

    ▲ 6paulpauper21ddiscusssavesaved

· edit