dl.acm.org on Hacker News

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

56 points by vismit2000 9 days ago | 13 comments

ACM Digital Library page for the 1982 Communications of the ACM article "The future of programming" by Anthony I. Wasserman and Steven Gutz.

Into the depths of C: Elaborating the de facto standards (2016)(dl.acm.org)

26 points by rramadass 1 month ago | 1 comments

Pushdown automata in statistical machine translation (2014)(dl.acm.org)

5 points by brandonb 1 month ago | 0 comments

Functional State Machines in Rust: Typestate and Newtype Patterns(dl.acm.org)

109 points by matt_d 1 month ago | 38 comments

Warnock: Harnessing GPU geometry amplification for vector graphics(dl.acm.org)

36 points by coffeeaddict1 2 months ago | 2 comments

λλ: A Programming Language for Silicon Photonics(dl.acm.org)

75 points by matt_d 2 months ago | 16 comments

Programmable Property-Based Testing(dl.acm.org)

15 points by matt_d 2 months ago | 1 comments

Gauguin, Descartes, Bayes: A Diurnal Golem's Brain(dl.acm.org)

17 points by asdftemp 2 months ago | 4 comments

The drivers behind software delivery inefficiency(dl.acm.org)

70 points by qaprof 3 months ago | 34 comments

The Birth of Prolog (1996)(dl.acm.org)

103 points by Jtsummers 3 months ago | 13 comments

Floating Companion: Exploring Design Space for Soft Floating Robots in Indoor(dl.acm.org)

13 points by hopelessluca 3 months ago | 4 comments

Superoptimizer – A Look at the Smallest Program (1987) [pdf](dl.acm.org)

56 points by linggen 3 months ago | 9 comments

Nabokov's pale fire: the lost 'father of all hypertext demos'? (2011)(dl.acm.org)

111 points by aragonite 4 months ago | 26 comments

Stratum: System-Hardware Co-Design with 3D-Stackable DRAM for Efficient Moe(dl.acm.org)

18 points by rbanffy 5 months ago | 4 comments

Low-Compilation-Cost Register Allocation in LLVM-Based Binary Translation(dl.acm.org)

59 points by matt_d 6 months ago | 1 comments

APL\? (1990)(dl.acm.org)

22 points by tosh 6 months ago | 8 comments

Optimizing Datalog for the GPU(dl.acm.org)

61 points by tosh 6 months ago | 3 comments

Larry Tesler: A Personal History of Modeless Text Editing and Cut/Copy-Paste (2012)(dl.acm.org)

37 points by aragonite 6 months ago | 8 comments

Long Instruction Word architectures and the ELI-512(dl.acm.org)

20 points by rbanffy 6 months ago | 2 comments

Sybilproof reputation mechanisms (2005) [pdf](dl.acm.org)

19 points by perfmode 6 months ago | 0 comments

What I Always Wanted to Know about Second Class Values(dl.acm.org)

29 points by todsacerdoti 7 months ago | 17 comments

An Analysis of User-Space Idle State Instructions on x86 Processors(dl.acm.org)

20 points by blakepelton 7 months ago | 3 comments

The Science of Detecting LLM-Generated Text (2024)(dl.acm.org)

40 points by vinhnx 7 months ago | 17 comments

The Windows 95 user interface: A case study in usability engineering (1996)(dl.acm.org)

326 points by ksec 7 months ago | 235 comments

ACM Digital Library page for a 1996 CHI paper describing the usability engineering process behind the Windows 95 user interface; captured as a Cloudflare check.

Inventing the Lisa user interface – Interactions(dl.acm.org)

39 points by rbanffy 8 months ago | 2 comments

Finding forall-exists Hyperbugs using Symbolic Execution(dl.acm.org)

41 points by todsacerdoti 8 months ago | 2 comments

FlashAttention-T: Towards Tensorized Attention(dl.acm.org)

103 points by matt_d 8 months ago | 56 comments

Dev-owned testing: Why it fails in practice and succeeds in theory(dl.acm.org)

136 points by rbanffy 9 months ago | 157 comments

Why the Internet Is Bad for Democracy (2005)(dl.acm.org)

