Hackernews posts about KLEE

1. 31
   

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

   ▲ 21mkckto12d💬 1savesaved
2. 32
   

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

   ▲ 265cdrnsf18d💬 95savesaved
3. 33
   

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

   ▲ 111cdrnsf18d💬 48savesaved
4. 34
   

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

   ▲ 77seanw26528h💬 31savesaved
5. 35
   

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

   ▲ 74marojejian27d💬 13savesaved
6. 36
   

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

   ▲ 59TMWNN14d💬 53savesaved
7. 37
   

   newThe math that OpenAI keeps for itselfnewsletter.danielpaleka.com

   ▲ 54dpaleka27d💬 19savesaved
8. 38
   

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

   ▲ 47theanonymousone16d💬 23savesaved
9. 39
   

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

   ▲ 39nkcodes3d💬 39savesaved
10. 40
    

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

    ▲ 36frank_clover12d💬 53savesaved
11. 41
    

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

    ▲ 35littlexsparkee9d💬 1savesaved
12. 42
    

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

    ▲ 24wawayanda14d💬 9savesaved
13. 43
    

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

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

    newTools Hacker News keeps asking forstillunbuilt.shiptiffin.app

    ▲ 20bilater13d💬 17savesaved
15. 45
    

    newKeeping the Bonfires Litwww.historytoday.com

    ▲ 20Petiver14d💬 8savesaved
16. 46
    

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

    ▲ 17clash21d💬 34savesaved
17. 47
    

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

    ▲ 150in28d💬 2savesaved
18. 48
    

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

    ▲ 14nightjar3d💬 7savesaved
19. 49
    

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

    ▲ 13andrea8117d💬 9savesaved
20. 50
    

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

    ▲ 11spacebuffer9d💬 9savesaved
21. 51
    

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

    ▲ 10CharlesW7h💬 1savesaved
22. 52
    

    newKeep the changelog, avoid the conflictsdevenv.sh

    ▲ 9domenkozar16d💬 5savesaved
23. 53
    

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

    ▲ 8MaxGfeller9d💬 3savesaved
24. 54
    

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

    ▲ 7toomuchtodo12d💬 5savesaved
25. 55
    

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

    ▲ 7ryzvonusef8d💬 1savesaved
26. 56
    

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

    ▲ 7sp815ddiscusssavesaved
27. 57
    

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

    ▲ 6LM3724d💬 2savesaved
28. 58
    

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

    ▲ 6jethronethro5ddiscusssavesaved
29. 59
    

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

    ▲ 6serialx12ddiscusssavesaved
30. 60
    

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

    ▲ 6paulpauper21ddiscusssavesaved

· edit