Misreading Chat

Airbnb が使っている検索アルゴリズムの一つについて森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• KDD 2018 | Real-time Personalization using Embeddings for Search Ranking at Airbnb
• [1810.09591] Applying Deep Learning To Airbnb Search

収録の都合でノイズが多くなってしまいましたがご容赦ください。

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

• Engineering the Servo Web Browser Engine using Rust
• Servo, the Parallel Browser Engine Project
  • servo/servo: The Servo Browser Engine
  • servo/webrender: A GPU-based renderer for the web
• Mozilla 2 – MozillaWiki (懐古趣味)

Follow up

• bashik7 on Twitter: “#misreading の最新epで話がでてたTLA+の紹介記事がタイムリーなことにHNにあがってた。この記事では(論文ではいい感じだと紹介されていた)Toolboxがイケてないって言ってて面白い。使ったことないからなんともだけどJavaだからawfulっていうのは違う気がするけど。

 

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

• An Introduction to Neural Information Retrieval – Microsoft Research
• Manning | Deep Learning for Search
• Introduction to Information Retrieval: Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze
• Learning to Rank using Gradient Descent – Microsoft Research
  • RankNet: A ranking retrospective – Microsoft Research
• Learning to Rank using Gradient Descent – Microsoft Research
• [1812.00073] TF-Ranking: Scalable TensorFlow Library for Learning-to-Rank
  • tensorflow/ranking: Learning to Rank in TensorFlow
• Learning To Rank | Apache Solr Reference Guide 6.6
  • How Bloomberg Integrated Learning-to-Rank into Apache Solr | Tech At Bloomberg
• We’re Bringing Learning to Rank to Elasticsearch

Follow up

• Kazuyoshi Kato on Twitter: “”We’re using Rust in production in several places, including high-performance metrics capture and communication protocols like CoAP.” https://t.co/orkA3R4AF5 というわけで、Firecracker に限らず AWS で Rust 使われているらしいですよ。 #misreading”

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

• Why Amazon Chose TLA +  | SpringerLink (Google Scholar)
  • How Amazon Web Services Uses Formal Methods
• Practical TLA+: Planning Driven Development: Hillel Wayne
• Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers: Leslie Lamport
• TLA+tlaplus/tlaplus: TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Follow up

• Grenade! Dependently Typed Neural Networks — Monday Morning Haskell
• ハイパーバイザの作り方
• エンジニアなら知っておきたい仮想マシンのしくみ：連載｜gihyo.jp … 技術評論社

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

• Firecracker
• firecracker-microvm/firecracker: Secure and fast microVMs for serverless computing.
• Chromium OS Docs – Running Custom Containers Under Chrome OS
• chromiumos/platform/crosvm – Git at Google
• Virtual I/O Device (VIRTIO) Version 1.0
• google/gvisor: Container Runtime Sandbox

Follow up

• Google AI Blog: Learning to Predict Depth on the Pixel 3 Phones
• MIPS Goes Open Source | EE Times
• Per Buer on Twitter: “Listening to a Japanese podcast discussing unikernels. I have no idea what they are saying but I find listening to the language soothing. From time to time they throw in an English word (“hypervisor”) and I light up.”

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

• Capsicum: practical capabilities for UNIX
• Capsicum – FreeBSD Wiki
• Computer Laboratory: Capsicum: practical capabilities for UNIX
• Capsicum and Casper – a fairy tale about solving security problems
• Capsicum | Hacker News
• Pledge: OpenBSD’s defensive approach to OS Security

Follow up

• Mitsutoshi Aoe/maoe on Twitter: “#misreading ep. 41でIdrisの話をしてた。最近作者は https://t.co/PANlfh8SC1 というIdris 2のプロトタイプを作っているので、これが一番実用的なアプリケーションになるのかなあ。”
  • edwinb/Blodwen: A prototype successor to Idris
• Manning | Type-Driven Development with Idris

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

• Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design): Jim Smith, Ravi Nair: 9781558609105: Amazon.com: Books
• QEMU, a Fast and Portable Dynamic Translator
  • Tiny Code Generator
  • TCC : Tiny C Compiler
• Xen and the Art of Virtualization
• x86 virtualization – Wikipedia
• Intel® 64 and IA-32 Architectures Software Developer’s Manual Volume 3C: System Programming Guide, Part 3
• kvm: the Linux Virtual Machine Monitor
• Ten years of KVM [LWN.net]
• Using the KVM API [LWN.net]
• kernel/git/will/kvmtool.git – Stand-alone kvmtool
• Hypervisor | Apple Developer Documentation
• AWS re:Invent 2017: C5 Instances and the Evolution of Amazon EC2 Virtualization (CMP332) – YouTube
• intel/haxm: Intel® Hardware Accelerated Execution Manager (Intel® HAXM)
• virtio: Towards a De-Facto Standard For Virtual I/O Devices
• redox-os / redox · GitLab
• MonaOS – Free Operating System
• KVM/ARM: The Design and Implementation of the Linux ARM Hypervisor

Addendum

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