#47 – Engineering the Servo Web Browser Engine using Rust

Rust を使ってウェブブラウザを開発する現場からの報告論文について向井が話します。

Rust を使ってウェブブラウザを開発する現場からの報告論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

Follow up

 

#45 – Why Amazon Chose TLA +

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

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

Follow up

#43 – Capsicum: practical capabilities for UNIX

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

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

Follow up

#41 – IDRIS — Systems Programming Meets Full Dependent Types

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

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

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

Follow up

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

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

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

 

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

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

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

Follow-up

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

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

follow-ups