matt_d

6 ms·

151.
Automatically Retrofitting JIT Compilers(infoq.com)
2 points by matt_d 2mo ago|0 comments
152.
tla-rs: IronFleet and AutoMan in Verus(github.com)
3 points by matt_d 2mo ago|0 comments
153.
Introducing Dogwood: runtime verification for AI agents(aws.amazon.com)
1 points by matt_d 2mo ago|0 comments
154.
Beyond the Library: An Agentic Framework for Autoformalizing Research Math(arxiv.org)
3 points by matt_d 2mo ago|0 comments
155.
Modeling LLM Performance from First Principles(sidbabu.com)
1 points by matt_d 2mo ago|0 comments
156.
LettuceDetect v2 in Semantic Router: Gen. Hallucination Detection vLLM Endpoint(vllm-sr.ai)
1 points by matt_d 2mo ago|0 comments
157.
Continual Learning via Real-Time RL for Agents(rllm-project.com)
1 points by matt_d 2mo ago|0 comments
158.
Smalltalk Report from 1991 to 1996(github.com)
13 points by matt_d 2mo ago|0 comments
159.
The State of MPI: Current Standard and Future Plans(hpc.fau.de)
2 points by matt_d 2mo ago|0 comments
160.
A Primer to ML Compilers(aramesh10.github.io)
3 points by matt_d 2mo ago|0 comments
161.
Inside Kimi K3's AgentENV: Can It Really Fork in 100 ms?(gensee.ai)
3 points by matt_d 2mo ago|0 comments
162.
Enabling the next iteration of the borrow checker on nightly(blog.rust-lang.org)
7 points by matt_d 2mo ago|0 comments
163.
Agentic Coding in the Wild: Characterizing GitHub Copilot Traces at Production(arxiv.org)
2 points by matt_d 2mo ago|0 comments
164.
Certified Program Synthesis with a Multi-Modal Verifier [pdf](verse-lab.org)
1 points by matt_d 2mo ago|0 comments
165.
Compiler-Grounded Hierarchical Diagnosis for LLM Triton Kernel Optimization(arxiv.org)
1 points by matt_d 2mo ago|0 comments
166.
NIIN: NVSHMEM Implemented In NCCL(github.com)
1 points by matt_d 2mo ago|0 comments
167.
ACM SIGOPS Symposium on Operating Systems Principles SOSP'26 Papers & Preprints(pchaigno.github.io)
1 points by matt_d 2mo ago|0 comments
168.
Reliability Lessons from SQLite – Richard Hipp – SSW 2026 [video](youtube.com)
11 points by matt_d 2mo ago|1 comments
169.
Stanford CS329A: Self-Improving AI Agents(youtube.com)
22 points by matt_d 2mo ago|0 comments
170.
Demystifying Deep Learning Compiler Front End Bugs: An LLM-Aided Empirical Study(arxiv.org)
1 points by matt_d 2mo ago|0 comments
171.
Towards Designing an Execution Control System with Metastability Resilience(muratbuffalo.blogspot.com)
3 points by matt_d 2mo ago|0 comments
172.
AdaMAST: Adaptive Failure Taxonomies for Improving LLM Agents(multi-agent-systems-failure-taxonomy.github.io)
1 points by matt_d 3mo ago|0 comments
173.
k-Coloring is Faster than Computing the Chromatic Number(arxiv.org)
74 points by matt_d 3mo ago|23 comments
174.
x86 AMX/ACE with >8 tiles(lore.kernel.org)
3 points by matt_d 3mo ago|0 comments
175.
RSI: Recursive Self-Improvement(github.com)
2 points by matt_d 3mo ago|0 comments
176.
Specula: Scaling formal specs for autonomous model checking of system code(arxiv.org)
3 points by matt_d 3mo ago|0 comments
177.
NVIDIA-labs OO Agents: Native Python Object-Oriented Agents(github.com)
3 points by matt_d 3mo ago|0 comments
178.
At-the-Roofline Sparse Tensor Contractions on Vector Processors for Inference(arxiv.org)
1 points by matt_d 3mo ago|0 comments
179.
Characterizing Warp Divergence from Pascal to Blackwell(arxiv.org)
27 points by matt_d 3mo ago|1 comments
180.
Why Higher-Order Logic Is a Good Foundation for Deep Verification(sequent.inc)
3 points by matt_d 3mo ago|0 comments

More ›