matt_d

11 ms·

331.
Frontier: A Discrete-Event Simulator for Modern LLM Serving(github.com)
2 points by matt_d 4mo ago|0 comments
332.
Piper: A Programmable Distributed Training System(syfi.cs.washington.edu)
3 points by matt_d 4mo ago|0 comments
333.
Radix Top-K: finding the top-k elements in an array without sorting(veitner.bearblog.dev)
3 points by matt_d 4mo ago|0 comments
334.
A Case for a Simulation-Driven Exploration of Distributed GenAI Platforms(dl.acm.org)
2 points by matt_d 4mo ago|0 comments
335.
Defeat the Heap: Zero-Copy Data Movement in AXI4MLIR(arxiv.org)
2 points by matt_d 4mo ago|0 comments
336.
Breaking the Ice: Analyzing Cold Start Latency in vLLM(arxiv.org)
4 points by matt_d 4mo ago|0 comments
337.
An Empirical Comparison of General Context-Free Parsers(arxiv.org)
2 points by matt_d 4mo ago|0 comments
338.
RFC: Programming Languages Course Reboot, 2026 – Shriram Krishnamurthi(docs.google.com)
1 points by matt_d 4mo ago|0 comments
339.
CodegenBench: Can LLMs Write Efficient Code Across Architectures?(arxiv.org)
2 points by matt_d 4mo ago|0 comments
340.
ACM SIGPLAN Programming Language Design and Implementation (PLDI) 2026(dl.acm.org)
1 points by matt_d 4mo ago|0 comments
341.
Human Judgment as a Specification(blog.brownplt.org)
2 points by matt_d 4mo ago|0 comments
342.
OOBdump: Relocation Oriented Programming: Arbitrary code execution in objdump -g(blog.calif.io)
3 points by matt_d 4mo ago|0 comments
343.
Inference: Turning Electricity into Intelligence – Stanford CS336 – Dan Fu [video](youtube.com)
3 points by matt_d 4mo ago|0 comments
344.
FP8 Is All You Need (Part 1): Debunking Hardware FP64 as the HPC Holy Grail(arxiv.org)
17 points by matt_d 4mo ago|2 comments
345.
Modular Arithmetic Challenge(terrytao.wordpress.com)
6 points by matt_d 4mo ago|0 comments
346.
The Return of Rigorous Full-System Timing Simulation(sigarch.org)
2 points by matt_d 4mo ago|0 comments
347.
Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video](youtube.com)
6 points by matt_d 4mo ago|0 comments
348.
Types for more than memory safety in OxCaml – Stephen Dolan – VeTSS 2026 [video](youtube.com)
2 points by matt_d 4mo ago|0 comments
349.
The 29th International Obfuscated C Code Contest (IOCCC) 2025 Winners(ioccc.org)
430 points by matt_d 4mo ago|99 comments
350.
Tensor Shapes in Pyrefly – Avik Chaudhuri – PyCon US 2026 Typing Summit [video](youtube.com)
6 points by matt_d 4mo ago|0 comments
351.
BenchEvolver: Frontier Task Synthesis via Solution-Centric Evolution(benchevolver.github.io)
2 points by matt_d 4mo ago|0 comments
352.
JITDomain: Instruction-level JIT code isolation(sciencedirect.com)
2 points by matt_d 5mo ago|0 comments
353.
Serving Transformers: Lessons from the Trenches – Stanford CS25 Transformers [video](youtube.com)
3 points by matt_d 5mo ago|0 comments
354.
Constrained Adaptive Rejection Sampling(arxiv.org)
3 points by matt_d 5mo ago|0 comments
355.
Training an Agentic Router for Optimal Cost-Performance on SWE Tasks(appliedcompute.com)
3 points by matt_d 5mo ago|0 comments
356.
Diagramming Program Values by Spatial Refinement(blog.brownplt.org)
2 points by matt_d 5mo ago|0 comments
357.
Agent Arena: Causal Evaluation of Agents in the Real World(arena.ai)
3 points by matt_d 5mo ago|0 comments
358.
Can LLMs Reason Structurally? Benchmarking via the Lens of Data Structures(arxiv.org)
2 points by matt_d 5mo ago|0 comments
359.
Recent improvements to the type checker – Swift Compiler(forums.swift.org)
1 points by matt_d 5mo ago|0 comments
360.
Semantic Reification: A New Paradigm for Random Program Generation(pldi26.sigplan.org)
1 points by matt_d 5mo ago|0 comments

More ›