Episode 46 – An Introduction to Neural Information Retrieval

ML を使った検索技術 Learning To Rank に森田が入門します。

ML を使った検索技術 Learning To Rank に森田が入門します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

Follow up

Episode 45 – Why Amazon Chose TLA +

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

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

Follow up

Episode 44 – Firecracker

AWS Lambda の新しい Hypervisor である Firecracker について森田が話します。

AWS Lambda の新しい Hypervisor である Firecracker について森田が話します。

Follow up

Episode 43 – Capsicum: practical capabilities for UNIX

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

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

Follow up

Episode 42 – kvm: the Linux Virtual Machine Monitor

KVM など Linux の仮想化技術について森田が話します。

KVM など Linux の仮想化技術について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

Addendum

  • Xen の Linux カーネルへの変更は10年くらい前に大体おわっているようです。(参考)

Episode 41 – IDRIS — Systems Programming Meets Full Dependent Types

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

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

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

Follow up

Episode 40

最近でもなく読んだ本などについて向井森田が話します。感想などはハッシュタグ #misreadinghello@misreading.chat にお寄せください。

Follow up

Mukai’s Reading List

Morrita’s Reading List