matt_d

31 ms·

1. 841.▲
   Building an Open ABI and FFI for ML Systems(tvm.apache.org)

   3 points by matt_d 1y ago|0 comments
2. 842.▲
   Instruction Set Migration at Warehouse Scale(arxiv.org)

   3 points by matt_d 1y ago|0 comments
3. 843.▲
   Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, COSE [pdf](microsoft.com)

   2 points by matt_d 1y ago|0 comments
4. 844.▲
   The Calculated Typer – Haskell Symposium (ICFP⧸SPLASH'25) [video](youtube.com)

   2 points by matt_d 1y ago|1 comments
5. 845.▲
   by matt_d 1y ago

   Paper: https://dl.acm.org/doi/10.1145/3759164.3759346 Haskell & Agda Code: https://doi.org/10.5281/zenodo.16751639 Abstract: https://bahr.io/pubs/entries/calctyp
6. 846.▲
   PickleBall: Secure Deserialization of Pickle-Based Machine Learning Models(github.com)

   2 points by matt_d 1y ago|0 comments
7. 847.▲
   Clang Bytecode Interpreter Update(developers.redhat.com)

   4 points by matt_d 1y ago|0 comments
8. 848.▲
   Scaling Instruction-Selection Verification Against Authoritative ISA Semantics(doi.org)

   2 points by matt_d 1y ago|0 comments
9. 849.▲
   10 Myths of Scalable Parallel Languages Part 7: Minimalist Language Designs(chapel-lang.org)

   5 points by matt_d 1y ago|0 comments
10. 850.▲
    CPU Autoscaling with a Kernel of Truth(dl.acm.org)

    1 points by matt_d 1y ago|0 comments
11. 851.▲
    SafeRace: WebGPU Memory Safety in the Presence of Data Races(dl.acm.org)

    4 points by matt_d 1y ago|0 comments
12. 852.▲
    A guided tour through Oxidized OCaml(gavinleroy.com)

    4 points by matt_d 1y ago|1 comments
13. 853.▲
    Functional Networking for Millions of Docker Desktops (Experience Report)(dl.acm.org)

    1 points by matt_d 1y ago|0 comments
14. 854.▲
    Does Linux Provide Performance Isolation for NVMe SSDs? Configuring cgroups [pdf](atlarge-research.com)

    2 points by matt_d 1y ago|0 comments
15. 855.▲
    International Conference on Managed Programming Languages & Runtimes (MPLR) 2025(dl.acm.org)

    1 points by matt_d 1y ago|0 comments
16. 856.▲
    Collective Matrix Multiplication – JAX Pallas:Mosaic GPU(docs.jax.dev)

    2 points by matt_d 1y ago|0 comments
17. 857.▲
    StreamTensor: Make Tensors Stream in Dataflow Accelerators for LLMs(arxiv.org)

    1 points by matt_d 1y ago|0 comments
18. 858.▲
    Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k(harvard-edge.github.io)

    2 points by matt_d 1y ago|0 comments
19. 859.▲
    Hybrid Architectures for Language Models: Systematic Analysis & Design Insights(arxiv.org)

    2 points by matt_d 1y ago|0 comments
20. 860.▲
    LLMc: Beating All Compression with LLMs(syfi.cs.washington.edu)

    3 points by matt_d 1y ago|0 comments
21. 861.▲
    Muon Outperforms Adam in Tail-End Associative Memory Learning [video](youtube.com)

    1 points by matt_d 1y ago|0 comments
22. 862.▲
    Barbara Liskov Oral History [video](youtube.com)

    2 points by matt_d 1y ago|0 comments
23. 863.▲
    CMOS 2.0 – Redefining the Future of Scaling(arxiv.org)

    2 points by matt_d 1y ago|0 comments
24. 864.▲
    Fuss-Free Universe Hierarchies(jonmsterling.com)

    1 points by matt_d 1y ago|0 comments
25. 865.▲
    Pretraining Large Language Models with NVFP4(arxiv.org)

    2 points by matt_d 1y ago|0 comments
26. 866.▲
    The Next Computing Revolution: Bringing Processing Inside Memory(computer.org)

    5 points by matt_d 1y ago|1 comments
27. 867.▲
    llvm-mos: Modern C/C++ on the Venerable 6502 | VCFMW 20 (2025) (2025) [video](youtube.com)

    5 points by matt_d 1y ago|0 comments
28. 868.▲
    Mercury: Unlocking Multi-GPU Optimization for LLMs via Remote Memory Scheduling [pdf](storage.googleapis.com)

    1 points by matt_d 1y ago|0 comments
29. 869.▲
    Optimizing a 6502 image decoder – part II: assembly(colino.net)

    21 points by matt_d 1y ago|4 comments
30. 870.▲
    Arm A-Profile Architecture developments 2025: Armv9.7-A(community.arm.com)

    4 points by matt_d 1y ago|0 comments