matt_d

19 ms·

571.
PyTorch Autograd and Mutation(blog.ezyang.com)
4 points by matt_d 7mo ago|0 comments
572.
The Future of Python: Evolution or Succession – Brett Slatkin – PyCascades 2026 [video](youtube.com)
3 points by matt_d 7mo ago|0 comments
573.
SlopCodeBench: Benchmarking How Coding Agents Degrade over Long-Horizon Tasks(scbench.ai)
2 points by matt_d 7mo ago|0 comments
574.
AutoRocq: Agentic Theorem Prover for Verification(github.com)
2 points by matt_d 7mo ago|0 comments
575.
Wax: Optimizing Data Center Applications with Stale Profile(github.com)
1 points by matt_d 7mo ago|0 comments
576.
Dijkstra's Shortest-Path Algorithm: A visual exploration, following Sedgewick(joshmpollock.com)
2 points by matt_d 7mo ago|1 comments
577.
Speculative Decoding: Performance or Illusion?(specdecode-bench.github.io)
3 points by matt_d 7mo ago|0 comments
578.
Goedel-Code-Prover: Hierarchical Proof Search for Open SotA Code Verification(goedelcodeprover.github.io)
3 points by matt_d 7mo ago|0 comments
579.
MLSys 2026 Papers(mlsys.org)
1 points by matt_d 7mo ago|0 comments
580.
An Efficient Heterogeneous Co-Design for Fine-Tuning on a Single GPU(arxiv.org)
3 points by matt_d 7mo ago|0 comments
581.
Specula: A framework for finding deep bugs in system code using TLA+(github.com)
3 points by matt_d 7mo ago|0 comments
582.
by matt_d 7mo ago
See also C++ coroutines resources (posts, research, software, talks): https://gist.github.com/MattPD/9b55db49537a90545a90447392ad3...
583.
Equality Saturation for Optimizing High-Level Julia IR(dl.acm.org)
2 points by matt_d 7mo ago|2 comments
584.
UniTe: A Universal Tensor Abstraction for Capturing Spatial Relationships(dl.acm.org)
2 points by matt_d 7mo ago|0 comments
585.
Co-Design of B+-Tree Index with Emerging Zone Interfaces for Small KV Pairs(dl.acm.org)
4 points by matt_d 7mo ago|0 comments
586.
CounterPoint: Using Hardware Counters to Refute and Refine µarch Assumptions(arxiv.org)
2 points by matt_d 7mo ago|0 comments
587.
PivotRL: High Accuracy Agentic Post-Training at Low Compute Cost(arxiv.org)
2 points by matt_d 7mo ago|0 comments
588.
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems(muratbuffalo.blogspot.com)
5 points by matt_d 7mo ago|0 comments
589.
What Is Coordination, Really?(jhellerstein.github.io)
2 points by matt_d 7mo ago|0 comments
590.
Idempotent Slices with Applications to Code-Size Reduction(arxiv.org)
1 points by matt_d 7mo ago|0 comments
591.
Microsoft Rust Training Books: Beginner, advanced, expert level material(github.com)
3 points by matt_d 7mo ago|0 comments
592.
LUMINA: LLM-Guided GPU Architecture Exploration via Bottleneck Analysis(arxiv.org)
3 points by matt_d 7mo ago|0 comments
593.
Challenges and Design Issues in Finding CUDA Bugs via GPU-Native Fuzzing(arxiv.org)
2 points by matt_d 7mo ago|0 comments
594.
SEVI: Silent Data Corruption of Vector Instructions in Hyper-Scale Datacenters(dl.acm.org)
1 points by matt_d 7mo ago|0 comments
595.
CrypTorch: PyTorch-based Auto-tuning Compiler for ML w/ Multi-party Computation(github.com)
2 points by matt_d 7mo ago|0 comments
596.
SOL-ExecBench: Speed-of-Light Benchmarking for Real-World GPU Kernels(arxiv.org)
3 points by matt_d 7mo ago|0 comments
597.
Tony Hoare and His Imprint on Computer Science(cacm.acm.org)
68 points by matt_d 7mo ago|4 comments
598.
The End of Dijkstra's Algorithm? Breaking the Sorting Barrier for Shortest Paths [video](youtube.com)
2 points by matt_d 7mo ago|0 comments
599.
AlgoVeri: An Aligned Benchmark for Verified Code Gen. On Classical Algorithms(arxiv.org)
2 points by matt_d 7mo ago|0 comments
600.
Specy: Learning Specifications for Distributed Systems from Event Traces [pdf](cs.princeton.edu)
2 points by matt_d 7mo ago|0 comments

More ›