Follow the ideas that keep turning up in Hacker News discussions.
Haoran Xu, Fredrik Kjolstad
Fast compilation is important when compilation occurs at runtime, such as query compilers in modern database systems and WebAssembly virtual machines in modern browsers.
Ross Mcilroy, Jaroslav Sevcik, Tobias Tebbi +2
The recent discovery of the Spectre and Meltdown attacks represents a watershed moment not just for the field of Computer Security, but also of Programming Languages.
Daniel Ingalls
This paper presents a personal view of the evolution of six generations of Smalltalk in which the author played a part, starting with Smalltalk-72 and progressing through Smalltalk-80 to Squeak and Etoys.
Donald E. Knuth
Donald E. Knuth
The author presents two tricks to accelerate depth-first search algorithms for a class of combinatorial puzzle problems, such as tiling a tray by a fixed set of polyominoes.
Robert P. Colwell, Edward F. Gehringer, E. Douglas Jensen
The Intel 432 is noteworthy as an architecture incorporating a large amount of functionality that most other systems perform by software.
Joseph M. Hellerstein, Peter Alvaro
A key concern in modern distributed systems is to avoid the cost of coordination while maintaining consistent semantics.
Blaise Agüera y Arcas, Jyrki Alakuijala, James Evans +5
The fields of Origin of Life and Artificial Life both question what life is and how it emerges from a distinct set of "pre-life" dynamics.
Allen Wirfs-Brock, Brendan Eich
How a sidekick scripting language for Java, created at Netscape in a ten-day hack, ships first as a de facto Web standard and eventually becomes the world's most widely used programming language.
Mike Innes, Alan Edelman, Keno Fischer +4
Scientific computing is increasingly incorporating the advancements in machine learning and the ability to work with large amounts of data.
Georges-Axel Jaloyan
In the context of deductive software verification, programs with pointers present a major challenge due to pointer aliasing.
Shanchao Liang, Spandan Garg, Roshanak Zilouchian Moghaddam
As large language models (LLMs) become increasingly capable and widely adopted, benchmarks play a central role in assessing their practical utility.
Tim Menzies, William Nichols, Forrest Shull +1
Many practitioners and academics believe in a delayed issue effect (DIE); i.e.
Nada Amin, Ross Tate
Cynthia Solomon, Brian Harvey, Ken Kahn +5
Logo is more than a programming language.
John Backus
Conventional programming languages are growing ever more enormous, but not stronger.
Fergus Henderson
We catalog and describe Google's key software engineering practices.
KC Sivaramakrishnan, Stephen Dolan, Leo White +6
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia.
Kevin Ellis, Catherine Wong, Maxwell Nye +6
Expert problem-solving is driven by powerful languages for thinking about problems and their solutions.
Christopher Celio, Palmer Dabbelt, David A. Patterson +1
This report makes the case that a well-designed Reduced Instruction Set Computer (RISC) can match, and even exceed, the performance and code density of existing commercial Complex Instruction Set Computers (CISC) while maintaining the simplicity and cost-effectiveness that underpins the original RISC goals.
Gail Weiss, Yoav Goldberg, Eran Yahav
What is the computational model behind a Transformer?
Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick +2
Virtual Machines (VMs) with Just-In-Time (JIT) compilers are traditionally thought to execute programs in two phases: the initial warmup phase determines which parts of a program would most benefit from dynamic compilation, before JIT compiling those parts into machine code; subsequently the program is said to be at a steady state of peak
Robert O'Callahan, Chris Jones, Nathan Froyd +3
The ability to record and replay program executions with low overhead enables many applications, such as reverse-execution debugging, debugging of hard-to-reproduce test failures, and "black box" forensic analysis of failures in deployed systems.
Emery D. Berger, Celeste Hollenbeck, Petr Maj +2
This paper is a reproduction of work by Ray et al.
Nouha Dziri, Ximing Lu, Melanie Sclar +13
Transformer large language models (LLMs) have sparked admiration for their exceptional performance on tasks that demand intricate multi-step reasoning.
Walter Bright, Andrei Alexandrescu, Michael Parker
As its name suggests, the initial motivation for the D programming language was to improve on C and C++ while keeping their spirit.
Sebastian Ullrich, Leonardo de Moura
Most functional languages rely on some garbage collection for automatic memory management.
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
In France, income tax is computed from taxpayers' individual returns, using an algorithm that is authored, designed and maintained by the French Public Finances Directorate (DGFiP).
Rich Hickey
Clojure was designed to be a general-purpose, practical functional language, suitable for use by professionals wherever its host language, e.g., Java, would be.
Imanol Schlag, Kazuki Irie, Jürgen Schmidhuber
We show the formal equivalence of linearised self-attention mechanisms and fast weight controllers from the early '90s, where a ``slow" neural net learns by gradient descent to program the ``fast weights" of another net through sequences of elementary programming instructions which are additive outer products of self-invented activation p