年: 2018年

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

TypeScript の DefinitelyTyped から宣言間違いを探す論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• DROPS – Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
• Understanding TypeScript
• Safe & Efficient Gradual Typing for TypeScript

Follow-up

• Kinuko Yasuda on Twitter: “#misreading 24 割とよくみてるとこなのでコメント…SharedArrayBufferは違うドメイン間ではメモリ共有できなくてよいはず。最近のESではAgent Clusterというのがあってそれがメモリ共有できる単位になっており、HTML側では基本origin違うと共有できなくていいとなってます https://t.co/ZFVPSfvpfl”
• human eslint –fix on Twitter: “#misreading SharedArrayBuffer のメモリモデルがなぜ必要という話、Worker同士の共有モデルのためって説明されたけど、Workerはあまり使われておらず、WebAssemblyプロセスが実質Workerなのでメモリ共有に必要、という感じではないか、と思った”
• Meltdown and Spectre
• WebAssembly.compile() – JavaScript | MDN
• Threading proposal for WebAssembly
• Behind the tech podcast
  • Kevin Scott

スマートフォン用高画質撮影機能 HDR+ のアルゴリズムについて森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Burst photography for high dynamic range and low-light imaging on mobile cameras
• Google AI Blog: HDR+: Low Light and High Dynamic Range photography in the Google Camera App
• Phase correlation – Wikipedia
• Exposure Fusion
• Correction: ダイナミックレンジを解像度と言ったりビットレートと言ったりしている箇所が何箇所もありますが・・・ごめんなさい。今回は解像度やビットレートに関する話をしている部分はなく、それらはみなダイナミックレンジを指しています。

JavaScript 用の共有メモリ仕様 SharedArrayBuffer に関するメモリモデルを検証した論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• EMME: A Formal Tool for ECMAScript Memory Model Evaluation | SpringerLink
• SharedArrayBuffer – JavaScript | MDN
• Mitigating Spectre with Site Isolation in Chrome
• SharedArrayBuffer and timing attacks (Meltdown and Spectre) · Issue #3 · tc39/security

Follow-up

• tc39/ecmascript_simd: SIMD numeric type for EcmaScript
• bashik7 on Twitter: “#misreading wasm回。関数テーブル書き換えられない、みたいな話があった気がするけど、書き換えられるような。https://t.co/kqY9KXidmE”

高速な画像処理用 DSL の Halide について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Halide: Decoupling Algorithms from Schedules for High-Performance Image Processing CACM 2017
• Decoupling Algorithms from Schedules for Easy Optimization of Image Processing Pipelines – SIGGRAPH 2012
• Decoupling Algorithms from the Organization of Computation for High Performance Image Processing – Ph.D Thesis version. いちばんわかりやすい.
• http://halide-lang.org/
• GitHub – halide/Halide: a language for fast, portable data-parallel computation
• OpenTuner – An extensible framework for program autotuning
• Differentiable Programming for Image Processing and Deep Learning in Halide
• Buck: halide_library() – Facebook の build system には halide の native support がある。

Follow-up

• Domain Name from Company With $215m+ in Funding in Auction | DomainInvesting.com
• Kazuyoshi Kato on Twitter: “Lytro 欲しかった好事家の人々は Light L16 を買うといいのでは。論文あるっぽいけど無料アクセスなさそうなので読んでいないです。 https://t.co/FEBJADDswl”
  • Light Home | Light
  • Light Solutions | Light