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

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