Misreading Chat

ウェブアプリケーションの 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

Chrome オリジナルなプロセス分離ポリシーを突き詰めた研究ついて向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Isolating Web Programs in Modern Browser Architectures
  • The Security Architecture of the Chromium Browser
• Chromeのプロセス分離関連
  • Site Isolation
  • Inside look at modern web browser
  • https://twitter.com/kinu/status/1037508916861591552
• Firefox Electrolysis
• Webkit vs Webkit2 API
• 関連研究
  • Tahoma browser: A Safety-Oriented Platform for Web Applications
  • The Multi-Principal OS Construction of the Gazelle Web Browser
• HAL Types  |  Android Open Source Project Treble のプロセスモデルについて
• Android 8.0 Behavior Changes  |  Android Developers WebView のプロセス分離

follow-up

• Kazuyoshi Kato on Twitter: “Rust の場合 out of bounds は実行時に panic, use after free は静的に ownership で防ぐ、はず。ちなみに llvm 経由で各種 san も使えます。たぶんこれは unsafe むけで、レポジトリを持ってる japaric さんは Rust Embedded ワーキンググループのリードです。
• 眼力 玉壱號 on Twitter: “#misreading MSVC に無いのがツライけど、clang-cl 経由で使えるみたいな話を見た様な…

 

ARM が主導する省電力マルチコアアーキテクチャ Big.Little と Android の関係について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• big.LITTLE Technology: The Future of Mobile
• Single-ISA Heterogeneous Multi-Core Architectures
• Apple-designed processors – Wikipedia
• Snapdragon 808 Processors with X10 LTE Specs and Details (Nexus 5X)
• Snapdragon 821 Mobile Platform with X12 LTE and Adreno 530 GPU (Pixel 1)
• Scheduling for Android devices [LWN.net]
• Energy Aware Scheduling on Android
• Energy Aware Scheduling [LWN.net]
• EAS Overview and Integration Guide
• The Linux Scheduler: a Decade of Wasted Cores (The morning paper)
• Evaluation of Hybrid Run-Time Power Models for the ARM Big.LITTLE Architecture – IEEE Conference Publication
• Documentation/scheduler/sched-tune.txt – kernel/common – Git at Google
• IFA 2018: Huawei Kirin 980 Keynote Live Blog

Follow-up

• I Don’t Like Notebooks – Joel Grus – #JupyterCon 2018 – Google Slides
• lisa/ipynb/tutorial at master · ARM-software/lisa
• Kazuyoshi Kato on Twitter: “Lisp 入ってるのいい話。さがしたら Discourse にスレがあった。 https://t.co/e4N0RQr5jc #misreading”

Chrome の開発に使われているメモリエラー検出ツール ASAN について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• AddressSanitizer: A Fast Address Sanity Checker | USENIX
• https://github.com/google/sanitizers
• Clang 8 documentation ADDRESSSANITIZER
• Valgrind
• CPU2006

Follow-ups

• masayoshi takahashi on Twitter: “#misreading 28 赤黒木と左傾赤黒(LLRB)木の話は最近話題の『みんなのデータ構造』にも載ってて、TreapとかScapegoat木との比較もあります(実装は簡単だけど最悪ケースだと赤黒木の方が優秀だそう) https://t.co/I65lJRl0EJ”

 

少し前に流行った Style Transfer と 15 年前にあった類似研究について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Image Analogies
• Image Style Transfer Using Convolutional Neural Networks
• [1603.08155] Perceptual Losses for Real-Time Style Transfer and Super-Resolution
• Neural Transfer with PyTorch — PyTorch Tutorials 0.4.1 documentation
• Correction: リアルタイム版の Style Transfer は training の際にホワイトノイズと content 画像を与えると言っていますが、実際には content 画像のみが入力です。該当論文の fig.2 を参照ください。要するに様々な写真を与えそれを stylize した画像が生成されるようネットワークを train します。

Follow-up

• I Python, You R, We Julia – Jupyter Blog
• Leading NLP Ninja | Anchor – The easiest way to start a podcast

Red-Black Tree 発案者 Sedgewick 氏本人による30 年越しの改訂版アルゴリズムについて向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Left-leaning Red-Black Trees
• Robert Sedgewick
• Red-black tree
• 2-3-4 tree
• A dichromatic framework for balanced trees — the original paper for red-black tree

最近 1.0 をリリースした数値計算系言語 Julia の宣伝論文について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• [1411.1607] Julia: A Fresh Approach to Numerical Computing
• The Julia Language
• Julia 1.0
• Home · JuliaDB
• The 5th annual JuliaCon 2018 (London) – YouTube
• https://juliabox.com

Follow-up

• Nvidia unveils Turing architecture and GPUs with dedicated ray-tracing hardware – The Verge
• Introduction to DirectX RayTracing
• nvidia hq – Google Search
• 眼力 玉壱號 on Twitter: “#misreading ep.23 #Halide 編… to FPGA やってる Fixstars の話が無かったのはちょっと悲しい…が、paper を解説するというのなら正しいかな cf. https://t.co/cyyhWcMGtd”
• イベントレポート: 「Halide勉強会」を開催しました – Fixstars Tech Blog /proc/cpuinfo
• Darkroom: Compiling High-Level Image Processing Code into Hardware Pipelines