matt_d

3 ms·

31.
Teaching Novice Computing and Programming in the Agentic AI Era(cs.brown.edu)
1 points by matt_d 14d ago|0 comments
32.
Building Specialized Systems We Can Trust with Agents(skydiscover-ai.github.io)
2 points by matt_d 14d ago|0 comments
33.
CascadeLUT: Info.-Ordered Streaming Inference for Bandwidth-Constrained FPGAs(arxiv.org)
1 points by matt_d 14d ago|0 comments
34.
QueryBrew: System-Agnostic SQL-to-SQL Query Optimization [pdf](vldb.org)
32 points by matt_d 14d ago|10 comments
35.
Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons(janestreet.com)
1 points by matt_d 15d ago|0 comments
36.
Computing Against the Odds: Processor Architectures for Batteryless Devices [video](youtube.com)
1 points by matt_d 15d ago|0 comments
37.
MLIR Project Lighthouse – Update(discourse.llvm.org)
1 points by matt_d 15d ago|0 comments
38.
On Binary Translation and Its Consequences(chipsandcheese.com)
57 points by matt_d 15d ago|17 comments
39.
On Next-Gen Transformer: Loops Are Not What You Need(zartbot.github.io)
26 points by matt_d 16d ago|1 comments
40.
AutoResearchExam: Measuring agents' ability to improve and generalize(benchmarks.bespokelabs.ai)
3 points by matt_d 16d ago|0 comments
41.
A Design Space Exploration of Async/Await(cel.cs.brown.edu)
3 points by matt_d 16d ago|0 comments
42.
Not in My Git Yard: Catching Backdoors at Commit and Release Time(arxiv.org)
3 points by matt_d 17d ago|1 comments
43.
Performance Foundations of Parallel and Distributed Reasoning Language Models(arxiv.org)
1 points by matt_d 17d ago|0 comments
44.
Testing race conditions with memory access tracing & stack-based delay injection(projectzero.google)
4 points by matt_d 18d ago|0 comments
45.
A preview of the future Intel Architecture documentation(intel.github.io)
2 points by matt_d 18d ago|0 comments
46.
Scaling AI: The Communication Wall(aaravwattal.com)
2 points by matt_d 22d ago|0 comments
47.
Linked Lists in the Linux Kernel(0xax.dev)
2 points by matt_d 22d ago|0 comments
48.
Performance Characterization of SPEC CPU 2026 on AMD EPYC 9755 "Zen 5" Processor(arxiv.org)
2 points by matt_d 22d ago|0 comments
49.
Lost Bytes at the Crossroads Between User- and Kernel-Level Memory Allocation [pdf](ibr.cs.tu-bs.de)
1 points by matt_d 23d ago|0 comments
50.
After Reflection: The Runtime Story – Saksham Sharma – C++Now 2026 [video](youtube.com)
2 points by matt_d 23d ago|0 comments
51.
Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering(rustfoundation.org)
2 points by matt_d 23d ago|0 comments
52.
Test Time Training(ianbarber.blog)
2 points by matt_d 23d ago|0 comments
53.
Metastability as a failed conditional discharge of rely-guarantee composition(muratbuffalo.blogspot.com)
2 points by matt_d 23d ago|0 comments
54.
Squeezing Performance Out of eBPF(bitbison.io)
2 points by matt_d 23d ago|0 comments
55.
Fungible Memories for Automated Technology Mapping and Retargeting: PLDI'26 Talk [video](youtube.com)
1 points by matt_d 24d ago|0 comments
56.
Compilers 2.0: AI as stochastic optimizer(twitter.com)
2 points by matt_d 24d ago|0 comments
57.
TEAS: Tracking Evolving AI and Systems – cost, accuracy, performance, energy(teasbench.com)
1 points by matt_d 24d ago|0 comments
58.
A Deep Dive into LDS Optimizations on AMD Instinct MI450 GPUs(rocm.blogs.amd.com)
2 points by matt_d 25d ago|0 comments
59.
LangLib: Esoteric Programming Languages, Formally(github.com)
3 points by matt_d 25d ago|0 comments
60.
Adaptation Fidelity of SPEC CPU2026(arxiv.org)
2 points by matt_d 25d ago|0 comments

More ›