Misreading Chat

汎用プログラミング言語に 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 ピクセルです。