8 points by tguvot 10 months ago | 2 comments

Beginning January 2026, all ACM publications will be made open access(dl.acm.org)

1976 points by Kerrick 10 months ago | 233 comments

ACM announcement page stating that starting January 2026 all ACM publications and artifacts in the ACM Digital Library will be open access.

Oasis: Pooling PCIe Devices over CXL to Boost Utilization(dl.acm.org)

11 points by blakepelton 10 months ago | 2 comments

Kernel Float: Unlocking Mixed-Precision GPU Programming(dl.acm.org)

11 points by gpuhacker 10 months ago | 0 comments

Using an Array of Needles to Create Solid Knitted Shapes(dl.acm.org)

72 points by PaulHoule 11 months ago | 21 comments

CACM Practice section welcomes submissions(dl.acm.org)

10 points by underscoreF 11 months ago | 4 comments

Falcon: A Reliable, Low Latency Hardware Transport(dl.acm.org)

14 points by teleforce 1 year ago | 7 comments

Power-over-Skin: Full-Body Wearables Powered by Intra-Body RF Energy (2024)(dl.acm.org)

24 points by zdw 1 year ago | 10 comments

Comparing a RISC and a CISC with similar hardware organization (1991)(dl.acm.org)

71 points by luu 1 year ago | 57 comments

Is sound gradual typing dead? Performance problems in Typed Racket (2016)(dl.acm.org)

32 points by fanf2 1 year ago | 3 comments

Design of the SCHEME-78 Lisp-based microprocessor (1980)(dl.acm.org)

96 points by fanf2 1 year ago | 31 comments

Workings of Science: Debunked Software Theories (2022) [pdf](dl.acm.org)

9 points by waldarbeiter 1 year ago | 2 comments

A Case for Protecting Computer Games with SGX (2016)(dl.acm.org)

7 points by turrini 1 year ago | 2 comments

The Dangers of Stochastic Parrots: Can Language Models Be Too Big?(dl.acm.org)

10 points by troupo 1 year ago | 2 comments

Magnetic Tape Storage Technology: usage, history, and future outlook(dl.acm.org)

35 points by matt_d 1 year ago | 12 comments

Structuring Arrays with Algebraic Shapes(dl.acm.org)

80 points by todsacerdoti 1 year ago | 11 comments

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)(dl.acm.org)

21 points by etiams 1 year ago | 4 comments

LLM Hallucinations in Practical Code Generation(dl.acm.org)

49 points by appwiz 1 year ago | 8 comments

A Case for Feminism in Programming Language Design (2024)(dl.acm.org)

5 points by smitty1e 1 year ago | 2 comments

Ada in China (1994)(dl.acm.org)

14 points by todsacerdoti 1 year ago | 1 comments

Unikernel Linux (UKL) (2023)(dl.acm.org)

93 points by pabs3 1 year ago | 12 comments

Investigating the Luna-Terra Collapse as a Temporal Multilayer Graph(dl.acm.org)

23 points by PaulHoule 1 year ago | 6 comments

Meta II a syntax-oriented compiler writing language (1964)(dl.acm.org)

23 points by begoon 1 year ago | 2 comments

File Systems Unfit as Distributed Storage Back Ends (2019)(dl.acm.org)

60 points by qianli_cs 1 year ago | 17 comments

C Is Not a Low-level Language: Your computer is not a fast PDP-11 (2018)(dl.acm.org)

9 points by bundie 1 year ago | 1 comments

On the criteria to be used in decomposing systems into modules (1972)(dl.acm.org)

126 points by reverseflux 1 year ago | 23 comments

An Experimental Study of Bitmap Compression vs. Inverted List Compression(dl.acm.org)

23 points by westurner 1 year ago | 5 comments

Towards an API for the Real Numbers Hans(dl.acm.org)

11 points by weinzierl 1 year ago | 4 comments

A history of APL in the USSR (1991)(dl.acm.org)

119 points by todsacerdoti 1 year ago | 19 comments

Computer Architecture, Fifth Edition: A Quantitative Approach (2011)(dl.acm.org)

108 points by nioj 1 year ago | 18 comments

