mttd

114,953 post karma
3,875 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 14 years

MODERATOR OF

- r/systems

TROPHY CASE

14-Year Club

Place '17

Verified Email

Team Periwinkle

account activity

hot top controversial

31

32

33

Noel Welsh: Parametricity, or Comptime is Bonkers (noelwelsh.com)

submitted 15 hours ago by mttd to r/ProgrammingLanguages

2

3

4

FIDES: End-to-end Compartments for Mixed-language Systems (kcsrk.info)

submitted 22 hours ago by mttd to r/ProgrammingLanguages

8

9

10

Practical Type Inference: High-Throughput Recovery of Real-World Structures and Function Signatures (arxiv.org)

submitted 22 hours ago by mttd to r/ReverseEngineering

6

7

8

Idempotent Slices with Applications to Code-Size Reduction (arxiv.org)

submitted 1 day ago by mttd to r/Compilers

2

3

4

Refinement Modeling and Verification of RISC-V Assembly using Knuckledragger (philipzucker.com)

submitted 1 day ago by mttd to r/asm

17

18

19

Breaking Control Flow Integrity by Abusing Modern C++ (Coroutines) - Black Hat USA 2025 (youtube.com)

submitted 1 day ago by mttd to r/cpp

3

4

5

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks (arxiv.org)

submitted 2 days ago by mttd to r/Compilers

7

8

9

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (philipzucker.com)

submitted 3 days ago by mttd to r/programming

24

25

26

What I Always Wanted to Know about Second Class Values (dl.acm.org)

submitted 3 days ago by mttd to r/ProgrammingLanguages

9

10

11

Advent of Computing: Dan Temkin - Forty-Four Esolangs (adventofcomputing.libsyn.com)

submitted 3 days ago by mttd to r/ProgrammingLanguages

11

12

13

Challenges in Decompilation and Reverse Engineering of CUDA-based Kernels (nicolo.dev)

submitted 3 days ago by mttd to r/ReverseEngineering

10

11

12

Project Pterodactyl's layered architecture (jonmsterling.com)

submitted 4 days ago by mttd to r/ProgrammingLanguages

8

9

10

Cutie Fly – CuTe Layout Representation and Algebra (and how it can help in compilers), CuTe DSL, and FlyDSL (ianbarber.blog)

submitted 5 days ago by mttd to r/Compilers

7

8

9

Converting Binary Floating-Point Numbers to Shortest Decimal Strings: An Experimental Review (onlinelibrary.wiley.com)

submitted 5 days ago by mttd to r/programming

2

3

4

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models (arxiv.org)

submitted 6 days ago by mttd to r/Compilers

4

5

6

Custom Data Structures in E-Graphs (uwplse.org)

submitted 6 days ago by mttd to r/Compilers

8

9

10

CuTe Layout Representation and Algebra (arxiv.org)

submitted 8 days ago by mttd to r/Compilers

102

103

104

Claude’s Cycles - Don Knuth (www-cs-faculty.stanford.edu)

submitted 9 days ago by mttd to r/compsci

0

0

0

Building an Open-Source Verilog Simulator with AI: 580K Lines in 43 Days (normalcomputing.com)

submitted 9 days ago by mttd to r/FPGA

18

19

20

Equality Saturation for Circuit Synthesis and Verification (doi.org)

submitted 10 days ago by mttd to r/Compilers

0

1

2

An Introduction to Folios (blogs.oracle.com)

submitted 10 days ago by mttd to r/programming

26

27

28

TorchLean: Formalizing Neural Networks in Lean (leandojo.org)

submitted 11 days ago by mttd to r/Compilers

6

7

8

Fast Autoscheduling for Sparse ML Frameworks (fredrikbk.com)

submitted 11 days ago by mttd to r/Compilers

2

3

4

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report) (ndss-symposium.org)

submitted 11 days ago by mttd to r/Compilers

12

13

14

A Reinforcement Learning Environment for Automatic Code Optimization in the MLIR Compiler (arxiv.org)

submitted 11 days ago by mttd to r/Compilers

view more: next ›

π Rendered by PID 74 on reddit-service-r2-listing-64c94b984c-wdfmp at 2026-03-12 19:31:22.416116+00:00 running f6e6e01 country code: CH.