matt_d

Joined 12 years ago

Karma

22,327

Submissions

3,521

Member since

Apr 21

View on Hacker News

Recent submissions

A Self-Defining Operator for Distributed Applications arxiv.org

1 matt_d 7 days ago 0 comments

Highly Optimizing Ahead-of-Time Compilers for Dynamic Languages [pdf] olimel.net

1 matt_d 8 days ago 0 comments

When AI Agrees Too Much: Manipulating Automated Code Review via Bias Injection [pdf] dimitro.gr

2 matt_d 8 days ago 0 comments

FrontierCS 2: A Benchmark for Computer Science R&D frontier-cs.org

1 matt_d 8 days ago 0 comments

TorchTPU: Hybrid Eager/Compiled Architecture for Native PyTorch Execution on TPU arxiv.org

1 matt_d 8 days ago 1 comments

Language-Based Agent Control arxiv.org

2 matt_d 9 days ago 0 comments

Reactive Optimizers: rewrite the optimizer's source code during training xingjianbai.com

32 matt_d 9 days ago 3 comments

Agency: Open-source platform for debugging, profiling, and analyzing AI agents github.com

4 matt_d 9 days ago 1 comments

mini-Lean-Agent: A Coding-Agent Baseline for Lean arxiv.org

2 matt_d 10 days ago 0 comments

Michael Rabin's fingerprints across the theory of computation eccc.weizmann.ac.il

1 matt_d 11 days ago 0 comments

Deriving Efficient Hardware in the Bluespec Style stng.substack.com

1 matt_d 11 days ago 0 comments

MSP 101: Simply Typed Lambda Calculus [video] youtube.com

2 matt_d 11 days ago 0 comments

Compound Memory Models sigarch.org

2 matt_d 11 days ago 0 comments

Genera for the Initiated: Inside Symbolics Lisp Machines [video] youtube.com

4 matt_d 12 days ago 0 comments

A New Lens on Multi-GPU Comms: API-Level Memory Models for Portable Optimization arxiv.org

2 matt_d 12 days ago 0 comments