matt_d

24 ms·

691.
Problems with a weak tryLock operation in C and C++ standards(forums.swift.org)
2 points by matt_d 8mo ago|0 comments
692.
Two mechanisms for dynamic type checks(wingolog.org)
2 points by matt_d 8mo ago|0 comments
693.
Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean(github.com)
1 points by matt_d 8mo ago|0 comments
694.
Oral History of Michael J. Flynn [video](youtube.com)
3 points by matt_d 8mo ago|0 comments
695.
Productively Programming Accelerated Computing Systems – Rohan Yadav (Stanford) [video](youtube.com)
5 points by matt_d 8mo ago|0 comments
696.
How to train your program verifier(risemsr.github.io)
80 points by matt_d 8mo ago|16 comments
697.
Minimalist Design for Space Camera Flight Software(queue.acm.org)
3 points by matt_d 8mo ago|0 comments
698.
AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean(blog.lambdaclass.com)
1 points by matt_d 8mo ago|0 comments
699.
Fine-Tuning GPT-5 for GPU Kernel Generation(arxiv.org)
4 points by matt_d 9mo ago|0 comments
700.
"Am I the only one still wondering what is the deal with linear types?" – Jon S(jonmsterling.com)
4 points by matt_d 9mo ago|0 comments
701.
Running the "Reflections on Trusting Trust" Compiler: Revisiting the Backdoor(queue.acm.org)
2 points by matt_d 9mo ago|0 comments
702.
TileIR(ianbarber.blog)
3 points by matt_d 9mo ago|0 comments
703.
Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language(arxiv.org)
2 points by matt_d 9mo ago|0 comments
704.
TLX: Triton-Like Simplicity, a Clear Path to Peak Performance [video](youtube.com)
3 points by matt_d 9mo ago|0 comments
705.
Automating Inference Optimizations with NVIDIA TensorRT LLM AutoDeploy(developer.nvidia.com)
1 points by matt_d 9mo ago|0 comments
706.
SMTLIB as a Compiler IR I(philipzucker.com)
1 points by matt_d 9mo ago|0 comments
707.
Equality Saturation Meets ML: The Next Step for Smarter Optimizing Compilers [video](youtube.com)
1 points by matt_d 9mo ago|0 comments
708.
Silicon Photonics in the Data Center: What a CMOS Exec Needs to Know(semiengineering.com)
3 points by matt_d 9mo ago|0 comments
709.
Verifying Distributed Protocols in Veil(proofsandintuitions.net)
1 points by matt_d 9mo ago|0 comments
710.
Project Pterodactyl: Incremental Architecture(jonmsterling.com)
1 points by matt_d 9mo ago|0 comments
711.
European Lisp Symposium 2025: Talks(youtube.com)
4 points by matt_d 9mo ago|0 comments
712.
AutoOverlap: Enabling Fine-Grained Overlap of Computation and Communication(arxiv.org)
3 points by matt_d 9mo ago|0 comments
713.
Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers(arxiv.org)
1 points by matt_d 9mo ago|0 comments
714.
35th ACM SIGPLAN International Conference on Compiler Construction (CC 2026)(dl.acm.org)
2 points by matt_d 9mo ago|0 comments
715.
VFlatten: Selective Value-Object Flattening Using Hybrid Static&Dynamic Analysis [pdf](cse.iitb.ac.in)
1 points by matt_d 9mo ago|0 comments
716.
Agentic Proof-Oriented Programming(risemsr.github.io)
2 points by matt_d 9mo ago|0 comments
717.
MLIR-Tutor: Exercises for Learning MLIR (Originally Written for PPoPP 2026)(github.com)
1 points by matt_d 9mo ago|0 comments
718.
Fast Autoscheduling for Sparse ML Frameworks(ajroot.pl)
1 points by matt_d 9mo ago|0 comments
719.
Replicate Forwards, Partial Backwards(blog.ezyang.com)
1 points by matt_d 9mo ago|0 comments
720.
Frontier-CS 1.0 Release(frontier-cs.org)
2 points by matt_d 9mo ago|0 comments

More ›