MetricKitで予期せぬ終了を検知する話 / Detect unexpected termination with MetricKit

デザインパターンライブラリを作った JSRの話だけ読みたい人は読み飛ばしてもOKです。 JavaScriptのtry-catchはC++の影響を受けており、以下の特徴があります。 (A) throwは大域脱出的である。 (B) try-catchはブロック内の全ての例外副作用に対して一括で作用する。 (C) try-catchは文であり、値を返せない。 (D) TypeScriptにおいて、例外型は明示されない。 このうち (B), (C), (D) の問題を解決するため、RustのResultや類似のパラダイムをJSに輸入する試みがしばしば行われています。しかしこの解決手段にはいくつかの問題があり、 (E) rethrowの専用構文がないためボイラープレートが増える。 (F) 出力ストリームに対するwriteなど、戻り値を持たない副作用関数に対するエラーハンドリングが抜け落ちないようにL

はじめに 初めまして！ソーシャル経済メディア「NewsPicks」SREチーム・新卒エンジニアの樋渡です。今回は「AWS Security Hub」と「Slack」を用いて、弊社で利用しているAWSリソースの監視運用を効率化したお話です。 お話の内容 年々増加するサイバー攻撃に対抗するため、セキュリティ対策は日々重要度が増してきています。 そこで弊社で利用しているAWSのリソースに対して、各種セキュリティイベントの収集ができるAWS Security Hubを利用することで、セキュリティ状態の可視化と迅速な対応がしやすい運用を行い、セキュリティ状態の現状把握から始めることにしました。特にNIST CSFの「検知」部分の運用について整備した内容となっています。 NIST Cyber Security Frameworkについて 皆さん、「NIST Cyber Security Framewo

東京Node学園 42時限目の App Router Panel Talkです。

焼肉に寿司、ラーメンにパスタなど、飽食の時代と言われて久しい現代日本では、あらゆるものが好きな時に食べられる。 しかし、選択肢が無限にあるにもかかわらず、15年間フルーツのみを食べて生活している人物がいる。フルーツ研究家の中野瑞樹氏だ。一体なぜそんな生活を始めたのか、体にどんな変化があったのか、本人を直撃した。 ――2009年から約15年にわたって、ほぼフルーツしか食べていないそうですが、具体的にはどんな食生活なのですか？ 中野瑞樹氏（以下、中野）：肉や魚はもちろん食べていません。豆や芋、米やパンなどの穀物も野菜も食べていません。水やお茶も全く飲んでおらず、水分の補給もフルーツからのみですね。 ――フルーツ以外は全く食べていないということですか？ 中野：最初は本当にフルーツだけでした。でも、初めて1か月程で、体がものすごく塩分を欲するようになって塩を舐めはじめました。また、果実野菜（キュウ

もうかなり前の話だ。 ある会社で、「会社案内・パンフレットのリニューアルをする」と言うプロジェクトが持ち上がった。 社長は一人の人物をプロジェクトマネジャーとして任命し、予算を付け、 「後はよろしく」 と、仕事をまかせた。 ところが半年後、ようやく社長は気づいた。 全くプロジェクトが進んでいないことに。 「どうなっているのか」とプロジェクトマネジャーを問い詰めたところ、彼は外注に丸投げしたまま、何もしていなかった。 外注側も、仕様が固まらず、プロジェクトは完全にスタックしていた。 社長は彼に話を聞いたが、彼は「外注から返事が無くて」の一点張り。そこで、社長は彼に要求した。「資料を出せ」と。 ところが彼は「出せない」という。 何か隠しているのではないか、おかしいのでは、ということで、皆でメールのやり取りや資料などを調べると、実質、彼が事実上、「外注に依頼をし、あとは本当に何もしていない」こと

こんにちは、Mackerel チーム SRE の id:heleeen です。 この記事は、はてなの SRE が毎月交代で書いている SRE 連載の4月号で、先月分は id:taxintt さんのサービスの一般公開前からSLI/SLOと向き合うです。 今回は、先日 Mackerel チームで行った障害対応演習で実施した内容と、どのような学びを得たかについて紹介します。 本番障害はできればなくしたいものですが、すべての障害を完全になくし可用性を100%にするのはとても困難です。そのため、障害が発生したときの影響範囲を小さくする仕組みを導入したり、ロールバックを素早く行えるようにしておくなど、影響を抑えるための取り組みが必要になります。 Mackerel では、その一環として、障害対応時のオペレーションの確認やバックアップからの復旧が行えるかの検証などの起きてしまった障害を素早く収束させたり、

