Episode 02: Android Intent / GPU Raytracer

Android Intent の使われ方調査と、商用 GPU レイトレの話。

向井が紹介するのは世の中の APK を分析して Android Intent の使い方を調べてまわった Inter-app Communication in Android, 森田が紹介するのは NVIDIA 製 GPU レイトレーサ OptiX です。感想などはハッシュタグ #misreading などにお寄せください。

Inter-app Communication in Android:

OptiX:

Miscellaneous:

Episode 01: Tensor Comprehensions, Rust Belt

ML 向け JIT Compiler と Rust の安全性証明のはなし。

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

Tensor Comprehensions:

Rust Belt: