作者別: Jun Mukai

昨年から成果が注目されている自然言語処理向けの新しいニューラルネットワーク Transformer を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• [1706.03762] Attention Is All You Need
• The Illustrated Transformer – Jay Alammar – Visualizing machine learning one concept at a time
• The Annotated Transformer
• Episode 15 – Neural Machine Translation by Jointly Learning to Align and Translate – Misreading Chat

WebAssembly とネイティブコードの性能を比較した論文を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• [1901.09056] Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code
• Episode 22 – Bringing the Web up to Speed with WebAssembly – Misreading Chat
• SPEC – CPU Benchmark Suites
• Browsix: Unix in the browser tab
• WebAssembly Troubles part 1: WebAssembly Is Not a Stack Machine

Follow-up

• The Operating System in 2018
• January Prize Spotlight: Jeff Bezanson, Steven L. Brunton, Jack Dongarra, Stefan Karpinski, and Viral B. Shah

 

Rust を使ってウェブブラウザを開発する現場からの報告論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Engineering the Servo Web Browser Engine using Rust
• Servo, the Parallel Browser Engine Project
  • servo/servo: The Servo Browser Engine
  • servo/webrender: A GPU-based renderer for the web
• Mozilla 2 – MozillaWiki (懐古趣味)

Follow up

• bashik7 on Twitter: “#misreading の最新epで話がでてたTLA+の紹介記事がタイムリーなことにHNにあがってた。この記事では(論文ではいい感じだと紹介されていた)Toolboxがイケてないって言ってて面白い。使ったことないからなんともだけどJavaだからawfulっていうのは違う気がするけど。

 

仕様検証言語 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 … 技術評論社

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

汎用プログラミング言語に 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 にお寄せください。

• 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