Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

From Linearity to Borrowing

The World's Fastest Scrabble Program (1988)

Gauguin, Descartes, Bayes: A Diurnal Golem’s Brain

The Case for Learned Index Structures

New Control Structures In APL? (1982)

Comparing a RISC and a CISC with similar hardware organization (1991)

FlexGuard: using eBPF to detect critical section preemptions and switch between spinlocks (fast) and blocking locks (resistant to oversubscription)

Research introduces a comprehensive, ranked catalog of over 100 code quality defects in introductory programming, validated by an educator survey and analyzed for prevalence using a novel automated tool

Is sound gradual typing dead? Performance problems in Typed Racket (2016)

Researchers have launched the world's first open platform for the objective comparison of biological age algorithms ("aging clocks")

Jazz Guitarist Stanley Jordan wrote APL for Music

Design of the SCHEME-78 Lisp-based microprocessor (1980)

Some observations concerning large programming efforts (1964)

Workings of Science: Debunked Software Theories (2022) [pdf]

"The theory of parsing, translation, and compiling" by Aho and Ullman (1972) can be downloaded from ACM

An Introduction to Trellis-Owl (1986)

A Case for Protecting Computer Games with SGX (2016)

Linear Matching of JavaScript Regular Expressions

The Dangers of Stochastic Parrots: Can Language Models Be Too Big?

Simulating Time with Square-Root Space

Structuring Arrays with Algebraic Shapes

A study of Starbucks workers finds that difficult working conditions for service-industry workers are exacerbated by isolation from others facing similar challenges

Magnetic Tape Storage Technology: usage, history, and future outlook

Lifetime Dispersion and Generational GC: An Intellectual Abstract

LLM Hallucinations in Practical Code Generation

A Dynamic Graph Approach to Immediate Cycle Collection

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)

StarMalloc: verified memory allocator

The Ubiquitous Skiplist: A Survey of What Cannot be Skipped About the Skiplist and its Applications in Data Systems

Handling bidirectional control flow

More →