Misreading Chat

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

ブラウザ向けコード実行環境 WebAssembly について主要ブラウザの開発者が共著した論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Bringing the Web up to Speed with WebAssembly
• webassembly.org
• asm.js
• emscripten
• Performance Testing Web Assembly vs JavaScript
• JavaScript vs WebAssembly easy benchmark – Takahiro
• PNaClについて、ポッドキャスト内で言及するといっておいて言及し忘れたのでかるくふれておきます
  • PNaClはGoogle ChromeにおけるNative Client (NaCl)という拡張をよりポータブルにしたものです。具体的には、NaClはネイティブコードを配布して検証・実行をしますが、PNaClでは配布データがllvm bitcodeとなり、これを検証・実行します
  • 論文中ではasm.jsとならんで直接的な先祖のひとつとされていました。過去にはPNaCl形式のバイナリをウェブページから配布すればChromeは実行できる、といったことを目標にしていました。現在はwebassemblyにフォーカスを移し、chromeからも使えなくなる（かもう使えなくなった）はず
  • webassemblyになぜllvm bitcodeのような既存のIRを使わなかったのか、ということも（おそらくPNaCl関係の著者により）論文中に書かれていますので、興味のある方は論文内related workの節をご参照ください

Follow-up

• Yutaka Matsubara on Twitter: “そーいえば結局vgoがAPIベースのアクセスやめた話出てなかったな。modulesは少し触れられてたけど #misreading”
• Russ Cox on Go dependency management | Hacker News
  • A response about dep and vgo | Hacker News
• SREcon Conferences | USENIX
  • SREcon18 Americas – YouTube

 

Android Camera2 API の開始点となった Frankencamera について森田が話します。

• The Frankencamera: An Experimental Platform for Computational Photography
• FCam API – Home
• android.hardware.camera2  |  Android Developers
• Nokia N900 – Wikipedia
• apple camera Jobs | LinkedIn
• The iPhone’s camera is so good because 800 people are working on it – The Verge
• Correction: API で指定する画像のフォーマットについて JPEG や RAW といってますが YUV や RGB を指定するパラメタです。
• Addendum: エッジケースでデバイス間の差異が大きい Camera2 API ですが、導入が進まない大きな原因は Lollipop 以上というバージョンの制限です。一方で使い方によっては製品のカメラ機能を強化できる可能性もあります。Google I/O 2018 のトークでは Snapchat のエンジニアが同製品内での Camera2 の利用について紹介しています。

Follow-up

• Julien Verlaguet – Reflex: Reactive Programming at Facebook – YouTube
  • Curry On! – YouTube
• YOW! 2017 Julien Verlaguet – Reflex: A New Reactive Programming Language at Facebook – YouTube – 比較的新しい techtalk (2017 年末)

 

Hypervisor と guest OS の新しいインタラクション手法 Hyperupcall について向井が話します。

• The Design and Implementation of Hyperupcalls | USENIX
• Hypercall
• Upcall
• Linux Enhanced BPF (eBPF) Tracing Tools

Follow-up:

• Taking Go modules for a spin | Dave Cheney
• Walt Disney Animation Studios – Research publications
• Swallowing the elephant: all the links