Compilers, MLIR, LLVM, XLA, JAX

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Tags lean

Tag

lean 1

A Type System Is a Search Oracle Sep 1, 2026

Recently Updated

Anatomy of an LLM Serving Engine
Hacking by Breaking: Five Strategies to Reverse Engineer Opaque Compilers
An Optimization Belongs Where Its Facts Live
Sequence Points Are About Establishing Dominance Relation Among Expressions
Visibility Is a Versioning Decision

Trending Tags

compilers inference llm-serving disaggregation mlir rust vllm xla cuda jax

© 2026 Aditya Kumar. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

compilers inference llm-serving disaggregation mlir rust vllm xla cuda jax

New content available