年: 2018年

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

Microsoft Azure の Microservices 基盤 Service Fabric について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せくだ

• Service Fabric: A Distributed Platform for Building Microservices in the Cloud
• Microsoft/service-fabric: Service Fabric is a distributed systems platform for packaging, deploying, and managing stateless and stateful distributed applications and containers at large scale.
• Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications
• Azure Service Fabric—Building Microservices | Microsoft Azure
• Programming Microsoft Azure Service Fabric (2nd Edition) (Developer Reference): Haishi Bai: 9781509307098: Amazon.com: Books
• Episode 241 – Service Fabric & Service Fabric Mesh

 

 

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

• Neural Machine Translation of Rare Words with Subword Units
• [1804.10959] Subword Regularization: Improving Neural Network Translation Models with Multiple Subword Candidates
• google/sentencepiece: Unsupervised text tokenizer for Neural Network-based text generation.
• vocabulary for chromium class names
  • subword examples

 

• WebAssembly Threads ready to try in Chrome 70
  • WebAssembly/threads: Threads and Atomics in WebAssembly

スマホカメラについてくる Portrait Mode のアルゴリズムについて森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• [1806.04171] Synthetic Depth-of-Field with a Single-Camera Mobile Phone

 

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

• BLeak: Automatically debug memory leaks in web applications
• PLDI ’18 paper

Follow-up

• Python’s New Package Landscape
  • Pipenv ※本編では誤って Pypienv と読んでいますが Pipenv  の間違いです。

画像処理用の DSL を FPGA にコンパイルする研究や、その延長で作られた画像処理用 Domain Specific Architecture である Pixel Visual Core について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Darkroom: Compiling High-Level Image Processing Code into Hardware Pipelines
  • Rigel: Flexible Multi-Rate Image Processing Hardware
• [1610.09405] Programming Heterogeneous Systems from an Image Processing DSL
• Computer Architecture: A Quantitative Approach (The Morgan Kaufmann Series in Computer Architecture and Design): John L. Hennessy, David A. Patterson
•  Pixel Visual Core: image processing and machine learning on Pixel 2
• iPhone XS – Cameras – Apple

Correction

• Processing Element を間違えて Processing Unit と読んでいる部分があります
• Halo の幅が 4 ピクセル, Processing Element が 16×16 ピクセルで、Stencil Unit 毎の PE/Halo 合計は (20×20 ではなく) 24×24 ピクセルです。

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

• Trust and Protection in the Illinois Browser Operating System
• Embassies: Radically Refactoring the Web – Microsoft Research
• L4Android: a generic operating system framework for secure smartphones
  • L4Linux
  • L4Android
• L4 Kernel projects
  • On micro-kernel construction
  • From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
  • seL4: formal verification of an OS kernel

follow-ups

• バスケ on Twitter: “WebView は結構前にDeprecated で次ぐらいで撤去のはず。…
  • UIWebView (deprecated)
• Inside look at modern web browser (part 1) | Web | Google Developers
  • (ちなみに前回のshow notesにもしれっとリンクを貼っていましたがまったく言及していませんでした。すいません）
• Creative Selection
• MinRT by WebAssembly
  • NodeでWebAssembly誰得なのか、みたいなことを話していますが、アーキテクチャやABI等に関係なく再コンパイルなしで使えるという面で好まれることはありうるかもしれません

画像から特徴量をとりだすアルゴリズムの古典 SIFT と最近の似たような話について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Distinctive Image Features from Scale-Invariant Keypoints
• Computer Vision: Algorithms and Applications (日本語訳) – 教科書
• [1805.04140] Neural Best-Buddies: Sparse Cross-Domain Correspondence
  • Neural Image Stitching And Morphing | Two Minute Papers #256 – YouTube

Follow-up

• Beyond Interactive: Notebook Innovation at Netflix – Netflix TechBlog – Medium