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.

1. “ma” is a minimalistic clone of the acme editor used in Plan 9 (www.call-with-current-continuation.org)
   23 points by tosh 17 days ago | 6 comments
2. Dark Sky Creators Return with Acme Weather: A Fresh Take on Forecast Uncertainty (www.macstories.net)
   6 points by thoughtpeddler 26 days ago | discuss
3. ACM A.M. Turing Award Honors Charles H. Bennett and Gilles Brassard (www.acm.org)
   4 points by intrasight 6 days ago | discuss
4. Acme: The Un-Terminal (www.danielmoch.com)
   3 points by signa11 11 days ago | discuss
5. Reflections on Using Acme (2020) (blog.jacobvosmaer.nl)
   3 points by tosh 18 days ago | discuss
6. Plan 9's Acme: The Un-Terminal and Text-Based GUIs (www.danielmoch.com)
   2 points by birdculture 10 days ago | 2 comments
7. Acme device attestation, smallstep and pkcs11: attezt (linderud.dev)
   2 points by Foxboron 3 days ago | discuss
8. 2025 ACM Turing Award Goes to Charles H. Bennett and Gilles Brassard (awards.acm.org)
   2 points by taubek 6 days ago | discuss
9. A Tour of Acme (2012) (research.swtch.com)
   2 points by tosh 17 days ago | discuss
10. ACM's Expression of Concern on a 2024 paper (cacm.acm.org)
    2 points by azhenley 23 days ago | discuss
11. Like the information in a dream: IBM's Charles Bennett receives ACM Turing Award (research.ibm.com)
    1 points by Lutzb 5 days ago | discuss
12. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
    783 points by Poudlardo 8 days ago | 193 comments
13. Show HN: Ink – Deploy full-stack apps from AI agents via MCP or Skills (ml.ink)
    32 points by august- 13 days ago | 6 comments
14. Show HN: Flock v0.7.0 – Open Source Semantic Layer for DuckDB (C++)
    3 points by dorbanianas 7 days ago | 1 comments
15. Show HN: Spendtrace, Feature-level AWS cost attribution (found a 17× gap)) (github.com)
    2 points by joshyi_ba 20 days ago | 3 comments
16. Ask HN: Will LLM-commodification cause growth to continue without a correction?
    1 points by AbstractH24 2 days ago | 13 comments
17. Show HN: Brandomica – Check if a brand name is safe to launch 1n one search (www.brandomica.com)
    1 points by brandomica 25 days ago | discuss
18. Show HN: Molecular Intelligence Platform – Claude Code for Biology – Purna AI (purna.ai)
    1 points by siddhantminocha 26 days ago | discuss
19. A decade of Docker containers (cacm.acm.org)
    366 points by zacwest 17 days ago | 261 comments
20. The Windows 95 user interface: A case study in usability engineering (1996) (dl.acm.org)
    362 points by ksec 24 days ago | 280 comments
21. 2025 Turing award given for quantum information science (awards.acm.org)
    135 points by srvmshr 6 days ago | 44 comments
22. Turing Award Honors Bennett and Brassard for Quantum Information Science (amturing.acm.org)
    67 points by throw0101d 6 days ago | discuss
23. Tony Hoare and His Imprint on Computer Science (cacm.acm.org)
    60 points by matt_d 4 days ago | 4 comments
24. Inventing the Lisa user interface – Interactions (dl.acm.org)
    53 points by rbanffy 27 days ago | 2 comments
25. The Science of Detecting LLM-Generated Text (2024) (dl.acm.org)
    50 points by vinhnx 24 days ago | 19 comments
26. Redefining the Software Engineering Profession for AI (dl.acm.org)
    43 points by dnw 30 days ago | 5 comments
27. What I Always Wanted to Know about Second Class Values (dl.acm.org)
    42 points by todsacerdoti 15 days ago | 25 comments
28. Sandboxing: Foolproof Boundaries vs. Unbounded Foolishness (2025) (spawn-queue.acm.org)
    26 points by antlai 7 days ago | discuss
29. Randomization in Controlled Experiments (queue.acm.org)
    24 points by pykq 7 days ago | 2 comments
30. An Analysis of User-Space Idle State Instructions on x86 Processors (dl.acm.org)
    22 points by blakepelton 18 days ago | 6 comments