Hackernews posts about ACM

ACM is the Association for Computing Machinery, a professional organization that publishes academic journals and transactions in the field of computer science.

RSS feed for ACM

751
newACM Article: from code scarcity to verification scarcity by Ahmed El-Deebdl.acm.org
▲ 2qaprof 6d discuss
752
newPeer-review failures at NeurIPS, IEEE, and ACM introduced flawed AI logicpansophics.substack.com
▲ 2saadchakra 12d discuss
753
newWIF-01 Challenge for ACME (RFC 8555)blog.zaita.io
▲ 2zaitanz 21d discuss
754
newWhen Does Your Acme Client Renew?devops-daily.com
▲ 1ibobev 47h discuss
755
newAcme Proxy: Managing TLS Certificates in Your Homelabsapiolab.nl
▲ 1mpiscaer 14d discuss
756
newProposal for OIDC WIF in Acme (RFC-8555)datatracker.ietf.org
▲ 1zaitanz 20d discuss
757
newThe Impact of Generative AI on Critical Thinking: Self-Reported (2025)dl.acm.org
▲ 82the-mitr 5d 💬 56
758
newThe future of programming (1982)dl.acm.org
▲ 82vismit2000 19d 💬 18
759
newA brief history of just-in-time: forty years of JIT work, from 1960–2000dl.acm.org
▲ 72gjvc 7d 💬 1
760
newNo Source Code? No Problemqueue.acm.org
▲ 53ibobev 12d 💬 41
761
newAn incremental approach to JIT constructiondl.acm.org
▲ 49andsoitis 12d 💬 10
762
newWill MOOCs Destroy Academia? (2012)cacm.acm.org
▲ 19theanonymousone 20d 💬 7
763
newHigh Expectations: An Observational Study of Programming and Cannabisdl.acm.org
▲ 2luu 26d 💬 3
764
newProgramming Language Research by David Walkerdl.acm.org
▲ 2efren6 2d discuss
765
newThe Many Lives of ELIZAcacm.acm.org
▲ 2pseudolus 15d discuss
766
newCash or Comfort? How LLMs Value Your Inconveniencecacm.acm.org
▲ 2njrc 20d discuss
767
newHuman-Like and Male? How AI Assistant Design Relates to Monetary Rewarddl.acm.org
▲ 2nohillside 28d discuss
768
newFly.io Sprites: Storage not ready blocked execution and checkpoint accessgist.github.com
▲ 1acmerfight 7d discuss
769
newExploring the Use of WebAssembly in HPC (2023)dl.acm.org
▲ 1measurablefunc 14d discuss
770
newCombining Tests and Proofs with Contracts for Better Software Verificationdl.acm.org
▲ 1rramadass 21d discuss
771
newAI agents locate infrastructure flaws and zero-days to exploit task shortcutscacm.acm.org
▲ 1visha1v 23d discuss
772
newNeed help porting PS2 game into browser as a browser game
▲ 1acmeeeeeeeeeeee 14d 💬 1
773
newCloudflare acquires Denodeno.com
▲ 1391ilreb 27d 💬 728
774
newUS Government is hiding a secret court ruling about how it spies on Americanswww.wired.com
▲ 1099helterskelter2 9d 💬 465
775
newHow Amazon pushes up prices all across the Internetwww.not-ship.com
▲ 954sighborg 22d 💬 768
776
newTrump administration is suspending Microsoft from a green card programapnews.com
▲ 945alephnerd 28d 💬 1615
777
newWe should be more ambitious with the software we builddanluu.com
▲ 919ltratt 11d 💬 780
778
newHackers activate automatic defrosting in supermarket fridges across Europewww.tomshardware.com
▲ 918Zeekaas 24d 💬 1007
779
newTell HN: I unknowingly broke the PHP RCE embargo. I am sorry
▲ 753petecooper 14d 💬 270
780
newTell HN: Gemini trains on chat history, even for subscribers (personal accounts)
▲ 697jameslk 33h 💬 181