Misreading Chat

#01: Tensor Comprehensions, Rust Belt

Listen Later

森田が紹介するのは deep learning 向けの DST と JIT コンパイラ Tensor Comprensions. 向井が紹介するのはプログラミング言語 Rust のメモリ安全性に関する形式的証明に挑む Rust Belt です。

https://misreading.chat/wp-content/uploads/2018/07/ep01.mp3

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:

    • RustBelt: securing the foundations of the rust programming language
    • RustBelt – Project page
    • Iris Project
    • Bug report thanks to this paper
    • xi-editor
      • PR by jmuk
        • ...more
        View all episodesView all episodes
        Download on the App Store
        Misreading ChatBy Hajime Morrita, Jun Mukai
        • 5
        • 5
        • 5
        • 5
        • 5

        5

        6 ratings

        More shows like Misreading Chat

        View all
        Rebuild by Tatsuhiko Miyagawa

        Rebuild

        50 Listeners