この記事では、SDPFクラウド/サーバで提供しているファイアウォールサービスについて、数週間かかっていたコントローラのテストを一新し、開発効率/品質向上に繋がった事例を紹介します。 目次 目次 はじめに ファイアウォール サービスとは テストにおける課題 問題1: テスト時間が長い 問題2: テストツールのEOL テスト環境の一新 問題の調査と整理 外部サービスのmock化 apiごとのテスト実装 CIの導入 テスト環境を一新して さいごに はじめに みなさん、こんにちは。 現在、SDPFクラウド/サーバで提供しているファイアウォール/ロードバランサーのサービス開発業務に携わっています、片貝です。 この記事では、数週間かかっていたファイアウォールサービスのテストを一新し、開発効率/品質向上に繋がった事例を紹介させていただきます。 ファイアウォール サービスとは ファイアウォールサービスでは

焼肉に寿司、ラーメンにパスタなど、飽食の時代と言われて久しい現代日本では、あらゆるものが好きな時に食べられる。 しかし、選択肢が無限にあるにもかかわらず、15年間フルーツのみを食べて生活している人物がいる。フルーツ研究家の中野瑞樹氏だ。一体なぜそんな生活を始めたのか、体にどんな変化があったのか、本人を直撃した。 水も飲まない驚きの食生活。野菜やナッツはたまに食べる――2009年から約15年にわたって、ほぼフルーツしか食べていないそうですが、具体的にはどんな食生活なのですか？ 中野瑞樹氏（以下、中野）：肉や魚はもちろん食べていません。豆や芋、米やパンなどの穀物も野菜も食べていません。水やお茶も全く飲んでおらず、水分の補給もフルーツからのみですね。 ――フルーツ以外は全く食べていないということですか？ 中野：最初は本当にフルーツだけでした。でも、初めて1か月程で、体がものすごく塩分を欲するよう

TDDを実践する中で身につけた「設計に関するスキル」があるなぁと思ったのでメモを残しておくことにする。TDDをやるときのスキルではなく設計をするときのスキル。 染み込んでいる TDDは以前に書いたように（ってもう7年も前か・・・）あんまり使わなくなっている。でも心の中にある。ウェブアプリケーションエンジニアとしての自分にとても大きな影響を与えている。 bufferings.hatenablog.com TDDから学んだ設計に関するスキル 3つ思い浮かんだ まずは動くものを作る 必要な分だけ作る 「ありえない」の処理を考える 注意 ウェブアプリケーションを書くときのことを考えながら書いている。ライブラリやフレームワークのようないろんなユーザーから利用されるものは、今回の話の対象ではない。 1. まずは動くものを作る TDDで実装を書くときは「キレイじゃなくてもいいからテストがグリーンになる（

JR東日本による新しいデジタル銀行サービス「JRE BANK」がいよいよ5月からスタートする。JRE BANKは銀行サービスを楽天銀行が代理し、JR東日本のブランド名で提供する形で5月から始動する。 【画像】「運賃4割引き」「グリーン券 年4枚」公式Webサイトが説明するJRE BANKの特典 JRE BANKの特徴は、JR東日本の駅にあるATMから手数料無料で何度でも現金を引き出すこと。が可能だ。Suicaなど既存のサービスとの連携も強化している。JRE BANKは鉄道経済圏と金融の融合を進め、顧客にとってより便利でお得なサービスを展開しようとしている様子がうかがえる。 運賃4割引きチケット、最大6060円相当のグリーン券……破格の特典を用意　話題を集めているのは、鉄道料金の割り引きや充実したポイントプログラムだ。JRE BANK口座をビューカードの引き落とし口座に設定したうえで、預金残

