Yomikai

今回は競技プログラミングサイトのAtCoderが公開した障害報告書について。毎秒20万リクエストを超えるDDoS攻撃にどう対応するのか？大規模なジャッジシステムをどう構築するのか？障害報告書を通して、その舞台裏に迫ります。 【参考リンク】 AtCoder：競技プログラミングコンテストを開催する国内最大のサイト コンテストのunratedが連続してしまった問題についての報告と対応について （AtCoder） A System Design interview wit...

今回は作業配信です。様々な脆弱性が自然に盛り込まれたWebサイトBadTodoを使い、SQLインジェクションやクロスサイト・リクエスト・フォージェリ、クロスサイト・スクリプティングなどの攻撃手法を実際に試してみました。 なお、今回の配信は作業動画をYouTubeで公開しています。詳細なコマンドなども確認できるので、そちらも是非ご覧ください。 https://youtu.be/Da0iTHWBBes (0:13) BadTodoとは？ (4:59) SQLインジェクション (...

今回は以下の2つのトピックについて話しました。 1つ目 (0:13) はDeepMindがソートアルゴリズムを高速化した話について。次に実行すべきアセンブリ命令は何かを選ぶ”ゲーム”だと見立てることで、強化学習によるアルゴリズムの最適化を実現しました。 2つ目 (10:16) は新しく発売されるたまごっちがAWS上で動いているという話について。社会現象を巻き起こしたたまごっちの歴史や、AWSのアーキテクチャ図を見ながら雑談しました。...

今回は以下の2つのトピックについて話しました。 1つ目 (0:12)は3/8に発生したDatadogの大規模障害について。マルチリージョン・マルチクラウドで耐障害体制は万全だったはずなのに、なぜ全ての環境が同時にダウンしてしまったのでしょうか。原因はコンテナのベースOSイメージにありました。 2つ目 (17:55) は6/5に発表されたApple Vision Proについて。ついに発表されたAppleのMRヘッドセットをふまえ、ヘッドセットが当たり前に...

今回はゲーム配信です。SpaceTraders APIというオンラインゲームに挑戦しました。このゲームにはフロントが無く、APIのみが公開されており、それぞれのエンドポイントにHTTPリクエストを送ることで、宇宙船を購入したり、小惑星から資源を採掘、トレードしたりすることができます。 (0:13) SpaceTraders APIとは？ (3:14) ユーザー登録 (9:37) ファーストミッション (13:18) 船を買おう (17:56) 鉱石を掘ろう (23:30) マーケットで...

今回は、Dropboxが5/16に公開した テックブログ を題材に、HTTPの進化の歴史や、Webを支える様々な技術について話しました。 (0:30) Dropboxのブログ (5:25) HTTP/1.1からHTTP/2へ (13:28) HTTP/2からHTTP/3へ (24:42) Webを支える技術 【参考リンク】 Investigating the impact of HTTP3 on network latency for search (Dropbox) Pinterest is now on HTTP/3 進化するHTTPの歩み～ HTTP/1.1とHTTP/2をおさらいし、HTTP/3の基本を...

今回は雑談回です。英語ミーティングの苦労話や旅行の思い出について話しました。 (01:42) 英語ミーティングを乗り切るために身につけたバッドノウハウ (17:22) 英語の勉強やってる？ (24:16) ヨーロッパ旅行 (39:20) オースティンでの日々 (44:38) 行きたいところ (59:52) ホテルのサブスク（ HalH ）

今回は以下の2つのトピックについて話しました。 1つ目 (0:30) は、今話題のベクトル検索について。独自データに基づくAIチャットボットを作る際、ユーザーの入力をベクトル表現（Embedding）に変換して参考文書を検索することが一般的になっています。類似するベクトルを高次元空間で高速に検索するアルゴリズムや、それらを実装するベクトルDBについて紹介しました。 2つ目 (31:30) は、Prime Videoの内部ツールをモノリスで再実...

