Hacker News: matt_d

SonicMoE: A HW-Efficient and SW-Extensible Blueprint for Fine-Grained MoEs

matt_d — Wed, 22 Apr 2026 22:50:43 +0000

Article URL: https://dao-lab.ai/blog/2026/sonicmoe-blackwell/

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

Points: 1

# Comments: 0

SAW-INT4: System-Aware 4-Bit KV-Cache Quantization for Real-World LLM Serving

matt_d — Wed, 22 Apr 2026 22:49:05 +0000

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

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

Points: 1

# Comments: 0

DIRT: Database-Integrated Random Testing

matt_d — Wed, 22 Apr 2026 22:43:16 +0000

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

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

Points: 1

# Comments: 0

Scaling Test-Time Compute for Agentic Coding

matt_d — Wed, 22 Apr 2026 22:15:39 +0000

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

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

Points: 1

# Comments: 0

An Algorithmic Reconstruction of Normalisation by Evaluation

matt_d — Wed, 22 Apr 2026 04:11:07 +0000

Article URL: https://yangzhixuan.github.io/NbE.html

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

Points: 1

# Comments: 0

Faster LLM Inference via Sequential Monte Carlo

matt_d — Tue, 21 Apr 2026 16:07:52 +0000

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

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

Points: 3

# Comments: 0

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

matt_d — Tue, 21 Apr 2026 15:54:54 +0000

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

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

Points: 3

# Comments: 0

SSA without Dominance for Higher-Order Programs

matt_d — Tue, 21 Apr 2026 04:28:49 +0000

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

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

Points: 2

# Comments: 0

Spotting Specification Gaps with Small Proof-Oriented Tests

matt_d — Tue, 21 Apr 2026 04:03:10 +0000

Article URL: https://risemsr.github.io/blog/2026-04-16-spotting-specs/

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

Points: 3

# Comments: 0

Theseus, a Static Windows Emulator

matt_d — Tue, 21 Apr 2026 03:40:05 +0000

Article URL: https://neugierig.org/software/blog/2026/04/theseus.html

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

Points: 2

# Comments: 0

Advent of Computing: Episode 179 – Programming Block by Block

matt_d — Mon, 20 Apr 2026 20:23:36 +0000

Article URL: https://adventofcomputing.libsyn.com/episode-179-programming-block-by-block

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

Points: 1

# Comments: 0

Agentic Context Engineering:Evolving Contexts for Self-Improving Language Models

matt_d — Mon, 20 Apr 2026 18:15:23 +0000

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

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

Points: 2

# Comments: 0

Prefill-as-a-Service:KVCache of Next-Generation Models Could Go Cross-Datacenter

matt_d — Sun, 19 Apr 2026 05:58:16 +0000

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

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

Points: 43

# Comments: 1

Fundamentals of CuTe Layout Algebra and Category-Theoretic Interpretation [video]

matt_d — Sat, 18 Apr 2026 22:38:27 +0000

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

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

Points: 1

# Comments: 0

OSS code review, in the era of LLMs

matt_d — Fri, 17 Apr 2026 23:20:58 +0000

Article URL: https://blog.ezyang.com/2026/04/oss-code-review-in-the-era-of-llms/

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

Points: 3

# Comments: 0

Proteus: Heterogeneous FPGA Virtualization [pdf]

matt_d — Fri, 17 Apr 2026 22:55:04 +0000

Article URL: https://dse.in.tum.de/wp-content/uploads/2026/03/proteus-eurosys-26.pdf

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

Points: 2

# Comments: 0

Trevex: A Black-Box Detection Framework for Data-Flow Transient Execution Vulns

matt_d — Fri, 17 Apr 2026 22:48:10 +0000

Article URL: https://roots.ec/publications/weber2026trevex

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

Points: 2

# Comments: 0

From SIMT to Systolic Part 2: A Kernel Author's Field Report

matt_d — Fri, 17 Apr 2026 21:14:17 +0000

Article URL: https://twitter.com/MainzOnX/status/2044804854020006223

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

Points: 2

# Comments: 0

Machine Generated and Checked Proofs for a Verified Compiler (Experience Report)

matt_d — Fri, 17 Apr 2026 20:17:16 +0000

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

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

Points: 3

# Comments: 0

Machine-Generated Code Deserves Machine-Checked Proofs

matt_d — Fri, 17 Apr 2026 20:10:52 +0000

Article URL: https://zoep.github.io/blog/2026/04/17/machine-generated-code-machine-checked-proofs/

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

Points: 3

# Comments: 0