Live data from Hacker News

Viewing profile — matt_d

matt_d

HN member

Joined: Mon, Apr 21, 2014, 4:05 PM UTC
HN karma: 20,712
Public activity: 3,243 items
HN profile: View on Hacker News ↗

About matt_d

No profile information was provided.

Recent public activity

story
Classifying Capabilities (Extended Version)
Fri, Aug 07, 2026, 11:50 PM UTC
story
TensorLift: Auto Extraction of ISA Semantics from Accelerator RTL via MLIR
Fri, Aug 07, 2026, 6:26 PM UTC
story
A Revised Haskell 2010 Language Report
Fri, Aug 07, 2026, 6:20 PM UTC
story
User awareness in frontier models: Who's asking shifts what models say
Fri, Aug 07, 2026, 6:36 AM UTC
story
OBASE: Object-Based Address-Space Engineering to Improve Memory Tiering
Fri, Aug 07, 2026, 5:28 AM UTC
story
Domain-specific hyperspecialization: Winning the SC26 SAT track with LymphoSAT
Fri, Aug 07, 2026, 5:11 AM UTC
story
Benchmarking the Residual: What Long-Horizon Evals Add Beyond Short-Task Perf
Fri, Aug 07, 2026, 4:18 AM UTC
story
Automatically Retrofitting JIT Compilers
Thu, Aug 06, 2026, 11:37 PM UTC
story
tla-rs: IronFleet and AutoMan in Verus
Thu, Aug 06, 2026, 10:25 PM UTC
story
Introducing Dogwood: runtime verification for AI agents
Thu, Aug 06, 2026, 10:24 PM UTC
story
Beyond the Library: An Agentic Framework for Autoformalizing Research Math
Thu, Aug 06, 2026, 10:01 PM UTC
story
Modeling LLM Performance from First Principles
Thu, Aug 06, 2026, 8:25 PM UTC
story
LettuceDetect v2 in Semantic Router: Gen. Hallucination Detection vLLM Endpoint
Thu, Aug 06, 2026, 7:45 PM UTC
story
Continual Learning via Real-Time RL for Agents
Thu, Aug 06, 2026, 7:43 PM UTC
story
Smalltalk Report from 1991 to 1996
Thu, Aug 06, 2026, 4:57 AM UTC
story
The State of MPI: Current Standard and Future Plans
Thu, Aug 06, 2026, 4:46 AM UTC
story
A Primer to ML Compilers
Thu, Aug 06, 2026, 4:34 AM UTC
story
Inside Kimi K3's AgentENV: Can It Really Fork in 100 ms?
Tue, Aug 04, 2026, 11:12 PM UTC
story
Enabling the next iteration of the borrow checker on nightly
Tue, Aug 04, 2026, 8:50 PM UTC
story
Agentic Coding in the Wild: Characterizing GitHub Copilot Traces at Production
Tue, Aug 04, 2026, 7:09 PM UTC
story
Certified Program Synthesis with a Multi-Modal Verifier [pdf]
Tue, Aug 04, 2026, 6:19 AM UTC
story
Compiler-Grounded Hierarchical Diagnosis for LLM Triton Kernel Optimization
Mon, Aug 03, 2026, 10:53 PM UTC
story
NIIN: NVSHMEM Implemented In NCCL
Mon, Aug 03, 2026, 10:49 PM UTC
story
ACM SIGOPS Symposium on Operating Systems Principles SOSP'26 Papers & Preprints
Mon, Aug 03, 2026, 6:09 PM UTC
story
Reliability Lessons from SQLite – Richard Hipp – SSW 2026 [video]
Mon, Aug 03, 2026, 6:01 PM UTC