HNHacker News
TopNewBestAskShowJobs

matt_d

22,327 karma · joined April 21, 2014

submissionscomments

A Self-Defining Operator for Distributed Applications

arxiv.org·1 pts·matt_d·
0

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

olimel.net·1 pts·matt_d·
0

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

dimitro.gr·2 pts·matt_d·
0

FrontierCS 2: A Benchmark for Computer Science R&D

frontier-cs.org·1 pts·matt_d·
0

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

arxiv.org·1 pts·matt_d·
1

Language-Based Agent Control

arxiv.org·2 pts·matt_d·
0

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

xingjianbai.com·32 pts·matt_d·
3

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

github.com·4 pts·matt_d·
1

mini-Lean-Agent: A Coding-Agent Baseline for Lean

arxiv.org·2 pts·matt_d·
0

Michael Rabin's fingerprints across the theory of computation

eccc.weizmann.ac.il·1 pts·matt_d·
0

Deriving Efficient Hardware in the Bluespec Style

stng.substack.com·1 pts·matt_d·
0

MSP 101: Simply Typed Lambda Calculus [video]

youtube.com·2 pts·matt_d·
0

Compound Memory Models

sigarch.org·2 pts·matt_d·
0

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

youtube.com·4 pts·matt_d·
0

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

arxiv.org·2 pts·matt_d·
0

Understanding Nvidia Grace-Blackwell Unified Memory Through Microbenchmarks

arxiv.org·2 pts·matt_d·
0

Architecting for HW Diversity: Meta's E2E Co-Design for AI Training on AMD GPUs

arxiv.org·3 pts·matt_d·
0

Introduction to Tensor Core Arithmetic

simonveitner.substack.com·2 pts·matt_d·
0

The Vermilion Experiment: Implementing a Lean Back End for Verus

proofsandintuitions.net·2 pts·matt_d·
0

Proving your kernel is right

ianbarber.blog·2 pts·matt_d·
0

Mobile Application GPU Optimization Guide

arm-software.github.io·1 pts·matt_d·
0

Ghidra + CBMC = Assembly Model Checker

philipzucker.com·2 pts·matt_d·
0

Dependently Sorted Syntax and its Semantics – Carlo Angiuli [video]

youtube.com·1 pts·matt_d·
0

Beyond Zero-Skipping: Redundancy-Aware Arch. and Systems for Efficient Inference [video]

youtube.com·1 pts·matt_d·
0

From Formal Methods to Fuzzing and Back [pdf]

doc.ic.ac.uk·2 pts·matt_d·
0

SentryWard: Formal Verification of Warp-Specialized GPU Kernels

sentryward.io·2 pts·matt_d·
0

Bandedness Propagation Analysis of Tensor Compilers [pdf]

homepages.dcc.ufmg.br·1 pts·matt_d·
0

Lean now ships with verified kernels

leodemoura.github.io·204 pts·matt_d·
81

AbridgeKV: Compressing Long Reasoning into the KV Cache of Learned Pause Tokens

github.com·1 pts·matt_d·
0

Getting a subroutine right: a case study [pdf]

cr.yp.to·1 pts·matt_d·
0
Page 1 of 34Next →