Hackernews posts about ACM

1. 991
   

   newACM Article: from code scarcity to verification scarcity by Ahmed El-Deebdl.acm.org

   ▲ 2qaprof6ddiscusssavesaved
2. 992
   

   newPeer-review failures at NeurIPS, IEEE, and ACM introduced flawed AI logicpansophics.substack.com

   ▲ 2saadchakra12ddiscusssavesaved
3. 993
   

   newWIF-01 Challenge for ACME (RFC 8555)blog.zaita.io

   ▲ 2zaitanz21ddiscusssavesaved
4. 994
   

   newWhen Does Your Acme Client Renew?devops-daily.com

   ▲ 1ibobev2ddiscusssavesaved
5. 995
   

   newAcme Proxy: Managing TLS Certificates in Your Homelabsapiolab.nl

   ▲ 1mpiscaer14ddiscusssavesaved
6. 996
   

   newProposal for OIDC WIF in Acme (RFC-8555)datatracker.ietf.org

   ▲ 1zaitanz21ddiscusssavesaved
7. 997
   

   newThe Impact of Generative AI on Critical Thinking: Self-Reported (2025)dl.acm.org

   ▲ 82the-mitr5d💬 56savesaved
8. 998
   

   newThe future of programming (1982)dl.acm.org

   ▲ 82vismit200019d💬 18savesaved
9. 999
   

   newA brief history of just-in-time: forty years of JIT work, from 1960–2000dl.acm.org

   ▲ 72gjvc7d💬 1savesaved
10. 1000
    

    newNo Source Code? No Problemqueue.acm.org

    ▲ 53ibobev13d💬 41savesaved
11. 1001
    

    newAn incremental approach to JIT constructiondl.acm.org

    ▲ 49andsoitis12d💬 10savesaved
12. 1002
    

    newWill MOOCs Destroy Academia? (2012)cacm.acm.org

    ▲ 19theanonymousone20d💬 7savesaved
13. 1003
    

    newThe Cost of AI Code Shows Up 30 Days Latercacm.acm.org

    ▲ 3pseudolus3h💬 1savesaved
14. 1004
    

    newHigh Expectations: An Observational Study of Programming and Cannabisdl.acm.org

    ▲ 2luu26d💬 3savesaved
15. 1005
    

    newProgramming Language Research by David Walkerdl.acm.org

    ▲ 2efren63ddiscusssavesaved
16. 1006
    

    newThe Many Lives of ELIZAcacm.acm.org

    ▲ 2pseudolus16ddiscusssavesaved
17. 1007
    

    newCash or Comfort? How LLMs Value Your Inconveniencecacm.acm.org

    ▲ 2njrc21ddiscusssavesaved
18. 1008
    

    newHuman-Like and Male? How AI Assistant Design Relates to Monetary Rewarddl.acm.org

    ▲ 2nohillside28ddiscusssavesaved
19. 1009
    

    newFly.io Sprites: Storage not ready blocked execution and checkpoint accessgist.github.com

    ▲ 1acmerfight7ddiscusssavesaved
20. 1010
    

    newExploring the Use of WebAssembly in HPC (2023)dl.acm.org

    ▲ 1measurablefunc14ddiscusssavesaved
21. 1011
    

    newCombining Tests and Proofs with Contracts for Better Software Verificationdl.acm.org

    ▲ 1rramadass21ddiscusssavesaved
22. 1012
    

    newAI agents locate infrastructure flaws and zero-days to exploit task shortcutscacm.acm.org

    ▲ 1visha1v24ddiscusssavesaved
23. 1013
    

    newNeed help porting PS2 game into browser as a browser game

    ▲ 1acmeeeeeeeeeeee14d💬 1savesaved
24. 1014
    

    newCloudflare acquires Denodeno.com

    ▲ 1391ilreb27d💬 728savesaved
25. 1015
    

    newUS Government is hiding a secret court ruling about how it spies on Americanswww.wired.com

    ▲ 1099helterskelter29d💬 465savesaved
26. 1016
    

    newHow Amazon pushes up prices all across the Internetwww.not-ship.com

    ▲ 954sighborg22d💬 768savesaved
27. 1017
    

    newWe should be more ambitious with the software we builddanluu.com

    ▲ 919ltratt12d💬 780savesaved
28. 1018
    

    newHackers activate automatic defrosting in supermarket fridges across Europewww.tomshardware.com

    ▲ 918Zeekaas24d💬 1007savesaved
29. 1019
    

    newTell HN: I unknowingly broke the PHP RCE embargo. I am sorry

    ▲ 753petecooper14d💬 270savesaved
30. 1020
    

    newTell HN: Gemini trains on chat history, even for subscribers (personal accounts)

    ▲ 706jameslk38h💬 182savesaved

· edit