米カリフォルニア大学サンディエゴ校に所属する研究者らが発表した論文「Taking ASCII Drawings Seriously: How Programmers Diagram Code」は、ソースコード内で使用するアスキーアート（ASCII art）を収集し分析した研究報告である。 ▲ソースコード内で活用されたアスキーアートの一例 keyboard_arrow_down 研究背景 keyboard_arrow_down 研究内容 オープンソースのソフトウェア開発では、プログラマーがコードの中にアスキーアートを使って図を描き、アイデアを視覚的に表現することがよくある。アスキーアートはコードや自然言語では表現しにくい概念を視覚的に明快に説明でき、またコードよりも詳細度は低いものの、コードを理解するうえで「サムネイル」のような役割を果たす。 こうしたアスキーアートは、実際のソフトウェア開発

「ビットキー知ってます！〇〇カンファレンスにスポンサーされてましたよね！」 「この前ビットキーの方が登壇してるのみました！」 「あー、あのスマートロックのとこ！」 初めまして！株式会社ビットキーで技術広報活動を担当しているパウリです！ 一昨年あたりからビットキーは技術広報活動に力を入れており、私が参画した2023年5月からさらにその活動量は増加しました。 その結果として、ありがたいことにスカウト返信や面談の際に、冒頭のような反応をいただけるようになってきました😊 本記事では事業会社において、技術広報活動の中で重要だと思った 「空振りをし続けること」 についてまとめてみました。 はじめに いかに自社の技術力が優れていても、適切な広報が伴わなければその価値を知ってもらうことは難しいでしょう。 ここで重要な役割を果たすのが 技術広報活動 です。 技術広報は、ただ製品を宣伝するだけではなく、エン

国内飲料メーカーによるオレンジジュース商品の販売休止が相次いでいる。主産国での減産などで世界的にオレンジ果汁が不足し、価格も高騰しているためだ。国内で流通する果汁のうち約９割が輸入品と推計され、絶対量が足りていない。事態の収束が見通せない中、国産果汁の確保に動く国内メーカーも出始めている。 森永乳業は２５日、オレンジジュース商品「サンキスト　１００％オレンジ」（２００ミリリットル）の販売を果汁原料がなくなり次第、休止すると発表した。 雪印メグミルクは「Ｄｏｌｅ　オレンジ　１００％」について、２００ミリリットルを除く１０００ミリリットル、４５０ミリリットルの販売を２０２３年４月上旬から休止している。アサヒ飲料も、「バヤリース　オレンジ」（１・５リットルペットボトル）の販売を２３年１２月１日出荷分から販売休止し、販売再開の見通しは立っていない。 背景にあるのが、世界的な果汁不足と価格高騰だ。主

Update AWS started investigating the issue: https://twitter.com/jeffbarr/status/1785386554372042890 Imagine you create an empty, private AWS S3 bucket in a region of your preference. What will your AWS bill be the next morning? A few weeks ago, I began working on a PoC of a document indexing system for my client. I created a single S3 bucket in the eu-west-1 region and uploaded some files there fo

DPE(Developer Productivity Engineering)ユニットに所属している、alpaca-tcです。 最近モジュラーモノリス化を進めるためにRuby動的解析ツールを作ったので、その話をします。 📝 私事ですが、新潟の佐渡島に移住しました。新潟や佐渡島のRubyistの方がいらっしゃいましたら、ぜひRubyKaigiでお友達になってください！ SmartHRではRailsのモジュラーモノリス化を検討をしているよ Railsにおける「モジュラーモノリス」は、アプリケーションを拡張性のある構造にするために、単一プロセスでモノリスアプリケーションを区分されたサブセット(モジュール)に分割するアーキテクチャのことです。 SmartHRでは、コード量が多いプロダクトでモジュラーモノリス化を進めています。 すでに新規機能の開発では導入されていますが、既存コードのモジュラーモノ

本記事では、「Adaptive-RAG」についてざっくり理解します。軽めの記事です。 株式会社ナレッジセンスでは普段の業務で、生成AIやRAGシステムを活用したサービスを開発しています。 この記事は何 この記事は、Adaptive系で現在、最も「コスパ」が良いとされる「Adaptive-RAG」の論文[1]について、日本語で簡単にまとめたものです。 今回も「そもそもRAGとは？」については、知っている前提で進みます。確認する場合は以下の記事もご参考下さい。 本題 ざっくりサマリー RAGの回答精度を高めるための手法です。韓国科学技術院（KAIST）の研究者らによって2024年3月に提案されました。「Adaptive-RAG」という手法を使うメリットは、ユーザーからの入力としてシンプルな質問・複雑な質問、どちらも想定される場合に、「そこまで遅くなりすぎずに、ある程度の回答精度がでる」という点

