#26 – Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
TypeScript の DefinitelyTyped から宣言間違いを探す論文について向井が話します。

TypeScript の DefinitelyTyped から宣言間違いを探す論文について向井が話します。
スマートフォン用高画質撮影機能 HDR+ のアルゴリズムについて森田が話します。
JavaScript 用の共有メモリ仕様 SharedArrayBuffer に関するメモリモデルを検証した論文について向井が話します。
高速な画像処理用 DSL の Halide について森田が話します。
ブラウザ向けコード実行環境 WebAssembly について主要ブラウザの開発者が共著した論文について向井が話します。
Android Camera2 API の開始点となった Frankencamera について森田が話します。
Hypervisor と guest OS の新しいインタラクション手法 Hyperupcall について向井が話します。
今はなき Lytro 社のカメラを可能にした Light Field テクノロジと、その応用である Plenoptic Camera について森田が話します。
DRAM のハードウェアバグ Rowhammer を使った脆弱性について向井が話します。
OCaml で書かれた LibraryOS Unikernels/MirageOS に関する論文 “Unikernels: Library Operating Systems for the Cloud … "#17 – Unikernels: Library Operating Systems for the Cloud"の続きを読む
Disney Research による口パクアニメーション生成論文 "A Deep Learning Approach for Generalized Speech Animation" を向井が紹介します。
Neural Network における “Attention” の概念をうみだした機械翻訳の論文 “Neural Machine Translation by Jointly Lear … "#15 – Neural Machine Translation by Jointly Learning to Align and Translate"の続きを読む
Jeff Dean が Chrome のために書いたデータベースライブラリ LevelDB についてドキュメントやコードを見ながら向井が紹介します。 google/leveldb: LevelDB is a fast k … "#14 – LevelDB"の続きを読む
確率的アルゴリズム HyperLogLog に関する論文 “HyperLogLog in Practice” を 森田が紹介します。感想などはハッシュタグ #misreading か hello@ … "#13 – HyperLogLog in Practice"の続きを読む
GraphQLを分析した論文 “Semantics and Complexity of GraphQL” を向井が紹介します。感想などはハッシュタグ #misreading か hello@mis … "#12 – Semantics and Complexity of GraphQL"の続きを読む
Jupyter Notebook の利用実態を調査した “The Story in the Notebook: Exploratory Data Science using a Literate Progra … "#11 – The Story in the Notebook"の続きを読む
確率的プログラミング系の論文 “Deep Probabilistic Programming” を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreadi … "#10 – Deep Probabilistic Programming"の続きを読む
自動微分のサーベイ論文 “Automatic differentiation in machine learning: a survey” を 森田が PyTorch のコードを読みつつ紹介します … "#09 – Automatic Differentiation in Machine Learning: a Survey"の続きを読む
機械学習で画像を生成させる系の論文 “Generative Adversarial Nets” を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreadi … "#08 – Generative Adversarial Nets"の続きを読む
Graal VM のデザインを説明した論文 One VM to rule them all を森田が紹介します。
Microsoft の社内用分散ビルドシステム CloudBuild を向井が紹介します。
アジャイルなCPU開発とGoの次世代バージョン管理。
向井が紹介するのは Linux 上に不揮発性メモリ用のファイルシステムを実装、評価した NOVA: A Log-structured File System for Hybrid Volatile/Non-volatil … "#04: Filesystem on NVM / Self-Driving Car on Dessert"の続きを読む
新入社員の苦労とデータサイエンティストの苦悩
Android Intent の使われ方調査と、商用 GPU レイトレの話。
ML 向け JIT Compiler と Rust の安全性証明のはなし。