Misreading Chat

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年くらい前に大体おわっているようです。(参考)

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

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

• IDRIS — Systems Programming Meets Full Dependent Types (PDF)
• Idris | A Language with Dependent Types
• Kazuyoshi Kato on Twitter: “最近の言語で dependent types… 多分 Idris じゃないかと https://t.co/tRLdzd0KAr #misreading”

Follow up

• skip · A programming language to skip the things you have already computed
• Chromeのメモリ割り当てフック機構 – kanejaku.org

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

Follow up

• California Hasn’t Seen Fires Like This: Pictures of a State in Flames – The New York Times
• subword vocabulary of chromium class names
  • subwords of chromium class names
• The Commons: The Past Is 100% Part of Our Future | Flickr Blog
• 15-463, 15-663, 15-862 Computational Photography, Fall 2018
• SynthCam
• Extreme imaging using cell phones (PDF)
• ゼロから作るRAW現像 – まとめページ – Moiz’s journal

Mukai’s Reading List

• 形態素解析の理論と実装 (実践・自然言語処理シリーズ)
• SRE サイトリライアビリティエンジニアリング ―Googleの信頼性を支えるエンジニアリングチーム
• The Little Typer | The MIT Press

Morrita’s Reading List

• A Tour of C++ (2nd Edition) (C++ In-Depth Series)
• Computer Vision: Algorithms and Applications (Texts in Computer Science)
  • Computer Vision: Algorithms and Applications – PDF 版がダウンロード可能
• The Manager’s Path: A Guide for Tech Leaders Navigating Growth and Change