Operational HPC lessons learnt training the Tessera geospatial foundation models [pdf]cl.cam.ac.uk·1 pts·matt_d·0
Einsum Trees: An Abstraction for Optimizing the Execution of Tensor Expressions [video]youtube.com·1 pts·matt_d·0
Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video]youtube.com·1 pts·matt_d·0
Exploding variance of means of exponentials: least-squares to the rescuefrancisbach.com·65 pts·matt_d·0
ServingStudio: Simulating, Analyzing, and Optimizing LLM Serving Systemssyfi-servingstudio.github.io·5 pts·matt_d·0
SWE-Serve: Benchmarking Agentic Engineering for Production Inference Servingresearch.nvidia.com·3 pts·matt_d·0