matt_d

30 ms·

1. 871.▲
   TypeDis: A Type System for Disentanglement [pdf](cs.nyu.edu)

   1 points by matt_d 1y ago|0 comments
2. 872.▲
   From CPU Transparency to GPU Complexity – The Performance Engineering Frontier(harvard-edge.github.io)

   2 points by matt_d 1y ago|0 comments
3. 873.▲
   Quotient Polymorphism [pdf](people.cs.nott.ac.uk)

   2 points by matt_d 1y ago|0 comments
4. 874.▲
   Labelled preorders and coercions: different approaches to multiple inheritance(jonmsterling.com)

   2 points by matt_d 1y ago|0 comments
5. 875.▲
   GPU Mode Lecture 80: How FlashAttention 4 Works [video](youtube.com)

   4 points by matt_d 1y ago|0 comments
6. 876.▲
   When You Have a Fuzzer, Everything Looks Like a Reachability Problem [pdf](doc.ic.ac.uk)

   1 points by matt_d 1y ago|0 comments
7. 877.▲
   F3: The Open-Source Data File Format for the Future(doi.org)

   9 points by matt_d 1y ago|0 comments
8. 878.▲
   Efficient LLM:Bandwidth, Compute, Synchronization, and Capacity are all you need(arxiv.org)

   6 points by matt_d 1y ago|0 comments
9. 879.▲
   HieraSynth: A Parallel Framework for Complete Super-Optimization [pdf](lsrcz.github.io)

   3 points by matt_d 1y ago|0 comments
10. 880.▲
    Fusion: An Analytics Object Store Optimized for Query Pushdown(doi.org)

    6 points by matt_d 1y ago|0 comments
11. 881.▲
    Type Theory Forall – Philip Wadler – Type Classes, Monads, Logic, Future of PL [video](youtube.com)

    2 points by matt_d 1y ago|0 comments
12. 882.▲
    3rd Largest Element: SIMD Edition(parallelprogrammer.substack.com)

    15 points by matt_d 1y ago|0 comments
13. 883.▲
    FP64 Floating-Point Emulation in INT8(arxiv.org)

    3 points by matt_d 1y ago|0 comments
14. 884.▲
    A Early History of Algebraic Data Types(hillelwayne.com)

    2 points by matt_d 1y ago|1 comments
15. 885.▲
    RISC-V Conditional Moves(corsix.org)

    3 points by matt_d 1y ago|0 comments
16. 886.▲
    Global Economic History: Cradle of Modernity [pdf](sas.upenn.edu)

    3 points by matt_d 1y ago|0 comments
17. 887.▲
    "Is it time for a new proof assistant?" – Jon Sterling [video](youtube.com)

    4 points by matt_d 1y ago|0 comments
18. 888.▲
    OpenSTA: Open-source static timing analysis for FPGAs(zeroasic.com)

    7 points by matt_d 1y ago|0 comments
19. 889.▲
    Arm SIMD Loops – C, ACLE intrinsics, inline assembly – Neon, SVE, SME(gitlab.arm.com)

    2 points by matt_d 1y ago|0 comments
20. 890.▲
    GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2(arxiv.org)

    3 points by matt_d 1y ago|0 comments
21. 891.▲
    Weak Memory Model Formalisms: Introduction and Survey(arxiv.org)

    2 points by matt_d 1y ago|0 comments
22. 892.▲
    Program Optimisations via Hylomorphisms for Extraction of Executable Code(drops.dagstuhl.de)

    4 points by matt_d 1y ago|0 comments
23. 893.▲
    Identity Types(bartoszmilewski.com)

    49 points by matt_d 1y ago|41 comments
24. 894.▲
    Categorical Foundations for CuTe Layouts(research.colfax-intl.com)

    1 points by matt_d 1y ago|0 comments
25. 895.▲
    Transforming recursion into iteration for LLVM loop optimizations(dspace.mit.edu)

    35 points by matt_d 1y ago|7 comments
26. 896.▲
    Unweaving Warp Specialization(rohany.github.io)

    2 points by matt_d 1y ago|0 comments
27. 897.▲
    The grind tactic in Lean 4 [video](youtube.com)

    3 points by matt_d 1y ago|0 comments
28. 898.▲
    10 Myths of Scalable Parallel Languages Part 6: Performance of High-Level Langs(chapel-lang.org)

    7 points by matt_d 1y ago|0 comments
29. 899.▲
    Reflection – C++'s decade-defining rocket engine(herbsutter.com)

    5 points by matt_d 1y ago|1 comments
30. 900.▲
    A Generalized Algebraic Theory of Directed Equality(jacobneu.phd)

    63 points by matt_d 1y ago|26 comments