Misreading Chat は、中年プログラマの森田と向井がコンピュータサイエンス周辺の論文を雑に読んで紹介する Podcast です。就業後に会議室からこっそりお送りします。
Podcast の購読には RSS, iTunes, Pocket Casts などをご利用ください。
Episode 01: Tensor Comprehensions, Rust Belt
ML 向け JIT Compiler と Rust の安全性証明のはなし。
森田が紹介するのは deep learning 向けの DST と JIT コンパイラ Tensor Comprensions. 向井が紹介するのはプログラミング言語 Rust のメモリ安全性を形式的に証明した Rust Belt です。
Tensor Comprehensions:
- [1802.04730] Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
- Announcing Tensor Comprehensions – Facebook Research
- GitHub – facebookresearch/TensorComprehensions: A domain specific language to express machine learning workloads.
- Integer Set Library
- Halide
- Lush: Lisp Universal SHell
Rust Belt:
Misreading Chat