Episode 45 – Why Amazon Chose TLA +

仕様検証言語 TLA+ の AWS における使用事例について向井が話します。

仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

Follow up

Episode 43 – Capsicum: practical capabilities for UNIX

FreeBSD のサンドボックス機構 Capsicum について向井が話します。

FreeBSD のサンドボックス機構 Capsicum について向井が話します。

Follow up

Episode 41 – IDRIS — Systems Programming Meets Full Dependent Types

汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。

汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。

感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

Follow up

Episode 38 – Subword Regularization: Improving Neural Network Translation Models with Multiple Subword Candidates

ニューラル自然言語処理の前処理として複雑な単語を限られた語彙集合で分割するアルゴリズムについて向井が話します。

ニューラル自然言語処理の前処理として複雑な単語を限られた語彙集合で分割するアルゴリズムについて向井が話します。感想などはハッシュタグ #misreadinghello@misreading.chat にお寄せください。

 

Episode 36 – BLeak: Automatically Debugging Memory Leaks in Web Applications

ウェブアプリケーションの JavaScript メモリーリーク検出ツール BLeak ついて向井が話します。

ウェブアプリケーションの JavaScript メモリーリーク検出ツール BLeak ついて向井が話します。感想などはハッシュタグ #misreadinghello@misreading.chat にお寄せください。

Follow-up

Episode 34 – Trust and Protection in the Illinois Browser Operating System

マイクロカーネルの上でブラウザを動かすいくつかの研究ついて向井が話します。感想などはハッシュタグ #misreadinghello@misreading.chat にお寄せください。

follow-ups

Episode 32 – Isolating Web Programs in Modern Browser Architectures

Chrome オリジナルなプロセス分離ポリシーを突き詰めた研究ついて向井が話します。

Chrome オリジナルなプロセス分離ポリシーを突き詰めた研究ついて向井が話します。感想などはハッシュタグ #misreadinghello@misreading.chat にお寄せください。

follow-up