この間、友人何人かとお花見をした。 友人の中には旦那さんや子どもと一緒に来ている子もいて、致死量の幸せを浴びたらいまの私はどうなってしまうのだろうかと少し不安だったけれど、存外楽しく過ごして帰ってきた。 久しぶりに会う子もたくさんいたので、いま言うのはなんだかな、と思い夫が他界したことは言わずに過ごした。夫の話を少し振られた時もうまく返せたと思う。 場の空気のために言わなかったような書き方だけど、まだ自分で説明することができる状態ではないのだ、というのが正しい。きっと話しながらぐしゃぐしゃに泣いてしまうし、たくさんの憐憫を浴びることも嫌だ。悲しみは、まだ私の中だけにあって外に出すことができない。このまま私だけの悲しみを捏ね続けて、発酵させて、栄養になることもなく、どうすれば良いんだろう。 ところでいろんな友人の配偶者を見るたびに、素敵な人だけど私は私の夫が一番良いなと思うよ。私はやっぱり夫

2023年8月からX（旧Twitter）にて、元杏林大学保健学部准教授の平岡厚さんと対話を続けています。平岡さんは「HPVワクチンの深刻な副反応・薬害としての自己免疫性脳症が、相当規模で存在していると推測」しておられます。具体的にはワクチン接種者の「数千人に1人」が「POTS, CRPS, ME/CFS, 繊維筋痛症などの症状が入れかわり立ちかわり現れ、認知障害なども絡む」症状を呈するとしています。 平岡さんの主張の一つに、「接種を受けると副反応が出やすい素因」を持つ人をワクチン接種対象から外すことで問題解決が可能になるというものがあります。 →接種を受けると副反応が出やすい素因を持つ人がいることが分かるので、そういう人を接種対象から外す方向で、問題解決が可能になるのではと思います。私は、「HPVワクチンを接種すると重篤な副反応が出やすい素因を持つ人が接種を受けたことに起因する現象が起きて

「Kubernetesは難しい」と感じている方におすすめの入門書『つくって、壊して、直して学ぶ Kubernetes入門』（翔泳社）。今回は本書から、実践的な知識を習得する第一歩として、Kubernetesの基礎の基礎であるPodの作り方を解説します。また、本書でどんなことが学べるのかも紹介します。 本記事は『つくって、壊して、直して学ぶ Kubernetes入門』（高橋あおい著、五十嵐綾監修）の「Chapter 3　全体像の説明」と「Chapter 4　アプリケーションをKubernetesクラスタ上につくる」から一部を抜粋したものです。掲載にあたって編集しています。 本書での学習の流れ 本書では3つのパートに分かれています。 ●Part 1：基礎的な知識と環境構築を行います。 ●Part 2：一番ページ数も多く、Kubernetesを扱ううえで大事なことを詰め込んだパートになります。本

恐るべし、の発想…！ワイヤレスを片方だけ落とし、数学を使って場所を特定した18歳の現役のエピソードが、SNS上で注目を集めている。Bluetooth機能を活用しながら、「三角形の外心の性質」という高校数学で習う知識を基に、10分ほどで場所を導き出したとという。「脳汁が止まらなかった」という方法とは。 「三角形の外心の性質」を活用東大理科一類1年で、X名・なんじゃこりゃてゃさん（@nenerushimo1919）。中学3年の時に買ってもらった数学の雑誌を読んでから数学が好きになり、授業のスピードを逸脱して高校範囲まで勉強を進めていた。「もともと理系科目が好きですが、数学は他の科学よりも自由度において優れていると思っています」と話す。 は4月末、東大の駒場キャンパスで落としたという。紛失に気付いたのは約30分後。「諦めかけていたんですが、落ち着いてBluetoothをONにして、来た道を辿って

