大規模データ更新・削除を“安全に分割実行”するための汎用ツール | メルカリエンジニアリング
DBRE (DataBase Reliability Engineering)チームの taka-h です。 大規模なデータ更新や削除は、やりたいこと自体はSQLで表現できても、そのまま一度に実行すると運用上のリスクが高くなります。例えば大きなトランザクションが発生すると、レプリケーション遅延やDB負荷の増大、UNDOログの肥大化などにつながり、結果としてサービス影響を招く可能性があります。 そこで私たちは、UPDATE/DELETEのような「最終的にやりたい操作」をSQLに近い形で記述しつつ、実行時には安全な単位に分割して処理できる汎用ツールを実装しました。さらに、実行中に処理速度などの設定を変更できることや、監視結果に応じて自動で一時停止できることなど、実運用で必要になる制御も組み込んでいます。 本記事では、なぜこの問題が起きるのか、従来どのように回避してきたのか、そして今回のツールが
まずはプロポーザルを出す。考えるのは受かってから。関数型まつり登壇学生・ライガーさんのハードルの捉え方
まずはプロポーザルを出す。考えるのは受かってから。関数型まつり登壇学生・ライガーさんのハードルの捉え方 今回は、先日開催された関数型まつり2026の登壇者ライガー(@ahoxa1rx)さんにお話をお伺いしました！なんと、当日知ったのですが、現役の大学生です。 記念すべき初登壇の25分で経験したこと、そこから持ち帰ったものを語っていただきました。登壇は、まだ遠い世界の話に聞こえる方も、ライガーさんの言葉を辿っていけば、自分が思っているより、その距離は案外身近に感じられるかもしれませんよ。 「行ってみたい」と思っていた関数型まつり。登壇できたらもっと面白いかも、という好奇心がはじめの一歩に。カンファレンスでの登壇は今回が初めてですが、カンファレンス自体には、インターン先の協賛がきっかけで参加し始めて、今では年に数回足を運んでいます。その中で、発信することはすごく大事なことだなと感じるようになり
Chromium(V8)のArray.prototype.copyWithinを最大約450倍高速化した
ダイニーで一番若いエンジニアのriya amemiya(21歳)です。 これまで Array.prototype.flat を2回にわたって高速化してきましたが、今回は Array.prototype.copyWithin（以下 copyWithin）を最大約450倍高速化しました。 「copyWithinって何だっけ」となった方も多いはずです。ES2015から実はあります。 JS大改革のES6に実は入ってるメソッドなんですよね。flat や includes のようなメジャーなメソッドと比べると、影の薄いメソッドですが、配列の一部を配列内の他の場所にシャローコピーする処理を高速に行えるメソッドです。 元々パフォーマンスが高いメソッドではありましたが、一工夫するだけで大きくパフォーマンスを改善できたので、記事にまとめました。 パッチはこちらです。 TL;DR 従来は1要素ずつ HasPro
Webサービスの終わらせ方
作るより消すほうが大変 Webサービスは、作るときより終わらせるときのほうが面倒です。 少なくとも私はそうでした。 作り始めたころは、 「Cloudflare Workers便利！」 「Supabase最高！」 「決済もSaaSでいける！」 「AIも載せちゃおう！」 「監視も入れとくか！」 と、現代Web開発の恩恵を浴びながら、楽しそうに外部サービスを増やしていました。 数か月後。 サービスを閉じることになった私は、それらの管理画面を一つずつ巡回しながら、 「全部俺が登録したんだった」 という当たり前の事実に直面することになります。 Webサービスの終了は、サーバーを停止すれば終わりではありません。 新規登録を止める。 課金を止める。 書き込みを止める。 ユーザーに通知する。 個人データを消す。 Webhookを止める。 APIキーを殺す。 DNSを消す。 リポジトリを片付ける。 サービス
LLM生成によるとみられる多数の虚偽CVE登録についてまとめてみた - piyolog
GitHubアカウントprogrammervulnが投稿した虚偽の脆弱性アドバイザリのうち、SQLiteを対象とする複数件が2026年7月27日にCVEレコードとして公開され、NVDやGitHub Advisory Databaseなどが取り込みました。セキュリティ企業は、これらが技術的に成立しない虚偽のアドバイザリだとする検証結果を公表し、CVEレコードの発行主体であるMITREは7月31日に該当レコードを却下しました。ここでは関連する情報をまとめます。 虚偽アドバイザリがSQLiteの重大な脆弱性として拡散 GitHubアカウントprogrammervulnは、リポジトリ「cveadvisory-」で脆弱性アドバイザリを投稿していた。2026年8月12日時点で、CVE番号のディレクトリは55件(CVE-2026-51229〜51304の範囲)、コミット数は93に及ぶ(出典: 13)。
Claude がテキストに電子透かしを入れ始めたので、LLM ウォーターマーキングの仕組みを調べた
この例では、確率2位の dog が、たまたま高い乱数 r = 0.95 を引いたおかげで勝っています。とはいえ p_i が大きいほど指数 1/p_i が小さく r_i^{1/p_i} は 1 に近づくので、基本的には確率の高い候補ほど勝ちやすい競争です。そして、この選び方でトークン i が勝つ確率は元の p_i に厳密に一致することが、Gumbel-Max トリックとして知られる古典的な性質から従います。乱数でくじ引きする代わりに「乱数を使った決定的な最大値選び」をしているだけなので、外から観察できる振る舞いは通常のサンプリングと区別がつかないわけです。 では、分布が同じなのにどうやって検出するのでしょうか。着眼点は、透かし入りテキストの各単語が「高い r_i を引いたから勝った」勝者の集まりだという点です。 人間が書いた文章に同じ計算を適用すると、各単語に割り当たる r は書き手と無関係
関数型まつりの当日スタッフをやってみて、コミュニティイベントでは「余裕」が大事だと感じた｜草場友光
はじめにこの夏、関数型まつりの当日スタッフをやらせてもらいました。これまで、コミュニティイベントのスタッフといえば、AOAI Dev Day 2025 のコアスタッフや、規模は小さいもののエンジニアニメ劇場版の準備・運営の経験がありました。 また、主催イベントしては.NETラボ勉強会を毎月やっています。そこでは、登壇者集め、開催場所の確保、配信、当日の運営、懇親会などすべてにおいてかかわっています。 そのなかで、今回の関数型まつりは、これまでの経験と比較して「設計の良さ」や「人の配置の余裕」が特に印象に残りました。大きなトラブルがなく、参加者の皆さんとスタッフが一緒にイベントを作っていけたのは、単に運営者の頑張りだけではなく、イベントの土台がよくできていたからだと感じています。 今回は、関数型まつりで特に良かったと思った点を、これまでのスタッフ経験と比べながら書きます。 背景 / なぜこの
証明付きバイブコーディングで証明支援系を作った - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? この記事は株式会社proof ninjaの助成を受けて書いています． TL;DR Codexバイブコーディングで証明支援系を作った． その際，論理のコアの部分はRocq(旧Coq)で実装させ，「この自作証明支援系で証明可能な命題はRocqでも証明可能」をRocqで示し，OCamlにextractした． はじめに Codexに証明支援系 ZFCert を作らせてみました．Web上のチュートリアルもちょっとだけ作りました． VS Code や Emacs でも動かせます．コードはこちら． (なお，この文章は人の手で書いています．) どんな証
GitHub - cathrynlavery/diagram-design: Thirteen editorial diagram types for Claude Code. Self-contained HTML + SVG. No shadows, no Mermaid-slop.
Editorial diagrams your designer won't hate. 14 types. One Claude Code skill. Your brand in 60 seconds — the skill reads your website and maps colors + fonts to every diagram. No Figma. No generic rounded boxes. No 30-minute color-picking sessions. I write at littlemight.com (and run BestSelf.co on the side). Every time I needed a diagram — an architecture sketch, a flowchart, a pyramid of what ma
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
