matt_d

24 ms·

721.
by matt_d 9mo ago
Main takeaway: > Our experiments show that Intel’s port assignment policies can diverge significantly from the well-documented "least-loaded eligible port" model, illustrated in Figure 1. Using carefully crafted two-instruction
722.
uops-again.info: corner-case behaviours of port assignment on Intel processors(uops-again.info)
1 points by matt_d 9mo ago|1 comments
723.
When magic meets multicore: OCaml and its elegant era of parallelism [video](youtube.com)
1 points by matt_d 9mo ago|0 comments
724.
FlashAttention-T: Towards Tensorized Attention(dl.acm.org)
116 points by matt_d 9mo ago|57 comments
725.
Scaling GPU-to-CPU Migration for Efficient Distributed Execution on CPU Clusters(dl.acm.org)
2 points by matt_d 9mo ago|0 comments
726.
MetaAttention: A Unified&Performant Attention Framework across Hardware Backends(dl.acm.org)
1 points by matt_d 9mo ago|0 comments
727.
Ga68, a GNU Algol 68 Compiler(fosdem.org)
48 points by matt_d 9mo ago|23 comments
728.
LLMs versus the Halting Problem: Revisiting Program Termination Prediction(orensultan.com)
1 points by matt_d 9mo ago|0 comments
729.
DTensor Erasure(blog.ezyang.com)
1 points by matt_d 9mo ago|0 comments
730.
Let the Barbarians In: How AI Can Accelerate Systems Performance Research(sigops.org)
1 points by matt_d 9mo ago|0 comments
731.
Triton Bespoke Layouts(lei.chat)
13 points by matt_d 9mo ago|0 comments
732.
AMD64 Bit Matrix Multiply and Bit Reversal Instructions(docs.amd.com)
8 points by matt_d 9mo ago|3 comments
733.
Demystifying ARM SME to Optimize General Matrix Multiplications(arxiv.org)
88 points by matt_d 9mo ago|19 comments
734.
Evolving the OCaml programming language – CSE Bytes: K C Sivaramakrishnan [video](youtube.com)
15 points by matt_d 9mo ago|0 comments
735.
Magellan: Autonomous Discovery of Compiler Optimization Heuristics w/AlphaEvolve(arxiv.org)
4 points by matt_d 9mo ago|0 comments
736.
Automatic Data Enumeration for Fast Collections(mcmichen.cc)
1 points by matt_d 9mo ago|0 comments
737.
An MLIR Lowering Pipeline for Stencils at Wafer-Scale(arxiv.org)
1 points by matt_d 9mo ago|0 comments
738.
The JAX sharding type system(blog.ezyang.com)
1 points by matt_d 9mo ago|0 comments
739.
AutoSP: Unlocking Long-Context LLM Training via Compiler-Based SP (ICLR 2026)(openreview.net)
1 points by matt_d 9mo ago|0 comments
740.
Disentangling unification and implicit coercion (subtyping interaction problem)(jonmsterling.com)
2 points by matt_d 9mo ago|0 comments
741.
Global vs. Local SPMD(blog.ezyang.com)
1 points by matt_d 9mo ago|0 comments
742.
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2026 talks(youtube.com)
3 points by matt_d 9mo ago|0 comments
743.
Long branches in compilers, assemblers, and linkers(maskray.me)
1 points by matt_d 9mo ago|0 comments
744.
Megatron via shard_map(blog.ezyang.com)
1 points by matt_d 9mo ago|0 comments
745.
Cloud-Hardware Co-Design for Memory Bandwidth-Bound HPC Workloads: Azure HBv5(dl.acm.org)
1 points by matt_d 9mo ago|0 comments
746.
CuTile on Blackwell: NVIDIA's Compiler Moat Is Already Built(patricktoulme.substack.com)
3 points by matt_d 9mo ago|0 comments
747.
Compiling Classical Sequent Calculus to Stock Hardware: Duality of Compilation [video](youtube.com)
1 points by matt_d 9mo ago|0 comments
748.
Computing Sharding with Einsum(blog.ezyang.com)
27 points by matt_d 9mo ago|0 comments
749.
What Is Control Flow Analysis for Lambda Calculus? [audio](podcasts.apple.com)
1 points by matt_d 9mo ago|1 comments
750.
Introduction to Coinduction in Agda Part 1: Coinductive Programming(jesper.cx)
1 points by matt_d 9mo ago|0 comments

More ›