TypeScript の型システムを活用して、本番のアプリケーションにおける実用的な問題を解決することを目指しています。Effect-TS は、以下のような特徴を備えています。 並行性（concurrency）：Fiber ベースの並行モデルにより、高いスケーラビリティと低レイテンシを実現 コンポーザビリティ（composability）：小さく再利用可能なパーツを組み合わせることで、メンテナンス性、可読性、柔軟性の高いソフトウェアを構築する リソースの安全な管理（resource-safety）：処理が失敗したとしても、安全にリソースを開放する 型安全性（type-safety）：TypeScript の型システムを活用した型推論と型安全性に焦点を当てている エラー処理（error handling）：構造化された信頼性の高い方法でエラーを処理する 非同期性（asynchronicity

彼女に振られたので久々に街コンにいってきたおっさんの話 テーブルぐるぐるまわって最後に投票した人とマッチングするふっつーの形式の街コン 気づいたこと意外と人多い前回行ったのがコロナのちょっと前位だったがその時と比べて人が倍位に多かった コロナ明けで婚期逃したアラサーが多いのかな 何話せばいいのかわからんプロフィール見ながら会社の面接みたいなトークになりがち 色々話してくれる相手だと話を広げやすいがYes or Noの相手はほんとに面接状態 コミュ症多すぎ上で書いた通り俺もひどいもんだったが 他のテーブル見てみるとどちらも何もしゃべらずスマホとにらめっこしてたテーブルぼちぼちあった 女側は俺とは普通に喋っていたので男側がリードできてないけど女もリードされないとしゃべれないってことよな トークの盛り上がりは関係ない↑で見た何もしゃべってないテーブルの一つがマッチングしてた やる前からすでに誰に

絶賛成長期にあるだろう若手エンジニアは、どういう流れで自身の成長を促したら良いのだろうか、とふと思いつつ口頭で説明してみたけどよくわからんくなったので整理してみたいお気持ちです。 当ブログではアウトプットの効用みたいなものは書いてきましたが、インプットそのものについてはお初なので、自身を振り返る良い機会にもなりそうです。 はじめに これは私が二十数年間、プログラマー・インフラ・SRE といったエンジニアとして通ってきた中で、どのようにインプットをしてきたかを整理してみるチラ裏です。 自分は一般(?)と比べれば少々特殊な経歴で、情報学を学んだことも、新卒研修を受けたことも、IT系資格も、転職したこともない…… ほぼ独学による野良エンジニアとして生息してきましたので、あまり参考にはならないかもしれません。 それでも一応長く生き抜いてきたエンジニアの経験として、インターネットに数多くある参考例の

恐るべし、の発想…！ワイヤレスを片方だけ落とし、数学を使って場所を特定した18歳の現役のエピソードが、SNS上で注目を集めている。Bluetooth機能を活用しながら、「三角形の外心の性質」という高校数学で習う知識を基に、10分ほどで場所を導き出したとという。「脳汁が止まらなかった」という方法とは。 「三角形の外心の性質」を活用東大理科一類1年で、X名・なんじゃこりゃてゃさん（@nenerushimo1919）。中学3年の時に買ってもらった数学の雑誌を読んでから数学が好きになり、授業のスピードを逸脱して高校範囲まで勉強を進めていた。「もともと理系科目が好きですが、数学は他の科学よりも自由度において優れていると思っています」と話す。 は4月末、東大の駒場キャンパスで落としたという。紛失に気付いたのは約30分後。「諦めかけていたんですが、落ち着いてBluetoothをONにして、来た道を辿って

「ビジネスではスピードが肝心」の落とし穴 ときに「行動あるのみ」という言い回しで表される、行動へのバイアス（実行重視の姿勢）は、ビジネス界では一般的であり、必要とされている。 時間の浪費はたしかに危険を招く。「ビジネスではスピードが肝心だ」と、ジェフ・ベゾスはアマゾンの有名なリーダーシップ原則に書いている。「多くの意思決定や行動はやり直すことができるから、大がかりな検討を必要としない。計算した上でリスクを取ることには価値がある」 ただし、ここで注意したいのは、ベゾスが実行重視の対象を、やり直すことができる「可逆的」な意思決定に周到に限定していることだ。この種の意思決定で時間を無駄にしすぎるな、とベゾスは諭す。何かを試してみよう。うまくいかなかったら、やり直したり、別の何かを試したりすればいい、と。 これはまったくもって筋の通った考え方だが、大型プロジェクトの決定の大半には適さない。なぜなら

