matt_d

6 ms·

1. 1.▲
   Accurate Models of AMD Matrix Cores(arxiv.org)

   1 points by matt_d 1h ago|0 comments
2. 2.▲
   AI Compilers Are Not Just Compilers for AI(aicompilers.github.io)

   2 points by matt_d 3h ago|1 comments
3. 3.▲
   An Educational GEMM Ladder for Helios GPUs(rocm.blogs.amd.com)

   1 points by matt_d 3h ago|0 comments
4. 4.▲
   Verification of a Generational Garbage Collector(arxiv.org)

   2 points by matt_d 15h ago|0 comments
5. 5.▲
   Revisiting Soundness for Occurrence Typing, Semantically(arxiv.org)

   1 points by matt_d 16h ago|0 comments
6. 6.▲
   Discovering Interpretable Algorithms by Decompiling Transformers to RASP [video](youtube.com)

   2 points by matt_d 22h ago|0 comments
7. 7.▲
   Branch Divergence in SIMT Machines: From CFG to Compiler Divergence Analysis [pdf](hsmahesha.github.io)

   1 points by matt_d 22h ago|0 comments
8. 8.▲
   Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning(arxiv.org)

   3 points by matt_d 1d ago|0 comments
9. 9.▲
   Into the CUDA Multiverse of Runtime Compilation: GPU DBMS Kernel Fusion [pdf](vldb.org)

   2 points by matt_d 1d ago|0 comments
10. 10.▲
    Agents Have Favorite Tools(ianbarber.blog)

    1 points by matt_d 2d ago|0 comments
11. 11.▲
    Duplex Cue: Does a voice agent adapt while speaking?(besimple.ai)

    1 points by matt_d 2d ago|0 comments
12. 12.▲
    LeanDB: A strongly typed SQL Front end(theoric.com)

    3 points by matt_d 2d ago|0 comments
13. 13.▲
    OSDI '26 – μShell: A Microkernel-Based FPGA Shell Architecture [video](youtube.com)

    2 points by matt_d 2d ago|0 comments
14. 14.▲
    SWE-Bench Multimodal: Do AI Systems Generalize to Visual Software Domains?(swebench.com)

    1 points by matt_d 2d ago|0 comments
15. 15.▲
    RoofLang: Enabling AI-Driven Architecting of LLM Inference Systems(arxiv.org)

    6 points by matt_d 2d ago|0 comments
16. 16.▲
    Gauss-Seidel is faster than Jacobi. Or is it?(loiseaujc.github.io)

    2 points by matt_d 2d ago|0 comments
17. 17.▲
    Hitting a NERVE with attacks on AI-powered brain-computer interfaces(anil.recoil.org)

    3 points by matt_d 3d ago|1 comments
18. 18.▲
    FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving(flare.henryrobbins.com)

    2 points by matt_d 3d ago|0 comments
19. 19.▲
    JSON parsing in OxCaml: fast, but not too fast(pianykh.com)

    1 points by matt_d 3d ago|0 comments
20. 20.▲
    Data races and the limits of ThreadSanitizer in C and Go(theconsensus.dev)

    39 points by matt_d 4d ago|3 comments
21. 21.▲
    Developing provably correct Rust code with Verus(amazon.science)

    4 points by matt_d 4d ago|0 comments
22. 22.▲
    Teaching Novice Computing and Programming in the Agentic AI Era(cs.brown.edu)

    1 points by matt_d 5d ago|0 comments
23. 23.▲
    Building Specialized Systems We Can Trust with Agents(skydiscover-ai.github.io)

    2 points by matt_d 5d ago|0 comments
24. 24.▲
    CascadeLUT: Info.-Ordered Streaming Inference for Bandwidth-Constrained FPGAs(arxiv.org)

    1 points by matt_d 5d ago|0 comments
25. 25.▲
    QueryBrew: System-Agnostic SQL-to-SQL Query Optimization [pdf](vldb.org)

    32 points by matt_d 5d ago|10 comments
26. 26.▲
    Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons(janestreet.com)

    1 points by matt_d 5d ago|0 comments
27. 27.▲
    Computing Against the Odds: Processor Architectures for Batteryless Devices [video](youtube.com)

    1 points by matt_d 5d ago|0 comments
28. 28.▲
    MLIR Project Lighthouse – Update(discourse.llvm.org)

    1 points by matt_d 5d ago|0 comments
29. 29.▲
    On Binary Translation and Its Consequences(chipsandcheese.com)

    57 points by matt_d 6d ago|17 comments
30. 30.▲
    On Next-Gen Transformer: Loops Are Not What You Need(zartbot.github.io)

    26 points by matt_d 6d ago|1 comments