
Misreading Chat
146 episodes — Page 3 of 3
#46 – An Introduction to Neural Information Retrieval
ML を使った検索技術 Learning To Rank に森田が入門します。
#45 – Why Amazon Chose TLA +
仕様検証言語 TLA+ の AWS における使用事例について向井が話します。
#44 – Firecracker
AWS Lambda の新しい Hypervisor である Firecracker について森田が話します。
#43 – Capsicum: practical capabilities for UNIX
FreeBSD のサンドボックス機構 Capsicum について向井が話します。
#42 – kvm: the Linux Virtual Machine Monitor
KVM など Linux の仮想化技術について森田が話します。
#41 – IDRIS — Systems Programming Meets Full Dependent Types
汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。
#40
最近でもなく読んだ本などについて向井と森田が話します。感想などはハッシュタグ #misreading か [email protected] にお寄せください。 Follow up California Hasn … "#40"の続きを読む
#39 – Service Fabric: A Distributed Platform for Building Microservices in the Cloud
Microsoft Azure の Microservices 基盤 Service Fabric について森田が話します。
#38 – Subword Regularization: Improving Neural Network Translation Models with Multiple Subword Candidates
ニューラル自然言語処理の前処理として複雑な単語を限られた語彙集合で分割するアルゴリズムについて向井が話します。
#37 – Synthetic Depth-of-Field with a Single-Camera Mobile Phone
スマホカメラについてくる Portrait Mode のアルゴリズムについて森田が話します。
#36 – BLeak: Automatically Debugging Memory Leaks in Web Applications
ウェブアプリケーションの JavaScript メモリーリーク検出ツール BLeak ついて向井が話します。
#35 – Darkroom: Compiling High-Level Image Processing Code into Hardware Pipelines
画像処理用の DSL を FPGA にコンパイルする研究や、その延長で作られた画像処理用 Domain Specific Architecture である Pixel Visual Core について森田が話します。感想 … "#35 – Darkroom: Compiling High-Level Image Processing Code into Hardware Pipelines"の続きを読む
#34 – Trust and Protection in the Illinois Browser Operating System
マイクロカーネルの上でブラウザを動かすいくつかの研究ついて向井が話します。感想などはハッシュタグ #misreading か [email protected] にお寄せください。 Trust and Prote … "#34 – Trust and Protection in the Illinois Browser Operating System"の続きを読む
#33 – Distinctive Image Features from Scale-Invariant Keypoints
画像から特徴量をとりだすアルゴリズムの古典 SIFT と最近の似たような話について森田が話します。
#32 – Isolating Web Programs in Modern Browser Architectures
Chrome オリジナルなプロセス分離ポリシーを突き詰めた研究ついて向井が話します。
#31 – Big.Little
ARM が主導する省電力マルチコアアーキテクチャ Big.Little と Android の関係について森田が話します。
#30 – AddressSanitizer: A Fast Address Sanity Checker
Chrome の開発に使われているメモリエラー検出ツール ASAN について向井が話します。
#29 – Image Analogies and Image Style Transfer
少し前に流行った Style Transfer と 15 年前にあった類似研究について森田が話します。
#28 – Left-leaning Red-Black Trees
Red-Black Tree 発案者 Sedgewick 氏本人による30 年越しの改訂版アルゴリズムについて向井が話します。
#27 – Julia: A Fresh Approach to Numerical Computing
最近 1.0 をリリースした数値計算系言語 Julia の宣伝論文などについて森田が話します。
#26 – Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
TypeScript の DefinitelyTyped から宣言間違いを探す論文について向井が話します。
#25 – Burst photography for high dynamic range and low-light imaging on mobile cameras
スマートフォン用高画質撮影機能 HDR+ のアルゴリズムについて森田が話します。
#24 – EMME: A Formal Tool for ECMAScript Memory Model Evaluation
JavaScript 用の共有メモリ仕様 SharedArrayBuffer に関するメモリモデルを検証した論文について向井が話します。
#23 – Halide: Decoupling Algorithms from Schedules for High-Performance Image Processing
高速な画像処理用 DSL の Halide について森田が話します。
#22 – Bringing the Web up to Speed with WebAssembly
ブラウザ向けコード実行環境 WebAssembly について主要ブラウザの開発者が共著した論文について向井が話します。
#21 – The Frankencamera
Android Camera2 API の開始点となった Frankencamera について森田が話します。
#20 – The Design and Implementation of Hyperupcalls
Hypervisor と guest OS の新しいインタラクション手法 Hyperupcall について向井が話します。
#19 – Light Field Rendering
今はなき Lytro 社のカメラを可能にした Light Field テクノロジと、その応用である Plenoptic Camera について森田が話します。
#18 – Exploiting the DRAM Rowhammer Bug to Gain Kernel Privileges
DRAM のハードウェアバグ Rowhammer を使った脆弱性について向井が話します。
#17 – Unikernels: Library Operating Systems for the Cloud
OCaml で書かれた LibraryOS Unikernels/MirageOS に関する論文 “Unikernels: Library Operating Systems for the Cloud … "#17 – Unikernels: Library Operating Systems for the Cloud"の続きを読む
#16 – A Deep Learning Approach for Generalized Speech Animation
Disney Research による口パクアニメーション生成論文 "A Deep Learning Approach for Generalized Speech Animation" を向井が紹介します。
#15 – Neural Machine Translation by Jointly Learning to Align and Translate
Neural Network における “Attention” の概念をうみだした機械翻訳の論文 “Neural Machine Translation by Jointly Lear … "#15 – Neural Machine Translation by Jointly Learning to Align and Translate"の続きを読む
#14 – LevelDB
Jeff Dean が Chrome のために書いたデータベースライブラリ LevelDB についてドキュメントやコードを見ながら向井が紹介します。 google/leveldb: LevelDB is a fast k … "#14 – LevelDB"の続きを読む
#13 – HyperLogLog in Practice
確率的アルゴリズム HyperLogLog に関する論文 “HyperLogLog in Practice” を 森田が紹介します。感想などはハッシュタグ #misreading か hello@ … "#13 – HyperLogLog in Practice"の続きを読む
#12 – Semantics and Complexity of GraphQL
GraphQLを分析した論文 “Semantics and Complexity of GraphQL” を向井が紹介します。感想などはハッシュタグ #misreading か hello@mis … "#12 – Semantics and Complexity of GraphQL"の続きを読む
#11 – The Story in the Notebook
Jupyter Notebook の利用実態を調査した “The Story in the Notebook: Exploratory Data Science using a Literate Progra … "#11 – The Story in the Notebook"の続きを読む
#10 – Deep Probabilistic Programming
確率的プログラミング系の論文 “Deep Probabilistic Programming” を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreadi … "#10 – Deep Probabilistic Programming"の続きを読む
#09 – Automatic Differentiation in Machine Learning: a Survey
自動微分のサーベイ論文 “Automatic differentiation in machine learning: a survey” を 森田が PyTorch のコードを読みつつ紹介します … "#09 – Automatic Differentiation in Machine Learning: a Survey"の続きを読む
#08 – Generative Adversarial Nets
機械学習で画像を生成させる系の論文 “Generative Adversarial Nets” を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreadi … "#08 – Generative Adversarial Nets"の続きを読む
#07 – One VM to Rule Them All
Graal VM のデザインを説明した論文 One VM to rule them all を森田が紹介します。
#06 – CloudBuild: Microsoft’s Distributed and Caching Build Service
Microsoft の社内用分散ビルドシステム CloudBuild を向井が紹介します。
#05: Agile CPU / Versioned Golang
アジャイルなCPU開発とGoの次世代バージョン管理。
#04: Filesystem on NVM / Self-Driving Car on Dessert
向井が紹介するのは Linux 上に不揮発性メモリ用のファイルシステムを実装、評価した NOVA: A Log-structured File System for Hybrid Volatile/Non-volatil … "#04: Filesystem on NVM / Self-Driving Car on Dessert"の続きを読む
#03: New Grads Struggle / Data Scientists Strive
新入社員の苦労とデータサイエンティストの苦悩
#02: Android Intent / GPU Raytracer
Android Intent の使われ方調査と、商用 GPU レイトレの話。
#01: Tensor Comprehensions, Rust Belt
ML 向け JIT Compiler と Rust の安全性証明のはなし。