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
        セキュリティのアレ by セキュリティのアレ

        セキュリティのアレ

        1 Listeners

        Rebuild by Tatsuhiko Miyagawa

        Rebuild

        51 Listeners

        バイリンガルニュース (Bilingual News) by Michael & Mami

        バイリンガルニュース (Bilingual News)

        225 Listeners

        backspace.fm by backspace.fm

        backspace.fm

        11 Listeners

        楽しいラジオ「ドングリFM」 by donguri.fm

        楽しいラジオ「ドングリFM」

        5 Listeners

        fukabori.fm by iwashi

        fukabori.fm

        2 Listeners

        EM . FM #EMFM by EM.FM

        EM . FM #EMFM

        0 Listeners

        Off Topic // オフトピック by Off Topic

        Off Topic // オフトピック

        16 Listeners

        ゆる言語学ラジオ by Yuru Gengogaku Radio

        ゆる言語学ラジオ

        53 Listeners

        ひまじんプログラマーの週末エンジニアリングレッスン by ひまじんプログラマー

        ひまじんプログラマーの週末エンジニアリングレッスン

        0 Listeners

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

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

        15 Listeners

        Podcast by Yuka Studio // ユカスタポッドキャスト by Podcast by Yuka Studio

        Podcast by Yuka Studio // ユカスタポッドキャスト

        3 Listeners

        となりのデータ分析屋さん by 佐々木亮とたっちゃん

        となりのデータ分析屋さん

        0 Listeners

        耳で学ぶAI、ロボシンク by 矢野 哲平

        耳で学ぶAI、ロボシンク

        0 Listeners

        中島聡のLife is Beautiful by Satoshi Nakajima

        中島聡のLife is Beautiful

        0 Listeners