HN Explorer

matt_d

↗ HN profile [ 86.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. A Self-Defining Operator for Distributed Applications (arxiv.org)
    1 points 0
  2. Highly Optimizing Ahead-of-Time Compilers for Dynamic Languages [pdf] (olimel.net)
    1 points 0
  3. When AI Agrees Too Much: Manipulating Automated Code Review via Bias Injection [pdf] (dimitro.gr)
    1 points 0
  4. FrontierCS 2: A Benchmark for Computer Science R&D (frontier-cs.org)
    1 points 0
  5. TorchTPU: Hybrid Eager/Compiled Architecture for Native PyTorch Execution on TPU (arxiv.org)
    1 points 1
  6. Language-Based Agent Control (arxiv.org)
    1 points 0
  7. Reactive Optimizers: rewrite the optimizer's source code during training (xingjianbai.com)
    1 points 3
  8. Agency: Open-source platform for debugging, profiling, and analyzing AI agents (github.com)
    1 points 2
  9. mini-Lean-Agent: A Coding-Agent Baseline for Lean (arxiv.org)
    1 points 0
  10. Michael Rabin's fingerprints across the theory of computation (eccc.weizmann.ac.il)
    1 points 0
  11. Deriving Efficient Hardware in the Bluespec Style (stng.substack.com)
    1 points 0
  12. MSP 101: Simply Typed Lambda Calculus [video] (youtube.com)
    1 points 0
  13. Compound Memory Models (sigarch.org)
    1 points 0
  14. Genera for the Initiated: Inside Symbolics Lisp Machines [video] (youtube.com)
    1 points 0
  15. A New Lens on Multi-GPU Comms: API-Level Memory Models for Portable Optimization (arxiv.org)
    1 points 0
  16. Understanding Nvidia Grace-Blackwell Unified Memory Through Microbenchmarks (arxiv.org)
    1 points 0
  17. Architecting for HW Diversity: Meta's E2E Co-Design for AI Training on AMD GPUs (arxiv.org)
    1 points 0
  18. Introduction to Tensor Core Arithmetic (simonveitner.substack.com)
    1 points 0
  19. The Vermilion Experiment: Implementing a Lean Back End for Verus (proofsandintuitions.net)
    1 points 1
  20. Proving your kernel is right (ianbarber.blog)
    2 points 0
  21. Mobile Application GPU Optimization Guide (arm-software.github.io)
    1 points 0
  22. Ghidra + CBMC = Assembly Model Checker (philipzucker.com)
    1 points 0
  23. Dependently Sorted Syntax and its Semantics – Carlo Angiuli [video] (youtube.com)
    1 points 0
  24. Beyond Zero-Skipping: Redundancy-Aware Arch. and Systems for Efficient Inference [video] (youtube.com)
    1 points 0
  25. From Formal Methods to Fuzzing and Back [pdf] (doc.ic.ac.uk)
    2 points 0