1
1
Lifting Terms: Making Well Scoped Syntax Dumber (philipzucker.com)
1
Sheaves in Haskell (tweag.io)
1
Writing static checks to an unsuspecting library with Liquid Haskell (tweag.io)
1
Harvesting Sub-Microsecond CXL Memory Stalls with LiteSwitch (usenix.org)
3
Formally Verifying AI-Generated GPU Kernels (gimletlabs.ai)
2
Occupancy Math on the AMD MI355X GPU (CDNA4): A From-First-Principles Guide (amd.com)
3
Intelligence Is Free, Now What? Data Systems For, Of, and by Agents (bair.berkeley.edu)
2
Binvariants: Register-Level Invaraint-Guided Fuzzing for Binaries (github.com/futureslab)
2
PuzzleMoE: Efficient Compression of Large Mixture-of-Experts Models (supercomputing-system-ai-lab.github.io)
2
Ekka: Automated Diagnosis of Silent Errors in LLM Inference (washington.edu)
2
Architecture 2.0: Designing AI-Assisted Loops for Computing Systems (mlsysbook.ai)
2
Beyond Prediction: Tail-Aware Scheduling for LLM Inference (yl3469.github.io)
2
SOLAR: AI-Powered Speed-of-Light Performance Analysis (arxiv.org)
2
The Verification Horizon: No Silver Bullet for Coding Agent Rewards (arxiv.org)
4
Binary Coverage the Wrong Way (redvice.org)
2
Stealing 50 Years of Database Ideas for AI Agents (onewill.ai)
1
Empirical Computation: Prompting versus Programming [pdf] (mboehme.github.io)
1
Programming Language Design and Implementation in the Era of Machine Learning [video] (youtube.com)
63
Senior SWE-Bench: open-source benchmark that assesses agents as senior engineers (snorkel.ai)
2
Software Security Analysis in 2030 and Beyond: A Research Roadmap (acm.org)
1
VeriCache: Turning Lossy KV Cache into Lossless LLM Inference (arxiv.org)
1
Designing GPU-Accelerated Query Engines with NVIDIA GQE (nvidia.com)
2
Teaching Algorithms in 2026 (uni.edu)
1
Pragmatic Approaches to Improving Compiler Correctness (ecoop.org)
1
The Expensive Fictions of Low-Level Programming Languages (stng.substack.com)
2
On the Efficacy of PyTorch for High-Performance Computing (acm.org)
2
Accelerating LLM Inference on AMD GPUs with Low-Latency GEMMs (amd.com)
1
Agentic Hardware Design as Repository-Level Code Evolution (arxiv.org)
3
Reward hacking is swamping model intelligence gains (cursor.com)
3
Memora: A Harmonic Memory Representation Balancing Abstraction and Specificity (microsoft.com)
5
Compiler-Assisted Floating-Point Error Analysis and Profiling with FPChecker (fpanalysistools.org)
1
Are We Ready for an Agent-Native Memory System? (arxiv.org)
25
Micro-Agent: Beat Frontier Models with Collaboration Inside Model API (vllm.ai)
1
TraceLab: Characterizing Coding Agent Workloads for LLM Serving (washington.edu)
1
It's Always the Learning Rates (ianbarber.blog)
3
Efficiency in LLMs – Part 1 – Columbia Machine Learning Summer School 2026 [video] (youtube.com)
1
Using Local Coding Agents (sebastianraschka.com)
1
The Thing We All Obviously Want (kmicinski.com)
2
ActPlane: Programmable OS-Level Policy Enforcement for Agent Harnesses (arxiv.org)
1
Fenwick trees for products mod 2ⁿ (bitmath.blogspot.com)
3
A Fake Shell for Pangenomics (cornell.edu)
1
Making Equality Saturation Usable for Developing Vectorized Compilers (acm.org)
2
Reading AI Model Compilation in MLIR Through the Lens of Formal Theories (arxiv.org)
2
Liveness Proofs in Veil, Part I: The First Step (proofsandintuitions.net)
1
ParallelKernelBench: Can LLMs write fast multi-GPU kernels? (github.com/togethercomputer)
1
LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast) [video] (youtube.com)
2
Code as Agent Harness (arxiv.org)
2
PICO: Performance Insights for Collective Operations (ieee.org)
1
An Overview of Petri Net Theory [video] (youtube.com)
1
2026 EuroLLVM Developers' Meeting Talks (youtube.com)
2
VoltanaLLM: Energy-Efficient LLM Serving (supercomputing-system-ai-lab.github.io)
2
Why Software Requirements Get Easier in an AI Economy (stng.substack.com)
1
Lifting E-Graphs: A Function Isn't a Constant (arxiv.org)
1
Inference Compute Shapes Frontier LLM Evaluation (arxiv.org)
1
Concordia: JIT-Compiled Persistent-Kernel Checkpt for Fault-Tolerant Inference (arxiv.org)
1
SIMT-Step Execution: A Flexible Operational Semantics for GPU Subgroup Behavior (arbersephirotheca.github.io)
1
NektarIR: A Domain-Specific Compiler for High-Order FE Ops on Heterogeneous HW (arxiv.org)
2
C++ Lifetime-End Pointer-Zap and OOTA Progress (kernel.org)
1
TIRx: An Open Compiler Stack for Evolving Frontier ML Kernels (apache.org)
1
What Is A Programming Language? – Advent of Computing Episode 184 (libsyn.com)
2
NVFP4 Blockscaled GEMM on NVIDIA RTX Pro Blackwell GPUs (SM12x) (colfax-intl.com)
3
LLVM-Snippy: An Instruction Sequence Generator. Part 1: Overview [video] (youtube.com)
47
LLMs Are Complicated Now (ianbarber.blog)
1
petite-vllm Part 2: KV Cache & Paged Attention (kristenmcintosh.dev)
1
Analyzing Bytes: Pre-Disassembly Static Binary Analysis (research.google)
1
Terminal-Bench Challenges: long-horizon, token-intensive, single-task benchmarks (tbench.ai)
1
Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video] (youtube.com)
2
SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker (se-radio.net)
9
Integer Quantization: Deep Dive (hello-fri-end.github.io)
3
M* (M-Star): A Modular, Extensible, Serving System for Multimodal Models (stanford.edu)
3
From Minutes to Seconds: LLM-Guided Autotuning for Helion Kernels (pytorch.org)
1
Zigzag Decoding with AVX-512 (zeux.io)
1
GenDB – LLM-Powered Generative Query Engine (solidlao.github.io)
20
AI Compute Extensions (ACE) Specification (x86ecosystem.org)
1
Loop Unrolling in the ML Era (hiraditya.github.io)
6
System call instrumentation on Linux/x86‑64 using memory‑indirect calls, part I (humprog.org)
1
Fearless Concurrency on the GPU (arxiv.org)
1
Using Task Graph Caching to Accelerate TVM Code Generation (acm.org)
1
Google's Training Supercomputers from TPU v2 to Ironwood: Five Generations (arxiv.org)
6
The Return of Rigorous Full-System Timing Simulation (sigarch.org)
4
Language integrated LLMs as an OCaml function (recoil.org)
2
Using OxCaml to implement type-safe reference counting between OCaml and Python (janestreet.com)
2
Scalable GPU Acceleration of Scalar Functions in Analytical Databases (microsoft.com)
1
Compiling Strassen-Like Matrix Multiplication Algorithms to Fast CUDA Kernels (acm.org)
2
Programming Language Design and Implementation (PLDI) 2026 Live Streams (sigplan.org)
1
Puzzling Success of Overparameterization: Lottery Tickets or Escape Dimensions? (epfl.ch)
2
One More Type in the Tiny Type Theory (jcreedcmu.github.io)
3
A Galois Field Arithmetic Primer (tomverbeure.github.io)
1
An O(x)Caml book that runs (kcsrk.info)
4
Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video] (youtube.com)
4
Trip report: June 2026 ISO C++ standards meeting (Brno, Czechia) (herbsutter.com)
1
UnpredictaBench: A Benchmark for Evaluating Distributional Randomness in LLMs (arxiv.org)
1
Linear Algebra Kernels for the Age of Research (gpumode.com)
2
Latent learning: episodic memory complements parametric learning (openreview.net)
1
NEURA: A Unified and Retargetable Compilation Framework for CGRAs (acm.org)
2
System Call Stack Alignment (humprog.org)
1
Making FlashAttention-4 faster for inference (modal.com)
1
Precision Matters in Block Scales (constantinides.net)
2