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
        歴史を面白く学ぶコテンラジオ （COTEN RADIO） by COTEN inc.

        歴史を面白く学ぶコテンラジオ （COTEN RADIO）

        241 Listeners

        超相対性理論 by 超相対性理論

        超相対性理論

        17 Listeners

        ゆるコンピュータ科学ラジオ by ゆるコンピュータ科学ラジオ

        ゆるコンピュータ科学ラジオ

        21 Listeners

        リファクタリングとともに生きるラジオ by リファラジ

        リファクタリングとともに生きるラジオ

        0 Listeners

        日本一たのしい哲学ラジオ by 日本一たのしい哲学ラジオ

        日本一たのしい哲学ラジオ

        8 Listeners

        ぽこピーのゆめうつつ by POKOPEA

        ぽこピーのゆめうつつ

        5 Listeners