Hacker News: matt_d

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

matt_d — Fri, 23 Oct 2026 05:41:53 +0000

Article URL: https://dimitro.gr/assets/pdf/AASM27.pdf

Comments URL: https://news.ycombinator.com/item?id=50204885

Points: 2

# Comments: 0

FrontierCS 2: A Benchmark for Computer Science R&D

matt_d — Fri, 23 Oct 2026 03:07:33 +0000

Article URL: https://frontier-cs.org/?v=2

Comments URL: https://news.ycombinator.com/item?id=50204050

Points: 1

# Comments: 0

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

matt_d — Thu, 22 Oct 2026 22:45:49 +0000

Article URL: https://arxiv.org/abs/2610.24161

Comments URL: https://news.ycombinator.com/item?id=50202140

Points: 1

# Comments: 1

Language-Based Agent Control

matt_d — Thu, 22 Oct 2026 05:23:03 +0000

Article URL: https://arxiv.org/abs/2605.12863

Comments URL: https://news.ycombinator.com/item?id=50191506

Points: 2

# Comments: 0

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

matt_d — Wed, 21 Oct 2026 22:17:12 +0000

Article URL: https://xingjianbai.com/reactive-optimizers/

Comments URL: https://news.ycombinator.com/item?id=50188440

Points: 2

# Comments: 0

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

matt_d — Wed, 21 Oct 2026 21:56:31 +0000

Article URL: https://github.com/agency-project/agency

Comments URL: https://news.ycombinator.com/item?id=50188214

Points: 4

# Comments: 1

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

matt_d — Wed, 21 Oct 2026 06:33:13 +0000

Article URL: https://arxiv.org/abs/2610.17331

Comments URL: https://news.ycombinator.com/item?id=50176845

Points: 2

# Comments: 0

Michael Rabin's fingerprints across the theory of computation

matt_d — Tue, 20 Oct 2026 17:31:55 +0000

Article URL: https://eccc.weizmann.ac.il/report/2026/259/

Comments URL: https://news.ycombinator.com/item?id=50169795

Points: 1

# Comments: 0

Deriving Efficient Hardware in the Bluespec Style

matt_d — Tue, 20 Oct 2026 17:25:15 +0000

Article URL: https://stng.substack.com/p/deriving-efficient-hardware-in-the

Comments URL: https://news.ycombinator.com/item?id=50169708

Points: 1

# Comments: 0

MSP 101: Simply Typed Lambda Calculus [video]

matt_d — Tue, 20 Oct 2026 17:23:25 +0000

Article URL: https://www.youtube.com/watch?v=lluk5MOrtHM

Comments URL: https://news.ycombinator.com/item?id=50169683

Points: 2

# Comments: 0

Compound Memory Models

matt_d — Tue, 20 Oct 2026 16:48:31 +0000

Article URL: https://www.sigarch.org/compound-memory-models/

Comments URL: https://news.ycombinator.com/item?id=50169172

Points: 2

# Comments: 0

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

matt_d — Mon, 19 Oct 2026 18:00:36 +0000

Article URL: https://www.youtube.com/watch?v=W2fGKjFoaOg

Comments URL: https://news.ycombinator.com/item?id=50155679

Points: 3

# Comments: 0

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

matt_d — Mon, 19 Oct 2026 04:57:19 +0000

Article URL: https://arxiv.org/abs/2610.16190

Comments URL: https://news.ycombinator.com/item?id=50148527

Points: 2

# Comments: 0

Understanding Nvidia Grace-Blackwell Unified Memory Through Microbenchmarks

matt_d — Mon, 19 Oct 2026 04:55:30 +0000

Article URL: https://arxiv.org/abs/2610.20354

Comments URL: https://news.ycombinator.com/item?id=50148512

Points: 2

# Comments: 0

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

matt_d — Mon, 19 Oct 2026 01:55:50 +0000

Article URL: https://arxiv.org/abs/2610.22230

Comments URL: https://news.ycombinator.com/item?id=50147458

Points: 3

# Comments: 0

Introduction to Tensor Core Arithmetic

matt_d — Mon, 19 Oct 2026 01:55:10 +0000

Article URL: https://simonveitner.substack.com/p/introduction-to-tensor-core-arithmetic

Comments URL: https://news.ycombinator.com/item?id=50147456

Points: 2

# Comments: 0

The Vermilion Experiment: Implementing a Lean Back End for Verus

matt_d — Mon, 19 Oct 2026 01:54:24 +0000

Article URL: https://proofsandintuitions.net/2026/10/18/vermilion-experiment-lean-backend-verus/

Comments URL: https://news.ycombinator.com/item?id=50147452

Points: 2

# Comments: 0

Proving your kernel is right

matt_d — Sun, 18 Oct 2026 16:46:21 +0000

Article URL: https://ianbarber.blog/2026/10/17/proving-your-kernel-is-right/

Comments URL: https://news.ycombinator.com/item?id=50142741

Points: 2

# Comments: 0

Mobile Application GPU Optimization Guide

matt_d — Sun, 18 Oct 2026 05:08:43 +0000

Article URL: https://arm-software.github.io/magog/

Comments URL: https://news.ycombinator.com/item?id=50138086

Points: 1

# Comments: 0

Ghidra + CBMC = Assembly Model Checker

matt_d — Sun, 18 Oct 2026 04:38:21 +0000

Article URL: https://www.philipzucker.com/asmc_cpp/

Comments URL: https://news.ycombinator.com/item?id=50137965

Points: 2

# Comments: 0