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)

Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation

(2010) Code Bubbles - Visualising and editing code in an infinite canvas using bubbles to contain code fragments (there's a video showing how it would work)

Building Visual Malware Dataset using VirusShare Data and Comparing Machine Learning Baseline Model to CoAtNet for Malware Classification

DRAMHiT: A Hash Table Architected for the Speed of DRAM (2023)

QUIC is not quick enough over fast internet

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs

More →