HNHacker News
TopNewBestAskShowJobs

matt_d

22,408 karma · joined April 21, 2014

submissionscomments

Exploring Exponentially Many Programs at Once with E-Graphs

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

Memory Safety Bugs in Rust Standard Library

forge-blog.github.io·2 pts·matt_d·
0

Stealthy Blue Noise

al.radbox.org·2 pts·matt_d·
0

Proof Repair and (Co)algebra Equivalences

arxiv.org·2 pts·matt_d·
0

FlashStates Unlocking Flexible Hybrid State Management for Agentic LLM Inference

flashstates.ai·1 pts·matt_d·
0

Make this forward pass as fast as possible

ianbarber.blog·2 pts·matt_d·
0

Escaping the Quicksand: A Call to Arms

queue.acm.org·2 pts·matt_d·
0

Triton for MTIA: Bridging the Programming Model Gaps for Custom AI Accelerators

arxiv.org·2 pts·matt_d·
0

The ENIAC in Context: 80 Years of Computing History [video]

youtube.com·5 pts·matt_d·
1

Advent of Computing Episode 194 – SpeedCoding Your Way to Software

adventofcomputing.libsyn.com·1 pts·matt_d·
0

Sem86: A Full-System Emulator Without Hard-Coded Semantics

liblisa.nl·3 pts·matt_d·
0

Rethinking Virtual Machine Monitors for Better Security in Clouds [pdf]

rusnikola.github.io·1 pts·matt_d·
0

GenDB-V: AI-generated, formally verified database engines

genlang-v.github.io·2 pts·matt_d·
0

SSA-Based Register Allocation for Intel GPUs – Alyssa Rosenzweig, XDC 2026 [video]

youtube.com·2 pts·matt_d·
0

SigmaTrace: Library-Agnostic Observability for CPU/GPU-Initiated RDMA Comms

arxiv.org·1 pts·matt_d·
0

SR-Gadgets: Make Scan-Resistant Caching Practical

arxiv.org·3 pts·matt_d·
0

Computer-Use Agents Are Embodied Generalists

pranjal2041.github.io·1 pts·matt_d·
0

The MoE Training Handbook

huggingface.co·14 pts·matt_d·
0

Codetations: Rich, Granular, and Maintainable Annotations for Evolving Code

ztatlock.net·2 pts·matt_d·
0

Exo: An Architecture for Self-Improving Systems at Runtime

arxiv.org·2 pts·matt_d·
0

Formally verifying agent-written full-stack apps with Proof-Driven Development

microsoft.com·2 pts·matt_d·
0

Full-stack verification is the new trend

wiki.alcidesfonseca.com·1 pts·matt_d·
0

VibeSys on Trainium: Agents Build/Tune Qwen3.8 Serving Engines on AWS Trainium2

syfi.cs.washington.edu·2 pts·matt_d·
0

Rethinking Abstractions Towards a DSL and Compiler Foundation in the Agentic Era

tvm.apache.org·1 pts·matt_d·
0

A Heart Means Recursion: Exploring Visual Meaning and Communication in VLMs

arxiv.org·3 pts·matt_d·
0

Adversarial Speculative Reasoning Improves Long Horizon Agents

alphaxiv.org·2 pts·matt_d·
0

Larger Tokenizers Suffer More Multi-Epoch Regret

wenhaochai.com·3 pts·matt_d·
0

Reasoning Models Can Control Their CoT When They Tell Themselves To

arxiv.org·3 pts·matt_d·
1

The lost malloc()

napcakes.nekoweb.org·161 pts·matt_d·
78

Multi-Token Prediction Done Right

arxiv.org·13 pts·matt_d·
4
Page 1 of 34Next →