matt_d

7 ms·

121.
A SAT Attack on Tarski's High School Algebra Problem(arxiv.org)
98 points by matt_d 2mo ago|39 comments
122.
What Evolves When We Talk About Harness Evolution?(wenwen-d.github.io)
1 points by matt_d 2mo ago|0 comments
123.
LSPs for LLMs(ianbarber.blog)
1 points by matt_d 2mo ago|0 comments
124.
mmiotic: Latency x-ray for undocumented hardware(github.com)
3 points by matt_d 2mo ago|0 comments
125.
The Unseen Delta: Characterizing the Compiler Optimization Landscape(arxiv.org)
2 points by matt_d 2mo ago|0 comments
126.
Don't Stall Me Now: Hiding Memory Latency in eBPF(dl.acm.org)
2 points by matt_d 2mo ago|0 comments
127.
A Preliminary Study on Simultaneous Coscheduling for Discrete GPU vs. Fused GPU(arxiv.org)
1 points by matt_d 2mo ago|0 comments
128.
Scope and Lifetime Restrictions in Swift(github.com)
3 points by matt_d 2mo ago|1 comments
129.
by matt_d 2mo ago
Context: https://hachyderm.io/@rjmccall/117073259835476299 "We've been thinking about a lot about the language design of expressing lifetime restrictions and dependencies for non-escapable types in Swift, an
130.
RISC-V: Public Review for the RVA23.1 and RVB23.1 Profiles(groups.google.com)
2 points by matt_d 2mo ago|0 comments
131.
Cylic Trait Implementations: Motivation(smallcultfollowing.com)
1 points by matt_d 2mo ago|0 comments
132.
Moving integer division to floating-point is trivial(marc-b-reynolds.github.io)
50 points by matt_d 2mo ago|23 comments
133.
Optimizing GEMM and Activation on CDNA4 with TLX(amd.com)
1 points by matt_d 2mo ago|0 comments
134.
EvoHarnessRL: Learning Self-Evolving Runtime Harness for Long-Horizon LLM Agents(arxiv.org)
3 points by matt_d 2mo ago|0 comments
135.
Optimizing an NVFP4 Blockscaled GEMM on RTX Pro 6000 Blackwell GPU (SM120)(research.colfax-intl.com)
2 points by matt_d 2mo ago|0 comments
136.
Let's Stop Calling Everything "Linear Attention"(htor.inf.ethz.ch)
2 points by matt_d 2mo ago|0 comments
137.
Scaling Logical Reasoning on Modern HPC Hardware(surface.syr.edu)
1 points by matt_d 2mo ago|0 comments
138.
HCCL: Collective Communication for Meta Training and Inference Accelerators(arxiv.org)
1 points by matt_d 2mo ago|0 comments
139.
How do programming languages impact token efficiency and correctness?(danluu.com)
18 points by matt_d 2mo ago|1 comments
140.
Reducing Graphics API Complexity: A Clean Slate Design for Modern GPUs [video](youtube.com)
4 points by matt_d 2mo ago|0 comments
141.
ACM Europe Summer School on MLIR 2026: Streamed Live, August 10-14(mlir-school.github.io)
12 points by matt_d 2mo ago|0 comments
142.
Benchmarking LLMs on File System Design and Implementation(arxiv.org)
4 points by matt_d 2mo ago|0 comments
143.
Differential heuristics: learning about a way to optimize the A* heuristic(redblobgames.com)
3 points by matt_d 2mo ago|0 comments
144.
Classifying Capabilities (Extended Version)(arxiv.org)
2 points by matt_d 2mo ago|0 comments
145.
TensorLift: Auto Extraction of ISA Semantics from Accelerator RTL via MLIR(arxiv.org)
1 points by matt_d 2mo ago|0 comments
146.
A Revised Haskell 2010 Language Report(blog.haskell.org)
3 points by matt_d 2mo ago|0 comments
147.
User awareness in frontier models: Who's asking shifts what models say(transluce.org)
1 points by matt_d 2mo ago|0 comments
148.
OBASE: Object-Based Address-Space Engineering to Improve Memory Tiering(usenix.org)
3 points by matt_d 2mo ago|0 comments
149.
Domain-specific hyperspecialization: Winning the SC26 SAT track with LymphoSAT(c.mov)
3 points by matt_d 2mo ago|0 comments
150.
Benchmarking the Residual: What Long-Horizon Evals Add Beyond Short-Task Perf(arxiv.org)
1 points by matt_d 2mo ago|0 comments

More ›