今回は以下の2つのトピックについて話しました。 1つ目 (0:15) は、4/21に公開されたEnvoyのドキュメンタリー動画について。マイクロサービスを支えるプロキシサービスであるEnvoyがオープンソースとして成長してきた過程が鮮やかに描かれています。なお、会話中に議論になったEnvoyとConsulの関係性については、サービスメッシュにおけるData PlaneとControl Planeである、と捉えると分かりやすそうです。詳しくは参考リンクまで...

今回は4/4にJR東日本が発表したSuica改札システムのサーバー移行を題材に、運賃計算をサーバーに移行した理由や、Suicaを実現しているNFC（Near Field Communication）の仕組みなどについて話しました。なお、前半部分はマイクの設定ミスにより音質が悪くなっています。陳謝。 【参考リンク】 新しい Suica 改札システムの導入開始について 「センターサーバ方式Suica」に関する疑問をJR東日本に聞いた ファラデーの電磁誘導の法則...

今回はVRをテーマにゆるく雑談しました。 VR空間におけるサウンドデザイン Appleが開発中のMRヘッドセット ヘッドセットの軽量化競争（ pico4 , Bigscreen Beyond ） くちばしでVR酔いを防ぐ？（ Eagle Flight ） 産業への応用（ Microsoft HoloLens ） 脳波に直接干渉する？（ Neuralink ）

今回は3/31にオープンソースとして公開されたTwitterの推薦アルゴリズムを題材に、オープンソースにした目的、アルゴリズムの概要、面白そうなモジュールなどについて話しました。 【参考リンク】 Twitter's Recommendation Algorithm （テックブログ） The Algorithm goes open source （Twitterスペース） GitHubレポジトリ（ the-algorithm , the-algorithm-ml ） データ指向アプリケーションデザイン 面白そうなモジュール...

今回は以下の2本の記事について話しました。 1本目 (0:15) は、GitHubのRSA SSHキーが流出したインシデントについて。対応策としてGitHubのSSHキーが更新されたため、ローカルのSSH known_hostsを新しい値に更新しないとGitHubにSSHできないという挙動が生じました。キーの流出により可能になるMan-in-the-Middle Attack (MITM)とは具体的になんなのか、MITMを普段のweb開発で活かす方法、などについて話しました。 2本目 (16:50)...

今回は以下の2本の記事について話しました。 1本目は3月22日に公開されたGitHub Copilot Xについて。 Pull Requestの執筆サポートや、エディタ内のチャット機能、また社内のコードを共有することへの懸念などについて話しました。 2本目はStackOverflowのアーキテクチャについて。エンジニアなら誰もがお世話になっている有名Q&Aサイトですが、実はたった9台のWebサーバーで毎月13億ものPVを捌いているそうです。アーキテクチ...

OpenAIが3月14日にリリースしたGPT-4を題材に、GPT-4の特徴や活用事例、大規模言語モデル（LLM）はエンジニアの仕事をどう変えるかなどについて話しました。 【参考リンク】 OpenAIのGPT-4に関するリリースノート（ 概要 、 ベンチマーク 、 YouTubeデモ ） Duolingo と Morgan Stanley の活用事例 Facebookが公開した大規模言語モデル LLaMA とその改造モデル Alpaca GPT Index によるLLMのカスタマイズ Codeforceのレーティング...

今回は以下の2本の記事について話しました。 1本目はUberが導入したログ圧縮アルゴリズムCLPについて。CLPはログデータ特有の繰り返し構造を活用するため、Gzipなどの汎用圧縮アルゴリズムに比べて圧縮率が高く、また圧縮した状態のまま検索することも可能です。 https://www.uber.com/en-JP/blog/reducing-logging-cost-by-two-orders-of-magnitude-using-clp/ 2本目は可聴域外の音波でAlexaなどの音声アシスタントを操る攻撃手法...

今回は以下の2本の記事について話しました。 1本目は「オブジェクト指向はコードを複雑に読みにくくする」というブログについて。行き過ぎたオブジェクト指向がコードの可読性に悪影響を与えることがあることについて、実体験を交えながら議論しました。 https://nowokay.hatenablog.com/entry/2023/02/24/213551 2本目は音声ファイルのノイズから撮影日時を推定する手法について。送電網がマイクと干渉して発生するバックグラウン...