u/mttd

119.4k post karma · 4,041 comment karma · joined Dec 2011 · moderator

1. 24points

   Highly Optimizing Ahead-of-Time Compilers for Dynamic Languages [PhD Defense Slides] (olimel.net)

   submitted 6d ago by u/mttd to r/Compilers

   10 comments · source

2. 28points
   

   MSP 101: Simply Typed Lambda Calculus (youtube.com)

   submitted 7d ago by u/mttd to r/ProgrammingLanguages

   1 comments · source

3. 3points
   

   Compound Memory Models (sigarch.org) [General]

   submitted 7d ago by u/mttd to r/asm

   0 comments · source

4. 5points
   

   Compound Memory Models (sigarch.org)

   submitted 7d ago by u/mttd to r/Compilers

   0 comments · source

5. 4points
   

   Genera for the Initiated: Inside Symbolics Lisp Machines (youtube.com)

   submitted 8d ago by u/mttd to r/programming

   0 comments · source

6. 27points
   

   Inside the Intel 8087 chip: floating-point addition and subtraction (righto.com) [x86]

   submitted 9d ago by u/mttd to r/asm

   0 comments · source

7. 10points

   The Vermilion Experiment: Implementing a Lean Backend for Verus (proofsandintuitions.net)

   submitted 9d ago by u/mttd to r/ProgrammingLanguages

   1 comments · source

8. 12points

   Mobile Application GPU Optimization Guide (arm-software.github.io)

   submitted 10d ago by u/mttd to r/programming

   1 comments · source

9. 7points
   

   Ghidra + CBMC = Assembly Model Checker (philipzucker.com) [General]

   submitted 10d ago by u/mttd to r/asm

   0 comments · source

10. 16points
    

    Dependently Sorted Syntax and its Semantics - Carlo Angiuli (youtube.com)

    submitted 11d ago by u/mttd to r/ProgrammingLanguages

    0 comments · source

11. 8points

    SentryWard: Formal Verification of Warp-Specialized GPU Kernels (sentryward.io)

    submitted 11d ago by u/mttd to r/Compilers

    1 comments · source

12. 5points

    Bandedness Propagation Analysis of Tensor Compilers (homepages.dcc.ufmg.br)

    submitted 11d ago by u/mttd to r/Compilers

    1 comments · source

13. 13points

    [PDF] Getting a subroutine right: a case study (cr.yp.to)

    submitted 12d ago by u/mttd to r/programming

    7 comments · source

14. 5points
    

    Versioned E-Graphs (youtube.com)

    submitted 12d ago by u/mttd to r/ProgrammingLanguages

    0 comments · source

15. 17points

    Writing tensor programs in Lean · TorchLean Verified Examples (robertboy18.github.io)

    submitted 12d ago by u/mttd to r/ProgrammingLanguages

    0 comments · source

16. 40points
    

    Haskell: origins, evolution, and future | Simon Peyton Jones | JuliaCon Global 2026 (youtube.com)

    submitted 14d ago by u/mttd to r/ProgrammingLanguages

    1 comments · source

17. 3points
    

    Rolling Round-Robin Rate: Standard Heterogeneous Throughput for SPEC CPU (arxiv.org)

    submitted 14d ago by u/mttd to r/Compilers

    0 comments · source

18. 9points
    

    Vectorized CLZ and CTZ (purplesyringa.moe) [x86-64/x64]

    submitted 18d ago by u/mttd to r/asm

    11 comments · source

19. 7points
    

    Ahead-of-time Compilation of JavaScript to WebAssembly via Static Type Inference (VMIL 2026) (vimeo.com)

    submitted 19d ago by u/mttd to r/Compilers

    1 comments · source

20. 12points
    

    Equality Saturation: An “Incomplete” Project (blog.sigplan.org)

    submitted 19d ago by u/mttd to r/Compilers

    1 comments · source

21. 26points

    Flow Typing: A New Lens on Linearity (people.cs.nott.ac.uk)

    submitted 21d ago by u/mttd to r/ProgrammingLanguages

    0 comments · source

22. 3points

    Proof-Carrying-BPF Programs for the eBPF Verifier (al.radbox.org)

    submitted 22d ago by u/mttd to r/Compilers

    1 comments · source

23. 5points
    

    The Output-Space Hypothesis: Enumerative Equivalence Checking for Tensor Programs (arxiv.org)

    submitted 22d ago by u/mttd to r/Compilers

    0 comments · source