Verus: A Practical Foundation for Systems Verification

Study Examines How to Thoughtfully Represent ADHD in Video Games Through Teen Perspectives

The Ultimate Conditional Syntax

An Experimental Study of Bitmap Compression vs. Inverted List Compression

APL since 1978

Role of Composition in Computer Programming (1995)

Towards an API for the Real Numbers Hans

Arithmetic Coding for Data Compression

Derivative grammars: a symbolic approach to parsing with derivatives

C Is Not a Low-level Language (2018)

TensorRight: Automated Verification of Tensor Graph Rewrites

A history of APL in the USSR (1991)

Computer Architecture, Fifth Edition: A Quantitative Approach (2011)

Compilation on the GPU? A Feasibility Study

Ending Affirmative Action Harms Diversity Without Improving Academic Merit [pdf]

Compilation on the GPU? A feasibility study

Decentralized social media ‘increases citizen empowerment’, says Oxford study

The "Community Notes" (formerly "Birdwatch") feature on X/Twitter did not significantly slow the spread of misinformation on X/Twitter, because it was too slow

The Design of a Self-Compiling C Transpiler Targeting POSIX Shell

Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis

Rhombus: A New Spin on Macros (2023)

Counterexamples in Safe Rust

Eliza in SNOBOL4

The Ultimate Conditional Syntax

Nulls: Revisiting null representation in modern columnar formats

Supporting Task Switching with Reinforcement Learning

Bridging Search and Recommendation in Generative Retrieval

A history of Clojure (2020)

Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status

A modest proposal: C++ resyntaxed (1996)

More →