[B! amazon] Nnwwwのブックマーク

The Amazon Builders' Library

【毎月更新・日本の AWS エンジニアがクラウド解説】初心者向け解説、最新のクラウドネイティブな開発手法・利用シーン別ハンズオンを学ぶ »

Nnwww 2019/12/06

リンク

AWSにおける形式手法 - masateruk’s blog

AWSにおける形式手法の記事︵https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf︶を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能であるアマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる以下は、読んでいる途中で書きだした要点。 AWSでは2011年以降形式仕様とモデル検査を使用している複雑な分散システムを検証するにあたって、従来の手法 ― 設計レビュー、コードレビュー、静的解析、ストレス

Nnwww 2018/10/28

レビュー、静的解析、フォルトインジェクションをすり抜けるバグに対処し、設計をデバッグするという思想を2014年に実践済みなの最高過ぎない？

リンク

Use of Formal Methods at Amazon Web Services

Nnwww 2018/10/28

リンク

アマゾン、店内で他社の価格をチェックしづらくする特許を取得

Amazonはネットショッピングだけでなく、実店舗での買い物に力を入れつつある。そのため、買い物客が来店中に競合他社から購入する行為を規制したいようだ。 Amazonは﹁実店舗または小売店舗内でのオンラインショッピングを管理﹂する技術の特許を取得した。この特許では、買い物客がAmazonの所有する店舗︵現段階ではAmazon Books、今後はWhole Foodsも対象となる見込み︶を訪れてAmazonが提供するWi-Fiを利用すると、閲覧はAmazonによって監視され、競合他社のウェブサイトへのアクセスがブロックされるという。しかし、皮肉にも、Amazonは何年も前からユーザーが他の店を簡単に実質的なショールームに変えられるようにしている。2010年には同社の買い物アプリにバーコードスキャン機能を導入し、それ以来スキャン技術を改善して、カメラを向けるだけで商品を特定できるようにした。

Nnwww 2017/06/19

うわ、これは完全にEvilだ…他者が真似しようとしたら特許ゴロできるという…

Amazon

リンク

Steve Yegge の Google とプラットフォームに関するぶっちゃけ話を訳した（前編）

Google エンジニアの Steve Yegge 氏、Google+ への懸念を漏らす http://japan.internet.com/busnews/20111013/8.html で記事になってたけど、原文とちょっと要旨が変わっちゃってサービスへの警鐘みたいになってしまってたので、全文訳してみた。くそ長い。お暇な方どうぞ。︵2011/10/19 08:14︶ありがたい誤訳の指摘をいただいたので3カ所修正。 Stevey の Google プラットフォームぶっちゃけ話僕は6年半ばかり Amazon にいて、今はそれと同じくらい Google にいる。この二つの会社について強く感じることは︵しかもその印象は日々強まるのだけれど︶、 Amazon は全てにおいて間違っていて、 Google は全てにおいて正しいということだ。そう、やりすぎな一般化だけど、驚くほど正確だと思う。いやも

Nnwww 2017/05/22

リンク

はてなブックマーク

タグ

関連タグで絞り込む (10)

amazonに関するNnwwwのブックマーク (5)

お知らせ

今週のはてなブックマーク数ランキング（2024年7月第2週）

はてなブックマーク透明性レポート（2024年 2月-2024年4月）

今週のはてなブックマーク数ランキング（2024年7月第1週）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス