AI Worm

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories

Semiclassical Gravity Efficiently Solves NP-Complete Problems

Is Grep All You Need? How Agent Harnesses Reshape Agentic Search

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

Tokenomics: Quantifying Where Tokens Are Used in Agentic Software Engineering

Trees to Flows and Back: Unifying Decision Trees and Diffusion Models

Benchmarks in Leipzig

HetGPU: The pursuit of making binary compatibility towards GPUs

If LLMs Have Human-Like Attributes, Then So Does Age of Empires II