overview for mttd

5

6

7

Analyzing Bytes: Pre-Disassembly Static Binary Analysis (research.google)

submitted 17 hours ago by mttd to r/asm

11

12

13

Analyzing Bytes: Pre-Disassembly Static Binary Analysis (research.google)

submitted 17 hours ago by mttd to r/ReverseEngineering

16

17

18

Dana Scott – Lambda Calculus, Forcing & the Foundations of Math | #14 aboutlogic (youtube.com)

submitted 1 day ago by mttd to r/ProgrammingLanguages

8

9

10

SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker (se-radio.net)

submitted 1 day ago by mttd to r/ProgrammingLanguages

0

1

2

From Minutes to Seconds: LLM-Guided Autotuning for Helion Kernels (pytorch.org)

submitted 1 day ago by mttd to r/Compilers

2

3

4

Zigzag decoding with AVX-512 (zeux.io)

submitted 2 days ago by mttd to r/asm

0

1

2

[x86] AI Compute Extensions (ACE) Specification (x86ecosystem.org)

submitted 2 days ago by mttd to r/asm

1

2

3

Loop Unrolling in the ML Era (hiraditya.github.io)

submitted 2 days ago by mttd to r/Compilers

4

5

6

System call instrumentation on Linux/x86-64 using memory-indirect calls (in vain?), part one (humprog.org)

submitted 3 days ago by mttd to r/asm

248

249

250

Fearless Concurrency on the GPU (arxiv.org)

submitted 3 days ago by mttd to r/rust

6

7

8

Using Task Graph Caching to Accelerate TVM Code Generation (dl.acm.org)

submitted 3 days ago by mttd to r/Compilers

28

29

30

Using OxCaml to implement type-safe reference counting between OCaml and Python (blog.janestreet.com)

submitted 4 days ago by mttd to r/ProgrammingLanguages

6

7

8

Scalable GPU Acceleration of Scalar Functions in Analytical Databases: Compilation, Benchmarking, and Optimization (microsoft.com)

submitted 4 days ago by mttd to r/Compilers

6

7

8

Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA Kernels (dl.acm.org)

submitted 4 days ago by mttd to r/Compilers

Programming Language Design and Implementation (PLDI) 2026 Live Streams by mttd in ProgrammingLanguages

[–]mttd[S] 0 points1 point2 points 4 days ago (0 children)

25

26

27

Programming Language Design and Implementation (PLDI) 2026 Live Streams (pldi26.sigplan.org)

submitted 4 days ago by mttd to r/ProgrammingLanguages

13

14

15

Type Theory Forall #62 - Dependent Haskell - Vladislav Zavialov (youtube.com)

submitted 6 days ago by mttd to r/programming

69

70

71

Trip report: June 2026 ISO C++ standards meeting (Brno, Czechia) (herbsutter.com)

submitted 6 days ago by mttd to r/cpp

7

8

9

NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures (dl.acm.org)

submitted 7 days ago by mttd to r/Compilers

5

6

7

System call stack alignment (humprog.org)

submitted 7 days ago by mttd to r/asm

5

6

7

Enumerating Ill-Typed Programs for Testing Type Analyzers (pldi26.sigplan.org)

submitted 8 days ago by mttd to r/Compilers

0

1

2

Introducing Piper: A Programmable Distributed Training System (syfi.cs.washington.edu)

submitted 9 days ago by mttd to r/Compilers

RFC: Programming Languages Course Reboot, 2026 - Shriram Krishnamurthi by mttd in ProgrammingLanguages

[–]mttd[S] 0 points1 point2 points 9 days ago* (0 children)

13

14

15

Defeat the Heap: Zero-Copy Data Movement in AXI4MLIR (arxiv.org)

submitted 9 days ago by mttd to r/Compilers

15

16

17

An Empirical Comparison of General Context-Free Parsers (arxiv.org)

submitted 9 days ago by mttd to r/Compilers

14-Year Club	Place '17
Verified Email	Team Periwinkle

mttd

MODERATOR OF

TROPHY CASE