The Design of a Self-Compiling C Transpiler Targeting POSIX Shell(dl.acm.org)

13 points by fanf2 1 year ago | 2 comments

Rhombus: A New Spin on Macros (2023)(dl.acm.org)

4 points by Decabytes 2 years ago | 1 comments

Nulls: Revisiting null representation in modern columnar formats(dl.acm.org)

50 points by tosh 2 years ago | 6 comments

Bridging Search and Recommendation in Generative Retrieval(dl.acm.org)

18 points by saeedesmaili 2 years ago | 0 comments

The Ultimate Conditional Syntax(dl.acm.org)

127 points by azhenley 2 years ago | 38 comments

Eliza in SNOBOL4(dl.acm.org)

96 points by todsacerdoti 2 years ago | 23 comments

Supporting Task Switching with Reinforcement Learning(dl.acm.org)

19 points by Topfi 2 years ago | 0 comments

Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status(dl.acm.org)

28 points by mpweiher 2 years ago | 16 comments

Hypermedia Controls: Feral to Formal (PDF: ACM HT'24)(dl.acm.org)

54 points by recursivedoubts 2 years ago | 18 comments

QUIC is not quick enough over fast internet(dl.acm.org)

593 points by Shank 2 years ago | 270 comments

ACM Digital Library page for a WWW '24 research paper finding that QUIC underperforms TCP-based HTTP/2 on high-bandwidth networks.

Snapshottable Stores(dl.acm.org)

58 points by matt_d 2 years ago | 5 comments

A systematic approach to deriving incremental type checkers (2020)(dl.acm.org)

11 points by PaulHoule 2 years ago | 0 comments

Calendar Queues: A Fast O(1) Priority Queue Implementation (1988)(dl.acm.org)

46 points by tithe 2 years ago | 22 comments

GenAI diminishes creativity instead of inspiration(dl.acm.org)

22 points by pixiemaster 2 years ago | 0 comments

What does it mean to be a programming language, anyhow? (2021) [pdf](dl.acm.org)

63 points by crowdhailer 2 years ago | 6 comments

Interval parsing grammars for file format parsing (2023)(dl.acm.org)

100 points by fanf2 2 years ago | 23 comments

SQL/SE Query Language Extension for Schema Evolution (1992) [pdf](dl.acm.org)

27 points by steve-chavez 2 years ago | 3 comments

Elligator: Elliptic-curve points indistinguishable from uniform random strings (2013)(dl.acm.org)

93 points by NavinF 2 years ago | 23 comments

Boosting Compiler Testing by Injecting Real-World Code(dl.acm.org)

16 points by matt_d 2 years ago | 1 comments

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior(dl.acm.org)

54 points by matt_d 2 years ago | 1 comments

Air-Bus Hijacking: Silently Taking over Avionics Systems(dl.acm.org)

41 points by pjf 2 years ago | 43 comments

A survey of general-purpose polyhedral compilers(dl.acm.org)

23 points by matt_d 2 years ago | 3 comments

Misconceptions about loops in C(dl.acm.org)

138 points by matt_d 2 years ago | 128 comments

Connection Machine Lisp (1986)(dl.acm.org)

96 points by twoodfin 2 years ago | 16 comments

Apache Arrow DataFusion: A Fast, Embeddable, Modular Analytic Query Engine(dl.acm.org)

4 points by mfiguiere 2 years ago | 0 comments

AdFlush(dl.acm.org)

259 points by grac3 2 years ago | 98 comments

Agenda: a personal information manager (1990) [pdf](dl.acm.org)

66 points by hggh 2 years ago | 33 comments

Von Neumann's First Computer Program (1970)(dl.acm.org)

101 points by Cieplak 2 years ago | 16 comments

My VM is lighter (and safer) than your container (2017)(dl.acm.org)

142 points by fanf2 2 years ago | 135 comments

SEQUEL: A Structured English Query Language (1974)(dl.acm.org)

70 points by aragonite 2 years ago | 26 comments

Trusting Trust: Ken Thompson on supply chain security (1984)(dl.acm.org)

33 points by brianzelip 2 years ago | 7 comments

Interval Parsing Grammars for File Format Parsing (2023) [pdf](dl.acm.org)

49 points by vitplister 2 years ago | 6 comments

Experience with an Uncommon Lisp (1986) [pdf](dl.acm.org)

74 points by mepian 2 years ago | 19 comments

More Fixpoints (Functional Pearl) [pdf](dl.acm.org)

43 points by signa11 2 years ago | 0 comments

The Lincoln TX-2 Computer Development (1957) [pdf](dl.acm.org)

28 points by pncnmnp 2 years ago | 4 comments

Not Without Us – Joseph Weizenbaum (1986)(dl.acm.org)

54 points by drcwpl 2 years ago | 13 comments

Concurrent Processes and Their Syntax (1979) [pdf](dl.acm.org)

40 points by 082349872349872 2 years ago | 5 comments

Protecting Secrets from Computers (2023)(dl.acm.org)

51 points by antlai 2 years ago | 23 comments

Towards Modern Development of Cloud Applications (2023)(dl.acm.org)

142 points by signa11 2 years ago | 58 comments

Verilog HDL and its ancestors and descendants [pdf](dl.acm.org)

22 points by JoachimS 2 years ago | 6 comments

Clockhands: Rename-free instruction set architecture for out-of-order processors(dl.acm.org)

92 points by rbanffy 2 years ago | 26 comments

Meta II: Digital Vellum in the Digital Scriptorium(dl.acm.org)

9 points by surprisetalk 2 years ago | 0 comments

What if mass storage were free? – George Copeland (1980) [pdf](dl.acm.org)

37 points by thunderbong 2 years ago | 32 comments

PacketMill: Toward per-Core 100-Gbps networking (2021)(dl.acm.org)

77 points by teleforce 2 years ago | 24 comments

Eoops: An object-oriented programming system for Emacs-Lisp (1992)(dl.acm.org)

60 points by lr0 2 years ago | 25 comments

Disks lie. And the controllers that run them are partners in crime (2012)(dl.acm.org)

73 points by ecliptik 2 years ago | 56 comments

Semantic Hearing: Programming Acoustic Scenes with Binaural Hearables(dl.acm.org)

38 points by rntn 3 years ago | 2 comments

A Workload-Aware and Query-Sensitive Framework for Disk-Based Spatial Indexing(dl.acm.org)

5 points by mooreds 3 years ago | 0 comments

Optical Circuit Switching for ML Systems(dl.acm.org)

53 points by tim_sw 3 years ago | 11 comments

Garbage Collection in a Large Lisp System (1984) [pdf](dl.acm.org)

48 points by mepian 3 years ago | 14 comments

A Metaobject Protocol for C++ (1995) [pdf](dl.acm.org)

60 points by signa11 3 years ago | 28 comments

Programming Techniques: Regular expression search algorithm (1968)(dl.acm.org)

21 points by userbinator 3 years ago | 1 comments

Optimization Techniques for GPU Programming [pdf](dl.acm.org)

134 points by ibobev 3 years ago | 33 comments

Large-scale analysis of code re-use in Atari 2600 games (2022)(dl.acm.org)

69 points by corysama 3 years ago | 26 comments

The Data Trust Deficit [pdf](dl.acm.org)

13 points by adrian_mrd 3 years ago | 0 comments

Xerox PARC's NoteCards in a Nutshell (1987) [pdf](dl.acm.org)

72 points by mepian 3 years ago | 26 comments

Putting out the hardware dumpster fire(dl.acm.org)

204 points by peter_d_sherman 3 years ago | 94 comments

Proceedings of the 19th Workshop on Hot Topics in Operating Systems(dl.acm.org)

49 points by ankitg12 3 years ago | 8 comments

U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning(dl.acm.org)

79 points by tosh 3 years ago | 10 comments

A Flexible Type System for Fearless Concurrency (2022) [pdf](dl.acm.org)

127 points by luu 3 years ago | 31 comments

Looplets: A Language for Structured Coiteration(dl.acm.org)

50 points by matt_d 3 years ago | 21 comments

Skybox: Open-Source Graphic Rendering on Programmable RISC-V GPUs(dl.acm.org)

83 points by PaulHoule 3 years ago | 30 comments