Loading...

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

Goodbye, and Thanks for All the Bikesheds

Epistemic Parity: Reproducibility as an Evaluation Metric for Differential Privacy

Superoptimizer – A Look at the Smallest Program (1987) [pdf]

Any text-to-SQL benchmark should address difficulties of real-world data stores

The drivers behind software delivery inefficiency

Stop Blaming QA and Start Diagnosing the Hidden Inefficiencies

AI makes programming differently difficult

The Birth of Prolog (1996)

Wither ACM? Publish and Perish?

Unsolved Problems in MLOps

Manual Work Is a Bug

Accelerating Block Low-Rank Foundation Model Inference on MemoryConstrained GPUs

Floating Companion: Exploring Design Space for Soft Floating Robots in Indoor

Mechanistic interpretability researchers applying causality theory to LLMs

Why Does the Cloud Stop Computing?: Lessons from Hundreds of Service Outages (2016)

Software Security Analysis in 2030 and Beyond: A Research Roadmap

What can you confidently guarantee about your software?

Convolutional Neural Networks in APL (2019)

A Core Calculus for Documents (2024)

How America's Energy Department is Building a National Platform for Doing Science with AI

Technical Perspective: Making Equality Saturation Usable for Developing Vectorized Compilers

Cooling at the Speed of Light

Artificial Intelligence for Software Engineering: From Probable to Provable

Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA Kernels

Using Task Graph Caching to Accelerate TVM Code Generation

NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures

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

Spork: A posix_spawn you can use as a fork

Subscription Bombing: Email under Attack

Who Builds a House Without Drawing Blueprints? (2015)

More →