情報モラル教育教材「SNSノート（情報モラル編）」を 全国の学校での授業活用を目的に開発、無償提供 2018.09.26 その他の取り組み 情報モラル教育 お知らせ ※本取り組みは現在、LINE株式会社から一般財団法人LINEみらい財団に移管しています。 LINE株式会社は、2020年度以降の新学習指導要領の全面実施に向け、全国の地域や学校で、児童・生徒が発達段階に応じて体系的に情報モラルを学習できるように、新教材「SNSノート（情報モラル編）」を開発し、無償で提供いたします。 本教材は、東京都教育委員会とLINEで共同開発した「SNS東京ノート」（※１）のエッセンスを取り入れました。東京都内の16校の教員と児童・生徒に実施した「SNS東京ノート」の効果測定（※２）では、教員の85％が「情報モラル教育として適切である」、74％が「授業で使いやすい教材である」と評価。小学生～中学生の80％以

GitHub、「Copilot Workspace」テクニカルプレビューを開始。ほとんど全ての開発工程をAIで自動化 テクニカルプレビューは上記のCopilot Workspaceのページからウェイトリストボタンをクリックして申し込みます。 Copilot Workspaceはほとんど全ての工程を自動化 Copilot Workspaceは、自然言語で書かれたIssue（課題）を基に、Copilotが仕様案と実装計画を示し、コーディングや既存のコードの修正を行い、ビルドをしてエラーがあればデバッグも行うという、プログラミングのほとんど全ての工程をCopilotが自動的に実行してくれる、というものです。 人間は各工程でCopilotから示される内容を必要に応じて修正するか、そのまま見守ることになります。 GitHub CEOのThomas Dohmke（トーマス・ドムケ）氏は、Copilot

はじめまして。2023年2月に入社したQAエンジニアの大出です。 前職はフリマアプリを開発する会社で約8年QAエンジニアとして働いていて、TalentXで初めてtoBのサービスのQA業務を行うことになりました。 入社前の状況 やったこと 新規開発の検証 テストプロセス改善 テスト計画の作成 ドキュメントの整理 バグチケットの整理 ドッグフーディング 採用 まだやれてないこと 終わりに TalentXは2015年にMyReferというサービスをリリースして以来、2023年2月に自分が入社するまで社内にソフトウェアテストを専門に行うメンバーは在籍しておらず、開発エンジニアが自分達で全てテストを行っていました。 そういう状況で私が入社してから約1年間でやってきたことを振り返りたいと思います。 TalentXの開発に興味がある人や、ソフトウェアテストを専門に行うメンバーが居ない会社でこれからQAエ

はじめに 初めまして！京都大学理学部3年の田本と申します。 去年の5月にプログラミングを学び始め、そろそろ1年が経とうとしています。 これまでの総括と自己紹介を兼ねて、プログラミングを1年間本気で学んでできたことをここでアウトプットしていこうと思います。 この記事を読んで、プログラミングに少しでも興味を持つ人が増えれば幸いです。 きっかけ 僕は大学2年までは決して優秀な学生とは言えませんでした。 大学へは平均週2コマ程度しか出席せず、期末テストのみ受けて取れる単位を取り、それ以外の時間はほとんどゲームに費やしていました。 そんな中、ゲームで知り合った元エンジニア・経営者の溝口さんという方に「プログラミングやってみない？」とTwitterのDMで誘われたことがきっかけで、プログラミングを勉強することになります。 溝口さんは以前にもいくつか会社を経営しており、簡単に言うと20代で10億稼いだめ

I will write an English version later to give back to the moonbit community. Addition: https://gist.github.com/mizchi/aef3fa9977c8832148b00145a1d20f4b この記事はリバースエンジニアリングを含んでいる。公式の Discord サーバーで質問して得られた内容を含むが、ここに書かれたものは自分の理解であって、公式の見解ではない。 前の紹介記事では煽り気味だったので、実際に調べながら書いてみてどう感じているかという実践的な話をする。 作者と開発組織 開発母体は深センの研究組織 IDEA 元 Meta で BuckleScript | ReScript を開発していた Hongbo Zhang 氏がチーフアーキテクト。 ReScript を知らない人の