サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
都知事選
misreading.chat
ソフトウェア開発のムダについて現場に潜り込み分析した論文を森田が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。 Software Development Waste (PDF) It Will Never Work in TheoryMaking Software: What Really Works, and Why We Believe ItLean Software Development: An Agile Toolkitxkcd: CompilingOn Pivotal:This Company Believes You Should Never Hack Alone | WIREDVMware completes $2.7 billion Pivotal ac
Netflix の Chaos Engineering 最新事情っぽい論文を森田が冷やかします。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 [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 A
Joe Armstrong 自身が書いた Erlang の歴史を森田が読みます。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 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 Programme
GBDT の実装である XGBoost とかのコードを森田が読みます。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 [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 G
サーバーレス知ったかぶり用のホワイトペーパーを森田がひやかします。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 Cloud Programming Simplified: A Berkeley View on Serverless Computing – RISE Lab
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にあがってた。この記事
仕様検証言語 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
AWS Lambda の新しい Hypervisor である Firecracker について森田が話します。 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 Pixe
KVM など Linux の仮想化技術について森田が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 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 v
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) Scheduli
最近 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
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というのが
OCaml で書かれた LibraryOS Unikernels/MirageOS に関する論文 “Unikernels: Library Operating Systems for the Cloud” を森田が紹介します。 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 hyperviso
GraphQLを分析した論文 “Semantics and Complexity of GraphQL” を向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 Semantics and Complexity of GraphQL GraphQL the morning paper / Semantics and Complexy of GraphQL NL-complete (日本語) Correction エピソード内でクエリ結果のサイズ評価について議論していますが、論文をちらっと読んだかんじでは向井さんの主張が正しそうです。自分はなんとなくスキーマの ER 図みたいのを想像しながら話を聞いていましたが、この人のいうグラフはオブジェクトDBみたいなグラフで、何かを評価する際にスキーマなどはおまけみたいなも
Episode 13 の雑談で “PyTorch は Chainer のフォークである” というニュース記事の主張について議論しましたが、その後調べ直したところいくつか森田の勘違いがあったので現状の理解を改めて書いておきます。 まず PyTorch のソースコードや Git レポジトリの log を見るかぎり, ライセンスやコメント、コミットログや明らかなコードの重複など、はっきりとしたフォークの証拠はありません。(API の模倣については当事者による論文のドラフトなど何箇所かで言及されています。) ウェブを検索してみると、以下のツイートが証言としてリンクされていました。 James Bradbury on Twitter: “Yep, the PyTorch autograd codebase started with a fork from Chainer — but then rew
Jupyter Notebook の利用実態を調査した “The Story in the Notebook: Exploratory Data Science using a Literate Programming Tool” と “Exploration and Explanation in Computational Notebooks” を森田が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 The Story in the Notebook: Exploratory Data Science using a Literate Programming Tool Exploration and Explanation in Computational Notebooks Good enough prac
森田が紹介するのは CPU をアジャイルの流儀で開発しようと主張する An Agile Approach to Building RISC-V Microprocessors, 向井が紹介するのは Go の次世代バージョン管理システムのデザインを解説した Go & Versioning です。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 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
森田が紹介するのは新入社員が職場に慣れて活躍するまでの苦労について調べた 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 などにお寄せください。 Ramp-up Journey of New Hires: Tug of War of Aids and Im
森田が紹介するのは deep learning 向けの DST と JIT コンパイラ Tensor Comprensions. 向井が紹介するのはプログラミング言語 Rust のメモリ安全性に関する形式的証明に挑む Rust Belt です。 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 learn
このページを最初にブックマークしてみませんか?
『Misreading Chat』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く