HN Explorer

matt_d

↗ HN profile [ 85.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. CTA-Pipelining: A Latency-Oriented Spatial Scaling Method for Multi-GPU Systems (arxiv.org)
    1 points 0
  2. AI Model Co-Design: Hardware-Friendly LLM Design (developer.nvidia.com)
    1 points 0
  3. Towards Free Normalization: Fusing Normalization into GEMM and Attention Kernels (pytorch.org)
    1 points 0
  4. Negotiating AI in Open Source Software Communities: A Case Study of LLVM Project (gupea.ub.gu.se)
    1 points 0
  5. Reducing HBM Bottlenecks in JAX-Based LLM Training with Host Offloading (developer.nvidia.com)
    1 points 0
  6. Compiler Testing – Part 2: Metamorphic Testing with Verified Identities (nowarp.io)
    1 points 0
  7. What Every Python Developer Should Know About the CPython ABI (labs.quansight.org)
    1 points 0
  8. A CIRCT (Circuit IR Compilers and Tools) Project Tutorial (samuelcoward.co.uk)
    1 points 0
  9. Lifting Terms: Making Well Scoped Syntax Dumber (philipzucker.com)
    1 points 0
  10. Sheaves in Haskell (tweag.io)
    1 points 0
  11. Writing static checks to an unsuspecting library with Liquid Haskell (tweag.io)
    1 points 0
  12. Harvesting Sub-Microsecond CXL Memory Stalls with LiteSwitch (usenix.org)
    1 points 0
  13. Formally Verifying AI-Generated GPU Kernels (gimletlabs.ai)
    1 points 0
  14. Occupancy Math on the AMD MI355X GPU (CDNA4): A From-First-Principles Guide (rocm.blogs.amd.com)
    1 points 0
  15. Intelligence Is Free, Now What? Data Systems For, Of, and by Agents (bair.berkeley.edu)
    1 points 1
  16. Binvariants: Register-Level Invaraint-Guided Fuzzing for Binaries (github.com)
    1 points 0
  17. PuzzleMoE: Efficient Compression of Large Mixture-of-Experts Models (supercomputing-system-ai-lab.github.io)
    1 points 0
  18. Ekka: Automated Diagnosis of Silent Errors in LLM Inference (syfi.cs.washington.edu)
    2 points 0
  19. Architecture 2.0: Designing AI-Assisted Loops for Computing Systems (arch2.mlsysbook.ai)
    2 points 0
  20. Beyond Prediction: Tail-Aware Scheduling for LLM Inference (yl3469.github.io)
    1 points 0
  21. SOLAR: AI-Powered Speed-of-Light Performance Analysis (arxiv.org)
    1 points 0
  22. Binary Coverage the Wrong Way (redvice.org)
    1 points 1
  23. Empirical Computation: Prompting versus Programming [pdf] (mboehme.github.io)
    1 points 0
  24. Programming Language Design and Implementation in the Era of Machine Learning [video] (youtube.com)
    2 points 0
  25. Senior SWE-Bench: open-source benchmark that assesses agents as senior engineers (senior-swe-bench.snorkel.ai)
    84 points 42