matt_d

10 ms·

241.
Stealing 50 Years of Database Ideas for AI Agents(onewill.ai)
3 points by matt_d 4mo ago|0 comments
242.
Empirical Computation: Prompting versus Programming [pdf](mboehme.github.io)
1 points by matt_d 4mo ago|0 comments
243.
Programming Language Design and Implementation in the Era of Machine Learning [video](youtube.com)
2 points by matt_d 4mo ago|0 comments
244.
Senior SWE-Bench: open-source benchmark that assesses agents as senior engineers(senior-swe-bench.snorkel.ai)
186 points by matt_d 4mo ago|120 comments
245.
Software Security Analysis in 2030 and Beyond: A Research Roadmap(dl.acm.org)
2 points by matt_d 4mo ago|0 comments
246.
VeriCache: Turning Lossy KV Cache into Lossless LLM Inference(arxiv.org)
1 points by matt_d 4mo ago|0 comments
247.
Designing GPU-Accelerated Query Engines with NVIDIA GQE(developer.nvidia.com)
2 points by matt_d 4mo ago|0 comments
248.
Teaching Algorithms in 2026(cs.uni.edu)
2 points by matt_d 4mo ago|0 comments
249.
Pragmatic Approaches to Improving Compiler Correctness(2026.ecoop.org)
1 points by matt_d 4mo ago|0 comments
250.
The Expensive Fictions of Low-Level Programming Languages(stng.substack.com)
1 points by matt_d 4mo ago|0 comments
251.
On the Efficacy of PyTorch for High-Performance Computing(dl.acm.org)
2 points by matt_d 4mo ago|0 comments
252.
Accelerating LLM Inference on AMD GPUs with Low-Latency GEMMs(rocm.blogs.amd.com)
3 points by matt_d 4mo ago|0 comments
253.
Agentic Hardware Design as Repository-Level Code Evolution(arxiv.org)
2 points by matt_d 4mo ago|0 comments
254.
Reward hacking is swamping model intelligence gains(cursor.com)
3 points by matt_d 4mo ago|0 comments
255.
Memora: A Harmonic Memory Representation Balancing Abstraction and Specificity(microsoft.com)
29 points by matt_d 4mo ago|1 comments
256.
Compiler-Assisted Floating-Point Error Analysis and Profiling with FPChecker(fpanalysistools.org)
32 points by matt_d 4mo ago|6 comments
257.
Are We Ready for an Agent-Native Memory System?(arxiv.org)
2 points by matt_d 4mo ago|0 comments
258.
Micro-Agent: Beat Frontier Models with Collaboration Inside Model API(vllm.ai)
81 points by matt_d 4mo ago|22 comments
259.
TraceLab: Characterizing Coding Agent Workloads for LLM Serving(syfi.cs.washington.edu)
1 points by matt_d 4mo ago|0 comments
260.
It's Always the Learning Rates(ianbarber.blog)
2 points by matt_d 4mo ago|0 comments
261.
Efficiency in LLMs – Part 1 – Columbia Machine Learning Summer School 2026 [video](youtube.com)
5 points by matt_d 4mo ago|0 comments
262.
Using Local Coding Agents(magazine.sebastianraschka.com)
3 points by matt_d 4mo ago|0 comments
263.
The Thing We All Obviously Want(kmicinski.com)
3 points by matt_d 4mo ago|0 comments
264.
by matt_d 4mo ago
Looks interesting! Out of curiosity, how does it compare with vLLM Semantic Router? For reference: https://vllm-semantic-router.com/ https://github.com/vllm-project/semantic-router vLLM Semantic Router
265.
ActPlane: Programmable OS-Level Policy Enforcement for Agent Harnesses(arxiv.org)
8 points by matt_d 4mo ago|1 comments
266.
Fenwick trees for products mod 2ⁿ(bitmath.blogspot.com)
1 points by matt_d 4mo ago|0 comments
267.
A Fake Shell for Pangenomics(cs.cornell.edu)
36 points by matt_d 4mo ago|5 comments
268.
Making Equality Saturation Usable for Developing Vectorized Compilers(dl.acm.org)
1 points by matt_d 4mo ago|0 comments
269.
Reading AI Model Compilation in MLIR Through the Lens of Formal Theories(arxiv.org)
2 points by matt_d 4mo ago|0 comments
270.
Liveness Proofs in Veil, Part I: The First Step(proofsandintuitions.net)
2 points by matt_d 4mo ago|0 comments

More ›