Shows
Misreading Chat#115: Constitutional AI: Harmlessness from AI Feedback
LLM をチャットボットに仕立てる finetuning について森田が読みました。ご意見ご感想などはおたより投書箱や Reddit にお寄せください。iTunes のレビューや星も歓迎です。
[2203.02155] Training language models to follow instructions with human feedback
[2212.08073] Constitutional AI: Harmlessness from AI Feedback
It looks like GPT-4-32k is rolling out | Hacker News
Anthropic | Introducing Claude
Goodhart’s law – Wikipedia
2023-05-2336 minMisreading Chat#114: Invisinets: Removing Networking from Cloud Networks
クラウドのネットワーク設定を簡単にする抽象について向井が読みました。ご意見感想などはおたより投書箱にお寄せください。iTunes のレビューや星も歓迎です。Reddit もはじめました。
Invisinets: Removing Networking from Cloud Networks | USENIX
2023-05-1840 minMisreading Chat#113: Chain-of-Thought Prompting Elicits Reasoning in Large Language Models
LLM に算数の文章題を解かせるコツについて森田が読みました。ご意見ご感想などはおたより投書箱や Reddit にお寄せください。iTunes のレビューや星も歓迎です。
Improving Language Understanding by Generative Pre-Training
Language Models are Unsupervised Multitask Learners
[2005.14165] Language Models are Few-Shot Learners
[2201.11903] Chain-of-Thought Prompting Elicits Reasoning in Large Language Models
NLP’s ImageNet moment has arrived
In-Context Learning, In Context
ChatGPT Prompt Engineering for Developers – DeepLearning.AI
2023-05-0225 minMisreading Chat#112: SkyPilot: An Intercloud Broker for Sky Computing
複数クラウドをまたいだバッチのパイプラインを動かす話を向井が読みました。ご意見感想などはおたより投書箱にお寄せください。iTunes のレビューや星も歓迎です。Reddit もはじめました。
SkyPilot: An Intercloud Broker for Sky Computing | USENIX
GitHub – skypilot-org/skypilot: SkyPilot is a framework for easily running machine learning workloads on any cloud through a unified interface.
From cloud computing to sky computing | Proceedings of the Workshop on Hot Topics in Operating Systems
2023-04-2639 minMisreading Chat#111: Formal Algorithms for Transformers
勤務先への脅威に怯える森田が Transformer を復習しました。ご意見ご感想などはおたより投書箱や Reddit にお寄せください。iTunes のレビューや星も歓迎です。
今回は録音に際し Adobe Podcast (beta) のバグを引き当ててしまい、向井と森田の音声トラックがずれてしまいました。ごめんなさい。次回からは non-beta の手堅いツールで録音しようと思います・・・。
[2207.09238] Formal Algorithms for Transformers
#15 – Neural Machine Translation by Jointly Learning to Align and Translate
#38 – Subword Regularization: Improving Neural Network Translation Models with Multiple Subword Candidates
#51 – Attention Is All You Need
#53 – BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding
Jay Alammar – YouTube
GitHub – openai/tiktoken: tiktoken is a fast BPE tokeniser for use with OpenAI’s models.
GitHub – karpathy/nanoGPT: The simplest, fastest repository for training/finetuning medium-sized GPTs.
Let’s build GPT: from scratch, in code, spelled out. – YouTube
2023-04-0438 min2023-03-2403 minMisreading Chat#110: Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems
遅くなったディスクをみつける Alibaba Cloud の実験について向井が読みました。ご意見感想などはおたより投書箱にお寄せください。iTunes のレビューや星も歓迎です。Reddit もはじめました。
Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems | USENIX
2023-03-2145 minMisreading Chat#100 AMA!
Podcast 100 回記念に森田と向井が読者のみなさまの質問に答えさせてもらう AMA をやってみました。
On Misreading Chat – Jun Mukai’s blog
On Misreading Chat – 2021-01-06 / steps to phantasien
Rebuild – Podcast by Tatsuhiko Miyagawa
ByteCast Archive
Linear Digressions
CoRecursive Podcast – The Stories Behind The Code
Spilled Milk
the morning paper | a random walk through Computer Science research, by Adrian Colyer
Lambda the Ultimate | Programming Languages Weblog
Papers We Love
CACM Homepage | Communications of the ACM
ACM COMPUTING SURVEYS Home
第84回 ゲストを招いて、労働とC++の不安をカウンセリングする by プログラム雑談
2022-10-1447 minMisreading Chat#91: Serverless in the Wild
FaaS の運用効率を上げたいクラウド業者の工夫を森田が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Serverless in the Wild: Characterizing and Optimizing the Serverless Workload at a Large Cloud Provider | USENIXChapter 8 ARIMA models | Forecasting: Principles and PracticeCoefficient of variation – WikipediaApache OpenWhisk is a serverless, open source cloud platform
2021-01-2633 minMisreading Chat#90: Evaluation of splittable pseudo-random generators
Haskell で使われている乱数生成器たちを向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Evaluation of splittable pseudo-random generators* | Journal of Functional Programming | Cambridge CoreSystem.RandomFix quality and performance issues, add monadic API · haskell/random@b45bd28Fast Splittable Pseudorandom Number Generatorsjdk/SplittableRandom.java at master · openjdk/jdk
2021-01-1937 minMisreading Chat#89: Conflict-free Replicated Data Types
並列編集しても衝突しないデータ構造 CRDT に森田が入門します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Conflict-free Replicated Data Types – Archive ouverte HALA commutative replicated data type for cooperative editing – Archive ouverte HALDynamo: Amazon’s Highly Available Key-value StoreAbout CRDTs • Conflict-free Replicated Data Typesxi-editor/crdt-details.md at master · xi-editor/xi-editor · GitHubxi-editor/crdt-details.md at master · xi-editor/xi-editor · GitHubTowards a text editor construction kit · Issue #1187 · xi-editor/xi-editor · GitHub
2020-10-3143 minMisreading Chat#88: A History of Haskell: being lazy with class
Haskell の長い歴史を向井が辿ります。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
A History of Haskell: being lazy with class – Microsoft ResearchHaskell LanguageHome — The Glasgow Haskell Compilerhttps://www.haskell.org/onlinereport/haskell2010/Changes since Haskell ’98
2020-10-2758 minMisreading Chat#87: From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers
AWS Lambda で Chromium をビルドしたり単体テストを流したりする話を和良が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。収録中に話しきれなかったことについては補足もどうぞ。
From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers | USENIXhttps://github.com/StanfordSNR/ggOutsourcing Everyday Jobs to Thousands of Cloud Functions with gg [PDF]POSH: A Data-Aware Shell | USENIXBest of 2019 in Tech Talks. | by Cindy Sridharan | Medium
2020-10-2035 minMisreading Chat#86: JavaScript: the first 20 years
JavaScript 二十年の歴史を森田がひやかします。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
JavaScript: the first 20 years | Proceedings of the ACM on Programming Languages
2020-10-201h 01Misreading Chat#85: Continuous Profiling: Where Have All the Cycles Gone?
ハードウェアカウンタを使ったプロファイラ実装を解説した論文を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Continuous profiling: where have all the cycles gone?: ACM Transactions on Computer Systems: Vol 15, No 4
2020-10-1735 minMisreading Chat#84: Profiling a warehouse-scale computer
データセンターでプロファイラを動かしてわかったことは何なのか、森田が論文を読みます。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Google-Wide Profiling: A Continuous Profiling Infrastructure for Data Centers – Google ResearchProfiling a warehouse-scale computer – Google Research2 Billion Devices and Counting: An Industry Perspective on the State of Mobile Computer Architecture – Google ResearchCap’n Proto: IntroductionAccelerometer: Understanding Acceleration Opportunities for Data Center Overheads at Hyperscale – Facebook Research
2020-10-1339 minMisreading Chat#83: Dynamic Instrumentation of Production Systems
今をときめく eBPF/bpftrace の先祖 DTrace の論文を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Dynamic Instrumentation of Production Systemsdtrace.org » About DTraceBPF Performance Tools (Book)
2020-10-0840 minMisreading Chat#82: Glass: A New Media for a New Era?
ガラスをクラウドの cold storage に使いたい Microsoft Research の野望を森田が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Glass: A New Media for a New Era? – Microsoft ResearchProject Silica proof of concept stores Warner Bros. ‘Superman’ movie on quartz glassGitHub Archive Program: the journey of the world’s open source code to the Arctic – The GitHub Blog
2020-10-0520 minMisreading Chat#81: gprof: a Call Graph Execution Profiler
昔は広く使われていた実行時間プロファイラ gprof の論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
gprof: a Call Graph Execution ProfilerTarjan’s strongly connected components algorithm – Wikipediaresearch!rsc: How To Build a User-Level CPU Profiler
2020-10-0232 min2020-09-2505 minMisreading Chat#80: TrueSkill™ Ranking SystemSplatoon 未経験者の 森田 が S ランカーの向井にランキング指南をします。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/09/ep80.mp3
Elo rating system – Wikipedia
Bradley–Terry model – Wikipedia
Rank – Inkipedia, the Splatoon wiki
TrueSkill Ranking System – Microsoft Research
TrueSkill 2: An improved Bayesian skill rating system – Microsoft Research
dotnet/infer: Infer.NET is a framework for running Bayesian inference in graphical models
infer/ChessAnalysis.cs at master · dotnet/infer
Welcome to Glicko ratings
Parameter Estimation in Large Dynamic Paired Comparison Experiments
2019-10-0729 minMisreading Chat#79: Adversarial Examples Are Not Bugs, They Are Features機械学習界隈で話題沸騰の不思議な論文を向井が読んでみました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/09/ep79.mp3
[1905.02175] Adversarial Examples Are Not Bugs, They Are Features
A Discussion of ‘Adversarial Examples Are Not Bugs, They Are Features’
2019-09-2531 minMisreading Chat#78: Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks有名物体認識のアルゴリズムのひとつ Faster RCNN を森田が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/09/ep78.mp3
[1506.01497] Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks
[1311.2524] Rich feature hierarchies for accurate object detection and semantic segmentation
[1504.08083] Fast R-CNN
[1703.06870] Mask R-CNN
[1512.02325] SSD: Single Shot MultiBox Detector
[1506.02640] You Only Look Once: Unified, Real-Time Object Detection
2019-09-0726 minMisreading Chat#77: Orca: Differential Bug Localization in Large-Scale Servicesプロダクションエラーの原因になったコミットを探す話を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/09/ep77.mp3
Orca: Differential Bug Localization in Large-Scale Services | USENIX
2019-09-0425 minMisreading Chat#76: XPC: Architectural Support for Secure and Efficient Cross Process CallHuawei の新発表 OS がどんなものか森田が論文を読みつつ想像します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/08/ep76.mp3
XPC: Architectural Support for Secure and Efficient Cross Process Call
Huawei Launches New Distributed Operating System, HarmonyOS
How Huawei’s Ark Compiler May Improve Android App Performance
chipsalliance/rocket-chip: Rocket Chip Generator
#05: Agile CPU / Versioned Golang – Misreading Chat
Home | seL4
#34 – Trust and Protection in the Illinois Browser Operating System – Misreading Chat
Zircon | Fuchsia
LiteOS/LiteOS: code and manual
2019-08-2230 minMisreading Chat#75: To Unify or Not to Unify: A Case Study on Unified Builds in WebKitWebKit のビルド時間を本気で速くしてみた論文を向井がみつけて読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/08/ep75.mp3
To unify or not to unify: a case study on unified builds (in WebKit)
On Compiling WebKit (now twice as fast!) – Michael Catanzaro
Jumbo / Unity builds
We’re removing support for the jumbo build – Google Groups
補足: ちょっと口がすべっていますが、Yusuke Suzukiさんは著者の一人ではあるものの、筆頭著者ではないので、この論文への貢献はどちらかといえば副次的であろうと思います
2019-08-2026 minMisreading Chat#74: FaceNet: A Unified Embedding for Face Recognition and Clusteringニューラルネッツな顔認識に森田が入門します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/08/ep74.mp3
[1804.06655] Deep Face Recognition: A Survey
Recommendations for Facial Recognition Input Images – Amazon Rekognition
DeepFace: Closing the Gap to Human-Level Performance in Face Verification – Facebook Research
[1503.03832] FaceNet: A Unified Embedding for Face Recognition and Clustering
[1801.07698v3] ArcFace: Additive Angular Margin Loss for Deep Face Recognition
MegaFace
MS-Celeb-1M: Challenge of Recognizing One Million Celebrities in the Real World – Microsoft Research
Microsoft deleted a database with 10M faces over privacy risks
Dual-Agent GANs for Photorealistic and Identity Preserving Profile Face Synthesis
2019-08-1732 minMisreading Chat#73: Understanding Real-World Concurrency Bugs in GoGo 言語にありがちな並行絡みのバグを集めた論文に向井が同情します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/08/ep73.mp3
Understanding Real-World Concurrency Bugs in Go
Via Understanding real-world concurrency bugs in Go – the morning paper
2019-08-1329 minMisreading Chat#72: How (and How Not) to Write a Good Systems Paperシステム論文を書く人向けガイドを森田が冷やかします。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/08/ep72.mp3
How (and How Not) to Write a Good Systems Paper | USENIX
What Makes a (Graphics) Systems Paper Beautiful
How to Get a Paper Accepted at OOPSLA
Patterns generate architectures | SpringerLink
2019-08-1026 minMisreading Chat#71: Machine Learning at Facebook: Understanding Inference at the EdgeFacebook の Android 機械学習苦労話に向井が同情します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/08/ep71.mp3
Machine Learning at Facebook: Understanding Inference at the Edge – Facebook Research
2 Billion Devices and Counting: An Industry Perspective on the State of Mobile Computer Architecture – Google AI
#54 – Tales of the Tail – Misreading Chat
GitHub – Maratyszcza/NNPACK: Acceleration package for neural networks on multi-core CPUs
GitHub – pytorch/QNNPACK: Quantized Neural Network PACKage – mobile-optimized implementation of quantized neural network operators
2019-08-0826 minMisreading Chat#70: Reality Engine GraphicsGPU の祖先みたいな 25 年前の高級ハードウェアを森田が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。暇な時はノートもみてね。
https://misreading.chat/wp-content/uploads/2019/07/ep70.mp3
Reality Engine Graphics
PlayStation technical specifications – Wikipedia
PlayStation 2 technical specifications – Wikipedia
HPE Buys SGI for $275 Million: How Far the Mighty Have Fallen
コンピューターグラフィックスによる津波現象のバーチャルリアリティシステム (1995)
SGI graphics team moves to Nvidia | EE Times (1999)
NVIDIA の GPU
Montrym: The geforce 6800 – Google Scholar (2005)
Lindholm: NVIDIA Tesla: A unified graphics and computing… – Google Scholar (2008)
Wittenbrink: Fermi GF100 GPU architecture – Google Scholar (2011)
NVIDIA Turing GPU Architecture (White paper, 2018)
High-Performance Software Rasterization on GPUs | Research
2019-08-0240 minMisreading Chat#69: Bandana: Using Non-Volatile Memory for Storing Deep Learning ModelsFacebook が NVM を機械学習のデータストレージに使った話を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
https://misreading.chat/wp-content/uploads/2019/07/ep69.mp3
Bandana: Using Non-Volatile Memory for Storing Deep Learning Models – Facebook Research
SysML 19: Assaf Eisenman, Bandana: Using Non-Volatile Memory for Storing Deep Learning Models – YouTube
肩透かしと不思議な乱数 – Misread Footnotes #1｜森田創｜note
2019-07-3022 minMisreading Chat#68: Introduction to MCMCMarkov Chain Monte Carlo について森田がしったかぶりします。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
https://misreading.chat/wp-content/uploads/2019/07/ep68.mp3
Handbook of Markov Chain Monte Carlo
Introduction to MCMC
Amazon | Doing Bayesian Data Analysis, Second Edition: A Tutorial with R, JAGS, and Stan
日本語訳
Amazon | Physically Based Rendering, Third Edition: From Theory to Implementation
なお録音の不備によりいつもより音が悪いですがご了承ください。
2019-07-2536 minMisreading Chat#67: Towards Federated Learning at Scale: System DesignFederated Learning の実運用に向けた議論を向井が眺めます。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
https://misreading.chat/wp-content/uploads/2019/07/ep67.mp3
Towards Federated Learning at Scale: System Design – Google AI
Towards federated learning at scale: system design – the morning paper
SysML Conference
2019-07-2233 minMisreading Chat#66: The Rendering Equation夏なので古のレイトレ方程式を森田が復習します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/07/ep66.mp3
Kajiya: The rendering equation – Google Scholar
Rendering equation – Wikipedia
Bidirectional reflectance distribution function – Wikipedia
SIGGRAPH 2019: Home
What Makes a (Graphics) Systems Paper Beautiful
ACM Transactions on Graphics (TOG) – Special Issue On Production Rendering and Regular Papers
Amazon | Physically Based Rendering: From Theory to Implementation
オンライン HTML 版
紹介ウェブページ
GitHub
2014 | Oscars.org | Academy of Motion Picture Arts and Sciences
Follow up
Ten Years of Erlang
2019-07-1738 minMisreading Chat#65: Communication-Efficient Learning of Deep Networks from Decentralized Dataエッジデバイスを寄せ集めて分散機械学習をする Federated Learning を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/07/ep65.mp3
[1602.05629] Communication-Efficient Learning of Deep Networks from Decentralized Data
[1610.05492] Federated Learning: Strategies for Improving Communication Efficiency
Follow-up
Arrow
2019-07-1428 minMisreading Chat#64: Automating Chaos Experiments in ProductionNetflix の Chaos Engineering 最新事情っぽい論文を森田が冷やかします。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/07/ep64.mp3
[1905.04648] Automating chaos experiments in production
Netflix TechBlog
Four Reasons We Choose Amazon’s Cloud as Our Computing Platform (2010)
5 Lessons We’ve Learned Using AWS – Netflix TechBlog – Medium (2010)
The Netflix Tech Blog: Chaos Monkey Released Into The Wild (2012, from Internet Archive)
FIT: Failure Injection Testing – Netflix TechBlog – Medium (2014)
Chaos Engineering Upgraded – Netflix TechBlog – Medium (2015)
Netflix Chaos Monkey Upgraded – Netflix TechBlog – Medium (2016)
OSS Projects
Netflix/Hystrix: Hystrix is a latency and fault tolerance library designed to isolate points of access to remote systems, services and 3rd party libraries, stop cascading failure and enable resilience in complex distributed systems where failure...
2019-07-0943 minMisreading Chat#63: Programming with Algebraic Effects and Handlers関数型言語業界ではやっているらしい Algebraic Effects の論文を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/06/ep63.mp3
[1203.1539] Programming with Algebraic Effects and Handlers
Algebraic Effects for Functional Programming
Programming and Reasoning with Algebraic Effects and Dependent Types
yallop/effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects
Eff Programming Language
Koka – Microsoft Research
Episode 41 – IDRIS — Systems Programming Meets Full Dependent Types – Misreading Chat
follow-up
What Spectre and Meltdown Mean For WebKit | WebKit
IBM Research | Technical Paper Search | Let’s Not Speculate: Discovering and Analyzing Speculative Execution Attacks(Search Reports)
2019-06-2434 minMisreading Chat#62 – A History Of ErlangJoe Armstrong 自身が書いた Erlang の歴史を森田が読みます。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/06/ep62.mp3
A History of Erlang
Programming Erlang (2nd edition) by Joe Armstrong | The Pragmatic Bookshelf (初版日本語訳)
Erlang Garbage Collector | Erlang Solution blog
HPACK: the silent killer (feature) of HTTP/2
Concurrent Programming in Erlang (2nd Edition)
erlang nine nines – Google Search
The Pragmatic Programmer, 20th Anniversary Edition: your journey to mastery by David Thomas, Andrew Hunt
Programming Elixir 1.6: Functional |> Concurrent |> Pragmatic |> Fun by Dave Thomas (初版日本語訳)
Nintendo Switch(TM)向け プッシュ通知システム 「NPNS」 (PDF)
voluntas/japanese-erlang-elixir-companies: 日本で Erlang/OTP や Elixir を利用している会社一覧
2019-06-2044 minMisreading Chat#61 – Spectre is Here to StayJS 処理系 V8 の Spectre 対策について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/06/ep61.mp3
[1902.05178] Spectre is here to stay: An analysis of side-channels and speculative execution
A year with Spectre: a V8 perspective · V8
2019-06-1422 minMisreading Chat#60 – XGBoost: A Scalable Tree Boosting SystemGBDT の実装である XGBoost とかのコードを森田が読みます。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/04/ep60.mp3
[1603.02754] XGBoost: A Scalable Tree Boosting System
dmlc/xgboost: Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Flink and DataFlow
Sparse matrices (scipy.sparse) — SciPy v1.2.1 Reference Guide
u++ on Twitter: “[#misreading episode 58] 自分にとっては新鮮な視点が多かった。GBDTのFrameworkとして終始「XGBoost」に言及があるけど、Kaggleでの現在の主流は「LightGBM」なので2019年の情報としては誤解を招きそう。あとアンサンブルの例としてバギングとランダムフォレストを横並びで列挙するのは微妙かも。”
Microsoft/LightGBM: A fast, distributed, high performance gradient boosting (GBDT, GBRT, GBM or MART) framework based on decision tree algorithms, used for ranking, classification and many other machine learning tasks. It is under the umbrella of the DMTK(http://github.com/microsoft/dmtk) project of Microsoft.
LightGBM: A Highly Efficient Gradient Boosting Decision Tree – Microsoft Research
How to train Boosted Trees models in TensorFlow – TensorFlow – Medium
Follow-up
Cloud Run documentation
2019-04-2442 minMisreading Chat#59 – Do Developers Learn New Tools On The Toilet?トイレの張り紙の効能について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/04/ep59.mp3
Do Developers Learn New Tools On The Toilet? – Google AI
Google Testing Blog: Introducing “Testing on the Toilet”
Testing on the Toilet – Mike Bland
Bathroom Reader | Scribd
Schibsted Eng. on Twitter: “More than 15 @SchibstedGroup’s offices around the world join to Schibsted Testing on the Toilet #SchibstedCulture #STOTT #craftsmanship… https://t.co/hC3lvWleBx”
2019-04-1828 minMisreading Chat#58 – Gradient Boosting Decision TreesKaggle 勢を賑わす GBDT なるものがなんなのか森田が遠巻きに調べます。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/04/ep58.mp3
Friedman : Greedy function approximation: A gradient boosting machine.
Elements of Statistical Learning: data mining, inference, and prediction. 2nd Edition
XGBoost
A Kaggle Master Explains Gradient Boosting | No Free Hunch
k-d tree – Wikipedia
Follow up
【技術書典6】「PythonとColabでできる-ゼロから作るRAW現像」を出します（書籍版／ダウンロード版） – Moiz’s journal
2019-04-1231 minMisreading Chat#57 – Asynchronous Functional Reactive Programming for GUIs当初はリアクティブ言語になるはずだったプログラミング言語 Elm について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/04/ep57.mp3
Asynchronous Functional Reactive Programming for GUIs
Elm – A delightful language for reliable webapps
A Farewell to FRP
Follow up
Standardizing WASI: A system interface to run WebAssembly outside the web – Mozilla Hacks – the Web developer blog
Announcing Lucet: Fastly’s native WebAssembly compiler and runtime
Edge Computing| CDN, Global Serverless Code, Distribution | AWS Lambda@Edge
2019-04-0928 minMisreading Chat#56 – Cloud Programming Simplifiedサーバーレス知ったかぶり用のホワイトペーパーを森田がひやかします。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/04/ep56.mp3
Cloud Programming Simplified: A Berkeley View on Serverless Computing – RISE Lab
2019-04-0434 minMisreading Chat#55 – Functional Reactive Programming from First Principles非同期プログラミングモデル ReactiveX の起源を向井が辿ります。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/03/ep55.mp3
Functional Reactive Programming from First Principles
Arrows, Robots, and Functional Reactive Programming
Genuinely Functional User Interfaces
Functional Reactive Programming – HaskellWiki
Arrow – HaskellWiki
Follow-up
WebAssembly Troubles part 4: Microwasm
2019-03-2930 minMisreading Chat#54 – Tales of the Tail時々おこって困る性能問題 tail latency について森田が愚痴ります。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/03/ep54.mp3
The Tail at Scale
Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency
Two Billion Devices and Counting
Velocity 2011: John Rauser, “Look at Your Data” – YouTube
2019-03-2849 minMisreading Chat#53 – BERT: Pre-training of Deep Bidirectional Transformers for Language UnderstandingNN の自然言語処理で transfer learning を実現した BERT について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/03/ep53.mp3
[1810.04805] BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding
Improving Language Understanding by Generative Pre-Training
GitHub – openai/gpt-2: Code for the paper “Language Models are Unsupervised Multitask Learners”
[1901.11504] Multi-Task Deep Neural Networks for Natural Language Understanding
Microsoft’s New MT-DNN Outperforms Google BERT – SyncedReview – Medium
BERT with SentencePiece を日本語 Wikipedia で学習してモデルを公開しました – 原理的には可能 – データ分析界隈の人のブログ、もとい雑記帳
Follow up
Jay Alammar جهاد العمار | LinkedIn
STV
2019-03-2133 minMisreading Chat#52 – Convolutional Color Constancy機械学習を使ったホワイトバランスのアルゴリズムについて森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/03/ep52.mp3
[1507.00410] Convolutional Color Constancy
Google AI Blog: Night Sight: Seeing in the Dark on Pixel Phones
Fast Fourier Color Constancy – Google AI
YUV – Wikipedia
2019-03-0727 minMisreading Chat#51 – Attention Is All You Need昨年から成果が注目されている自然言語処理向けの新しいニューラルネットワーク Transformer を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/02/ep51.mp3
[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
2019-03-0122 minMisreading Chat#50 – Geodesic Discrete Global Grid Systems球面上で幾何アルゴリズムを実装する下地となる座標系のデザインについて森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/02/ep50.mp3
Geodesic Discrete Global Grid Systems
S2 Geometry | S2Geometry
Announcing the S2 Library: Geometry on the Sphere | Google Open Source Blog
Supercharging geo_point fields in Elasticsearch 2.2 | Elastic
Space-filling curve – Wikipedia
HTM Overview
H3: Uber’s Hexagonal Hierarchical Spatial Index
Follow-up
My parents are Flat-Earthers
2019-02-2234 minMisreading Chat#49 – Mind the Gap: Analyzing the Performance of WebAssembly vs. Native CodeWebAssembly とネイティブコードの性能を比較した論文を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/02/ep49.mp3
[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
2019-02-1926 minMisreading Chat#48 – Real-time Personalization using Embeddings for Search Ranking at AirbnbAirbnb が使っている検索アルゴリズムの一つについて森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/01/48.mp3
KDD 2018 | Real-time Personalization using Embeddings for Search Ranking at Airbnb
[1810.09591] Applying Deep Learning To Airbnb Search
収録の都合でノイズが多くなってしまいましたがご容赦ください。
2019-02-0724 minMisreading Chat#47 – Engineering the Servo Web Browser Engine using RustRust を使ってウェブブラウザを開発する現場からの報告論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/01/47.mp3
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っていうのは違う気がするけど。
2019-01-3129 minMisreading Chat#46 – An Introduction to Neural Information RetrievalML を使った検索技術 Learning To Rank に森田が入門します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/01/ep46.mp3
An Introduction to Neural Information Retrieval – Microsoft Research
Manning | Deep Learning for Search
Introduction to Information Retrieval: Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze
Learning to Rank using Gradient Descent – Microsoft Research
RankNet: A ranking retrospective – Microsoft Research
Learning to Rank using Gradient Descent – Microsoft Research
[1812.00073] TF-Ranking: Scalable TensorFlow Library for Learning-to-Rank
tensorflow/ranking: Learning to Rank in TensorFlow
Learning To Rank | Apache Solr Reference Guide 6.6
How Bloomberg Integrated Learning-to-Rank into Apache Solr | Tech At Bloomberg
We’re Bringing Learning to Rank to Elasticsearch
Follow up
Kazuyoshi Kato on Twitter: “”We’re using Rust i...
2019-01-2138 minMisreading Chat#45 – Why Amazon Chose TLA +仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/01/ep45.mp3
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 … 技術評論社
2019-01-1726 minMisreading Chat#44 – FirecrackerAWS Lambda の新しい Hypervisor である Firecracker について森田が話します。
https://misreading.chat/wp-content/uploads/2018/12/ep44.mp3
Firecracker
firecracker-microvm/firecracker: Secure and fast microVMs for serverless computing.
Chromium OS Docs – Running Custom Containers Under Chrome OS
chromiumos/platform/crosvm – Git at Google
Virtual I/O Device (VIRTIO) Version 1.0
google/gvisor: Container Runtime Sandbox
Follow up
Google AI Blog: Learning to Predict Depth on the Pixel 3 Phones
MIPS Goes Open Source | EE Times
Per Buer on Twitter: “Listening to a Japanese podcast discussing unikernels. I have no idea what they are saying but I find listening to the language soothing. From time to time they throw in an English word (
2019-01-1039 minMisreading Chat#43 – Capsicum: practical capabilities for UNIXFreeBSD のサンドボックス機構 Capsicum について向井が話します。
https://misreading.chat/wp-content/uploads/2018/12/ep43.mp3
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
2019-01-0423 minMisreading Chat#42 – kvm: the Linux Virtual Machine MonitorKVM など Linux の仮想化技術について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/12/ep42-1.mp3
Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design): Jim Smith, Ravi Nair: 9781558609105: Amazon.com: Books
QEMU, a Fast and Portable Dynamic Translator
Tiny Code Generator
TCC : Tiny C Compiler
Xen and the Art of Virtualization
x86 virtualization – Wikipedia
Intel® 64 and IA-32 Architectures Software Developer’s Manual Volume 3C: System Programming Guide, Part 3
kvm: the Linux Virtual Machine Monitor
Ten years of KVM [LWN.net]
Using the KVM API [LWN.net]
kernel/git/will/kvmtool.git – Stand-alone kvmtool
Hypervisor | Apple Developer Documentation
AWS re:Invent...
2018-12-3139 minMisreading Chat#41 – IDRIS — Systems Programming Meets Full Dependent Types汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。
感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/12/ep41.mp3
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
2018-12-2629 minMisreading Chat#40最近でもなく読んだ本などについて向井と森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/11/40.mp3
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
2018-11-2051 minMisreading Chat#39 – Service Fabric: A Distributed Platform for Building Microservices in the CloudMicrosoft Azure の Microservices 基盤 Service Fabric について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せくだ
https://misreading.chat/wp-content/uploads/2018/11/ep39.mp3
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
2018-11-1031 minMisreading Chat#38 – Subword Regularization: Improving Neural Network Translation Models with Multiple Subword Candidatesニューラル自然言語処理の前処理として複雑な単語を限られた語彙集合で分割するアルゴリズムについて向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/11/ep381.mp3
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
2018-11-0830 minMisreading Chat#37 – Synthetic Depth-of-Field with a Single-Camera Mobile Phoneスマホカメラについてくる Portrait Mode のアルゴリズムについて森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/10/ep37.mp3
[1806.04171] Synthetic Depth-of-Field with a Single-Camera Mobile Phone
2018-11-0240 minMisreading Chat#36 – BLeak: Automatically Debugging Memory Leaks in Web Applicationsウェブアプリケーションの JavaScript メモリーリーク検出ツール BLeak ついて向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/10/ep36.mp3
BLeak: Automatically debug memory leaks in web applications
PLDI ’18 paper
Follow-up
Python’s New Package Landscape
Pipenv ※本編では誤って Pypienv と読んでいますが Pipenv の間違いです。
2018-10-2330 minMisreading Chat#35 – Darkroom: Compiling High-Level Image Processing Code into Hardware Pipelines画像処理用の DSL を FPGA にコンパイルする研究や、その延長で作られた画像処理用 Domain Specific Architecture である Pixel Visual Core について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/10/ep35.mp3
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 ピクセルです。
2018-10-2031 minMisreading Chat#34 – Trust and Protection in the Illinois Browser Operating Systemマイクロカーネルの上でブラウザを動かすいくつかの研究ついて向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/10/ep34.mp3
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等に関係なく再コンパイルなしで使えるという面で好まれることはありうるかもしれません
2018-10-1832 minMisreading Chat#33 – Distinctive Image Features from Scale-Invariant Keypoints画像から特徴量をとりだすアルゴリズムの古典 SIFT と最近の似たような話について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/09/ep33.mp3
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
2018-09-2533 minMisreading Chat#32 – Isolating Web Programs in Modern Browser ArchitecturesChrome オリジナルなプロセス分離ポリシーを突き詰めた研究ついて向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/09/ep32.mp3
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 経由で使えるみたいな話を見た様な…
2018-09-1935 minMisreading Chat#31 – Big.LittleARM が主導する省電力マルチコアアーキテクチャ Big.Little と Android の関係について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/09/ep31.mp3
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
...
2018-09-1137 minMisreading Chat#30 – AddressSanitizer: A Fast Address Sanity CheckerChrome の開発に使われているメモリエラー検出ツール ASAN について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/08/ep30.mp3
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”
2018-09-0329 minMisreading Chat#29 – Image Analogies and Image Style Transfer少し前に流行った Style Transfer と 15 年前にあった類似研究について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/08/ep29.mp3
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
2018-08-3133 minMisreading Chat#28 – Left-leaning Red-Black TreesRed-Black Tree 発案者 Sedgewick 氏本人による30 年越しの改訂版アルゴリズムについて向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/08/ep28.mp3
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
2018-08-2721 minMisreading Chat#27 – Julia: A Fresh Approach to Numerical Computing最近 1.0 をリリースした数値計算系言語 Julia の宣伝論文について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/08/ep27.mp3
[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
2018-08-2442 minMisreading Chat#26 – Mixed Messages: Measuring Conformance and Non-Interference in TypeScriptTypeScript の DefinitelyTyped から宣言間違いを探す論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/08/ep26.mp3
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
2018-08-2131 minMisreading Chat#25 – Burst photography for high dynamic range and low-light imaging on mobile camerasスマートフォン用高画質撮影機能 HDR+ のアルゴリズムについて森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/08/ep25.mp3
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: ダイナミックレンジを解像度と言ったりビットレートと言ったりしている箇所が何箇所もありますが・・・ごめんなさい。今回は解像度やビットレートに関する話をしている部分はなく、それらはみなダイナミックレンジを指しています。
2018-08-1737 minMisreading Chat#24 – EMME: A Formal Tool for ECMAScript Memory Model EvaluationJavaScript 用の共有メモリ仕様 SharedArrayBuffer に関するメモリモデルを検証した論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/07/ep24.mp3
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”
2018-08-1319 minMisreading Chat#23 – Halide: Decoupling Algorithms from Schedules for High-Performance Image Processing高速な画像処理用 DSL の Halide について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/07/ep231.mp3
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 を買うといいのでは。論文あ
2018-08-0335 minMisreading Chat#22 – Bringing the Web up to Speed with WebAssemblyブラウザ向けコード実行環境 WebAssembly について主要ブラウザの開発者が共著した論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/07/ep22.mp3
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
2018-07-3036 minMisreading Chat#21 – The FrankencameraAndroid Camera2 API の開始点となった Frankencamera について森田が話します。
https://misreading.chat/wp-content/uploads/2018/07/ep21.mp3
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 年末)
2018-07-2754 minMisreading Chat#20 – The Design and Implementation of HyperupcallsHypervisor と guest OS の新しいインタラクション手法 Hyperupcall について向井が話します。
https://misreading.chat/wp-content/uploads/2018/07/ep20.mp3
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
2018-07-2323 minMisreading Chat#19 – Light Field Rendering今はなき Lytro 社のカメラを可能にした Light Field テクノロジと、その応用である Plenoptic Camera について森田が話します。
https://misreading.chat/wp-content/uploads/2018/07/ep19.mp3
Light Field Rendering
Light Field Photography with a Hand-Held Plenoptic Camera
画像を見ると一目瞭然なことも多いので一瞥をおすすめします。
DIGITAL LIGHT FIELD PHOTOGRAPHY Ph.D Thesis – サンプル画像多数。
Lytro – Wikipedia
Photosynth – Wikipedia
Experimenting with Light Fields – Light Field + VR
plenoptic – Wiktionary
Google AI Blog: Lens Blur in the new Google Camera app
Google AI Blog: Portrait mode on the Pixel 2 and Pixel 2 XL smartphones
Follow-up
State of Multicore OCaml [pdf] | Hacker News
Eager Execution | TensorFlow
補足: AutoGraph converts Python into TensorFlow graphs – TensorFlow – Medium を使うと eager と non-eager どちらでも動くコードを書けるらしい。
ARM: “RISC-V Architecture: Understand the Facts” | Hacker News
Up in arms! Arm kills off its anti-RISC-V smear site after own staff revolt • The Register
ARM Architecture: Understand the Facts
Microsoft kills its ‘Get the Facts’ anti-Linux site | ZDNet
2018-07-2042 minMisreading Chat#18 – Exploiting the DRAM Rowhammer Bug to Gain Kernel PrivilegesDRAM のハードウェアバグ Rowhammer を使った脆弱性について向井が話します。
https://misreading.chat/wp-content/uploads/2018/07/ep018.mp3
Project Zero: Exploiting the DRAM rowhammer bug to gain kernel privileges
Flipping Bits in Memory Without Accessing Them: An Experimental Study of DRAM Disturbance Errors – もともとrowhammerバグを報告した論文
Native Client
補足：ポッドキャストでは口頭で説明しているため、細かい発生条件などを省略・簡略化しています。詳細はリンク先の記事を読んだほうが良いでしょう……
Native Clientで動的に実行可能なメモリ領域をつくるためには、記事中ではdyncode_create()というAPIを使ったと書いてあります
Follow-up
USENIX ATC ’18
Throwhammer: Rowhammer Attacks over the Network and Defenses
Migrating Messenger storage to optimize performance – Facebook Code
2018-07-1732 minMisreading Chat#17 – Unikernels: Library Operating Systems for the CloudOCaml で書かれた LibraryOS Unikernels/MirageOS に関する論文 “Unikernels: Library Operating Systems for the Cloud” を森田が紹介します。
https://misreading.chat/wp-content/uploads/2018/06/ep17.mp3
Unikernels: Library Operating Systems for the Cloud
MirageOS
Drawbridge – Microsoft Research
About Lwt: concurrency library – Ecosystem – OCaml
Xen vchan port
Moby
moby/vpnkit: A toolkit for embedding VPN capabilities in your application
moby/hyperkit: A toolkit for embedding hypervisor capabilities in your application
moby/datakit: Connect processes into powerful data pipelines with a simple git-like filesystem interface
OSv—Optimizing the Operating System for Virtual Machines
cloudius-systems/osv: OSv, a new operating system for the cloud.
ScyllaDB
Using functional programming within an industrial product group: perspe...
2018-06-1844 minMisreading Chat#16 – A Deep Learning Approach for Generalized Speech AnimationDisney Research による口パクアニメーション生成論文 “A Deep Learning Approach for Generalized Speech Animation” を向井が紹介します。
https://misreading.chat/wp-content/uploads/2018/06/ep16.mp3
A Deep Learning Approach for Generalized Speech Animation – Disney Research
Active Appearance Model [PDF]
Follow up
Disney Research
SIGGRAPH 2018
Kinuko Yasuda on Twitter: “#misreading 今回は levelDB だ！昔少し調べたのと使ってる側の話を割と聞くので、軽くコメント。Client側でこの設計でいいのか？→普通に制約になり得る。メモリに入り切らない変更（大量のindex一括更新など）はatomicにできないし、そもそもメモリを食う。
2018-06-1229 minMisreading Chat#15 – Neural Machine Translation by Jointly Learning to Align and TranslateNeural Network における “Attention” の概念をうみだした機械翻訳の論文 “Neural Machine Translation by Jointly Learning to Align and Translate” を森田が紹介します。
今回は根性不足によりあまり編集しておりません。聞き苦しい部分はご容赦ください。
https://misreading.chat/wp-content/uploads/2018/06/ep151.mp3
[1409.0473] Neural Machine Translation by Jointly Learning to Align and Translate
The Unreasonable Effectiveness of Recurrent Neural Networks
[1709.07809] Neural Machine Translation
Statistical Machine Translation: Philipp Koehn: 9780521874151: Amazon.com
Attention and Augmented Recurrent Neural Networks
The Great A.I. Awakening – The New York Times
A novel approach to neural machine translation | Engineering Blog | Facebook Code | Facebook
[1706.03762] Attention Is All You Need 全然わからん
Translation with a Sequence to Sequence Network and Attention — PyTorch Tutorials 0.4.0 documentation
2018-06-0838 minMisreading Chat#14 – LevelDBJeff Dean が Chrome のために書いたデータベースライブラリ LevelDB についてドキュメントやコードを見ながら向井が紹介します。
https://misreading.chat/wp-content/uploads/2018/06/ep14.mp3
google/leveldb: LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
Bigtable: A Distributed Storage System for Structured Data
Kyoto Cabinet
dain/leveldb: Port of LevelDB to Java
Skip List
Follow-up
research!rsc: The vgo proposal is accepted. Now what? (Go & Versioning, Part 8)
research!rsc: What is Software Engineering? (Go & Versioning, Part 9)
125: GraphQL and Apollo with GDE Mike Nakhimovich (Part 1) – Fragmented
Reconciling GraphQL and Thrift at Airbnb – Airbnb Engineering & Data Science – Medium
2018-06-0438 minMisreading Chat#13 – HyperLogLog in Practice確率的アルゴリズム HyperLogLog に関する論文 “HyperLogLog in Practice” を 森田が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/05/ep13.mp3
HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardinality Estimation Algorithm – Google AI
HyperLogLog: the analysis of a near-optimal cardinality estimation algorithm
Loglog Counting of Large Cardinalities
Probabilistic Counting Algorithms for Data Base Applications
Harmonic mean – Wikipedia
Three and a half degrees of separation – Facebook Research
Mining of Massive Datasets
大規模データのマイニング
Follow up
Literate Programming (Lecture Notes): Donald E. Knuth: 9780937073803: Amazon.com: Books
Literate programming – Wikipedia
文芸的プログラミング
PyTorch, Chainer and Forking – Misreading Chat 補足
Discover dev
2018-06-0131 minMisreading Chat#12 – Semantics and Complexity of GraphQLGraphQLを分析した論文 “Semantics and Complexity of GraphQL” を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/05/ep12.mp3
Semantics and Complexity of GraphQL
GraphQL
the morning paper / Semantics and Complexy of GraphQL
NL-complete (日本語)
Correction
エピソード内でクエリ結果のサイズ評価について議論していますが、論文をちらっと読んだかんじでは向井さんの主張が正しそうです。自分はなんとなくスキーマの ER 図みたいのを想像しながら話を聞いていましたが、この人のいうグラフはオブジェクトDBみたいなグラフで、何かを評価する際にスキーマなどはおまけみたいなものなんですね。思い込みで話がかみ合っていませんでした。(森田)
2018-05-3032 minMisreading Chat#11 – The Story in the NotebookJupyter Notebook の利用実態を調査した “The Story in the Notebook: Exploratory Data Science using a Literate Programming Tool” と “Exploration and Explanation in Computational Notebooks” を森田が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/05/ep11.mp3
The Story in the Notebook: Exploratory Data Science using a Literate Programming Tool
Exploration and Explanation in Computational Notebooks
Good enough practices in scientific computing
The Scientific Paper Is Obsolete. Here’s What’s Next. – The Atlantic
What Is a Computational Essay?—Stephen Wolfram Blog
Project Jupyter with Jessica Forde, Yuvi Panda and Chris Holdgraf | Google Cloud Platform Podcast
Hello, Colaboratory – Colaboratory
CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers: aka “Bayesian Methods for...
2018-05-2551 minMisreading Chat#10 – Deep Probabilistic Programming確率的プログラミング系の論文 “Deep Probabilistic Programming” を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/05/ep10.mp3
[1701.03757] Deep Probabilistic Programming
[1804.06458] Deep Probabilistic Programming Languages: A Qualitative Study
Edward
Pyro
WebPPL
Stan
PyMC
Follow-up
#misreading だとGANを「ガン」と呼んでるけど弊社のデータサイエンティストは「ギャン」と呼んでたから、結局どっちなのか気になる。
[1511.06434] Unsupervised Representation Learning with Deep Convolutional Generative Adversarial Networks
Algorithms Behind Modern Storage Systems – ACM Queue
2018-05-2136 minMisreading Chat#09 – Automatic Differentiation in Machine Learning: a Survey自動微分のサーベイ論文 “Automatic differentiation in machine learning: a survey” を 森田が PyTorch のコードを読みつつ紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/05/ep09.mp3
[1502.05767] Automatic differentiation in machine learning: a survey
Automatic differentiation in PyTorch | OpenReview
Chainer: a next-generation open source framework for deep learning
Implementation of Control Flow in TensorFlow
pytorch/pytorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration
Release alpha-1 release · pytorch/pytorch aka. v0.1.1
Yann LeCun on Twitter: “Dude, there were graph-based deep learning frameworks with AD back in 1991 (SN at AT&T) and its open source successor Lush, released in 2002.… https://t.co/sL2wPnaOJY”
深層学習 (Goodfellow の教科書日本語訳)
Follow-up and Correction
Netflix Research
How to Adopt Modern...
2018-05-1841 minMisreading Chat#08 – Generative Adversarial Nets機械学習で画像を生成させる系の論文 “Generative Adversarial Nets” を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/05/ep08.mp3
Generative Adversarial Nets
深層学習 (Goodfellow の教科書日本語訳)
Image-to-Image Translation with Conditional Adversarial Nets
Photo-Realistic Single Image Super-Resolution Using a Generative Adversarial Network
Follow-up
Plan 9 from User Space
Kazuyoshi Kato on Twitter: “#misreading Ninja の話は前回ふれられてた AOSA シリーズにあるので気になる人はぜひ。Bazel というか Blaze は Pants (Twitter) や Buck (Facebook) などクローンの存在が根強い人気をうかがわせるけど、Googler じゃないので今ひとつ何が良いのかわからないのだった。 https://t.co/C3hfCNSqMI”
rsc.epub
How I Fail – Ian Goodfellow (PhD’14, Computer Science) | veronikach.com
今回は音声データの後処理に Turing Complete FM 推薦の Auphonic を試しています。
なかでVAEのことを言い間違えていますが、正しくはVariational Auto Encoderです。
2018-05-1332 minMisreading Chat#07 – One VM to Rule Them AllGraal VM のデザインを説明した論文 “One VM to Rule Them All” を森田が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/04/ep07.mp3
One VM to rule them all
GraalVM
graal/Publications.md at master · oracle/graal
LLVM Project Blog: FTL: WebKit’s LLVM based JIT
Introducing the WebKit FTL JIT | WebKit
Two Minute Papers – YouTube – YouTube
Follow-up and Correction
わかりにくかった部分の補足を書きました。
冒頭で episode 6 後半といいましたが混乱しそうなので episode 7 ということにします。
何箇所か execuse と呼んでいる部分は execute の間違いです。
2018-05-0441 minMisreading Chat#06 – CloudBuild: Microsoft’s Distributed and Caching Build ServiceMicrosoft の社内用分散ビルドシステム CloudBuild の論文を向井が紹介します。数千万行の巨大な既存コードベースのビルドをいかにそのまま分散化するか、その頑張りが見どころです。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/04/ep06.mp3
CloudBuild: Microsoft’s Distributed and Caching Build Service
Travis / Jenkins
Perforce / TFVC (Team Foundation Version Control)
Formalizing and Verifying a Modern Build Language
nmake
MSBuild
chromium build systems
ninja
GN
gyp
SCons
goma
bazel
Follow-up
Russ Cox on changelog
Implementing Regular Expressions
Monotonic Elapsed Time Measurements in Go
2018-05-0134 minMisreading Chat#05: Agile CPU / Versioned Golang森田が紹介するのは CPU をアジャイルの流儀で開発しようと主張する An Agile Approach to Building RISC-V Microprocessors, 向井が紹介するのは Go の次世代バージョン管理システムのデザインを解説した Go & Versioning です。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2018/04/s01e05.mp3
An Agile Approach to Building RISC-V Microprocessors
RISC-V
RISC-V Foundation | Instruction Set Architecture (ISA)
Design of the RISC-V Instruction Set Architecture
Intel and the x86 Architecture: A Legal Perspective – Harvard Journal of Law & Technology
Instruction Sets Want To Be Free: A Case for RISC-V – YouTube
アジャイルソフトウェア開発宣言
Chisel: Constructing Hardware in an Scala Embedded Language
The fun of programmingは『関数プログラミングの楽しみ』として翻訳あり。8章がLavaというハードウェア記述DSLの話。
Verilog is weird
GitHub – freechipsproject/rocket-chip: Rocket Chip Generator
SiFive | CPU IP and Custom SoCs from the Inventors of RISC-V
Esperanto Technologies / Energy-efficient RISC-V solutions for AI
NVIDIA Is Building Its Next-Gen Falcon Controller Using RISC-V – Phoronix
Home Page for UCB CS152/CS252, Spring 2018
RISC-V Day 2017 Tokyo – December 18, 2017
Go & versioning
2018-04-221h 01Misreading Chat#04: Filesystem on NVM / Self-Driving Car on Dessert向井が紹介するのは Linux 上に不揮発性メモリ用のファイルシステムを実装、評価した NOVA: A Log-structured File System for Hybrid Volatile/Non-volatile Main Memories, 森田が紹介するのは 2005 年の自動運転自動車レースで優勝したクルマのシステムを概観する Stanley: The Robot that Won the DARPA Grand Challenge です。
感想などはハッシュタグ #misreading などにお寄せください。
https://misreading.chat/wp-content/uploads/2018/03/ep04.mp3
NOVA: A Log-structured File System for Hybrid Volatile/Non-volatile Main Memories
GitHub – NVSL/linux-nova: NOVA is a log-structured file system designed for byte-addressable non-volatile memories, developed at the University of California, San Diego.
Intel® Optane Technology Intel 3D XPoint
Direct Access for files (Linux Kernel)
CLFLUSHOPT—Flush Cache Line Optimized
CLWB — Cache Line Write Back
How to Emulate Persistent Memory Using Dynamic Random-access Memory (DRAM) | Intel® Software
Stanley: The Robot that Won the DARPA Grand Challenge
Driverless milestone: No Hands Across America – San Francisco Chronicle
[1704.05519] Computer Vision for Autonomous Ve...
2018-04-171h 04Misreading Chat#03: New Grads Struggle / Data Scientists Strive森田が紹介するのは新入社員が職場に慣れて活躍するまでの苦労について調べた Ramp-up Journey of New Hires: Tug of War of Aids and Impediments, 向井が紹介するのはデータサイエンティストの生態について調べた Data Scientists in Software Teams: State of the Art and Challenges です。どちらも Microsoft Research の研究者 Thomas Zimmermann と仲間たちが同社内で行った調査に基づく論文。Microsoft の舞台裏を覗き見ることができる・・・かもしれません。感想などはハッシュタグ #misreading などにお寄せください。
https://misreading.chat/wp-content/uploads/2018/03/ep03.mp3
Ramp-up Journey of New Hires: Tug of War of Aids and Impediments
Ramp-up Journey of New Hires: Tug of War of Aids and Impediments 2015
Ramp-up Journey of New Hires: Do strategic practices of software companies influence productivity? 2017
Struggles of New College Graduates in their First Software Development Job – Microsoft Research 2008
Data Scientists in Software Teams: State of the Art and Challenges
Data Scientists in Software Teams: State of the Art and Challenges
Analysing the Analyzers (PDF)
SCOPE: Easy and Efficient Parallel Processing of Massive Data Sets (PDF)
Using the Microsoft TLC Machine Learning Tool | James D. McCaffrey
Search Quality Meeting: Spelli
2018-04-081h 10Misreading Chat#02: Android Intent / GPU Raytracer向井が紹介するのは世の中の APK を分析して Android Intent の使い方を調べてまわった Inter-app Communication in Android, 森田が紹介するのは NVIDIA 製 GPU レイトレーサ OptiX です。感想などはハッシュタグ #misreading などにお寄せください。
https://misreading.chat/wp-content/uploads/2018/07/ep02.mp3
Inter-app Communication in Android:
Inter-app Communication in Android: Developer Challenges (PDF)
Intent
IC3
F-Droid
ADW Launcher
ZXing
openintents.org
Inter-App Communication from Apple Developer
OptiX:
OptiX: A General Purpose Ray Tracing Engine
NVIDIA® OptiX Ray Tracing Engine | NVIDIA Developer
Announcing Microsoft DirectX Raytracing! – DirectX Developer Blog
Introduction to NVIDIA RTX and DirectX Raytracing | NVIDIA Developer Blog
OpenGL – The Industry Standard for High Performance Graphics
Graphics Pipeline (Windows)
2018-04-0158 minMisreading Chat#01: Tensor Comprehensions, Rust Belt森田が紹介するのは deep learning 向けの DST と JIT コンパイラ Tensor Comprensions. 向井が紹介するのはプログラミング言語 Rust のメモリ安全性に関する形式的証明に挑む Rust Belt です。
https://misreading.chat/wp-content/uploads/2018/07/ep01.mp3
Tensor Comprehensions:
[1802.04730] Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
Announcing Tensor Comprehensions – Facebook Research
GitHub – facebookresearch/TensorComprehensions: A domain specific language to express machine learning workloads.
Integer Set Library
Halide
Lush: Lisp Universal SHell
Rust Belt:
RustBelt: securing the foundations of the rust programming language
RustBelt – Project page
Iris Project
Bug report thanks to this paper
xi-editor
PR by jmuk
2018-03-2650 min