https://xitter.cf/t.co/CQEM1M6dP7 https://xitter.cf/t.co/zDPoeodwZw 発言は個人の見解であり、所属組織を代表するものではありません

Joined September 2009
maru retweeted
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました! たぶん世界初です。 Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。 昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。 開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。 Nyxisは大部分がLean言語で記述されており、形式検証によって 「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」 という認可安全性定理を機械的に証明しています。 認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。 形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。 先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。 こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。 Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。 もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。 この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。 一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。 本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。 世界をセキュアにする一助になれば嬉しいです。 github.com/NyxFoundation/nyx…
16
388
130
2,575
285,068
2026年10月21日、PHPの脆弱性(通称「PHP2Shell」)への対策として、コドモンのサービスを日中に一時停止しました。 施設の先生方、保護者の皆さま、自治体や販売代理店の皆さまには、十分な事前のご案内ができないまま、長い時間にわたりご不便をおかけしたことを、深くお詫び申し上げます。 今回の対応について、当時の記録をもとに、サービス停止の判断から再開までの経緯を振り返る記事を公開しました。対応の中で生じた課題や、今後に向けた反省点も含めてまとめています。 同様の状況に直面する開発・運用担当者の皆さまにとって一助となれば幸いです。 tech.codmon.com/entry/2026/1…
12
511
196
1,981
333,949
Rubyの脆弱性出たんですね 正規表現エンジンに二重解放・整数オーバーフローの脆弱性が存在してて、攻撃者が細工した正規表現を処理すると、メモリ破損によるリモートコード実行の恐れがあるとのこと Regexp compilation fixes related to GitLab's CVE-2026-89078, CVE-2026-93577, CVE-2026-97229 and CVE-2026-110264 | Ruby ruby-lang.org/en/news/2026/1…
2
129
24
322
54,545
DistrolessのイメージはDebianが更新した最新の信頼可能なルート一覧になってるので、Distroless使ってる人はlatest取ってくればeMudhraの問題は一旦対応されてそう github.com/GoogleContainerTo…
1
4
1
18
3,015
Not just PHP. Node.js has also announced security releases for October 21, with HIGH-severity vulnerabilities affecting its 26.x, 24.x and 22.x release lines. If you run either stack in production, keep an eye on official advisories and apply patches promptly. Security maintenance doesn't stop at your application code. Your runtime matters too. Node.js advisory: nodejs.org/en/blog/vulnerabi…
188
4,082
1,162
11,878
2,304,929
maru retweeted
【緊急メンテナンスのお知らせ】 サービス安全性確保のため、以下の通り緊急メンテナンスを実施します。 10/21(水)19:00〜10/22(木)未明 期間中は新規ログインや商品の購入等を行うことができません。 ご不便をおかけし誠に申し訳ございません。 ※不正アクセス等に伴う対応ではございません。
17
10,244
549
21,692
2,116,650
【緊急メンテナンスの開始時刻変更のお知らせ】 10月21日(水)15:50現在、お客さまの情報とサービスの安全を守るための予防的な措置のため、メンテナンスの開始時刻を下記のとおり変更しました。 2026年10月21日(水)15:50 ~ 今回の緊急メンテナンスは、利用しているソフトウェアに重大な脆弱性が確認されたことを受けたものです。現時点で、本件に起因する不正アクセスや情報漏えいは確認されておりません。 このたびはメンテナンス時刻変更によりご不便をおかけしておりますこと重ねてお詫びいたします。
【緊急メンテナンスのお知らせ】 2026年10月21日(水)22:00 ~ 2026年10月22日(木)07:00(予定)において、サービスの緊急メンテナンスを実施いたします。 メンテナンス中はサービスのご利用ができません。 ご不便をおかけしてしまいお詫び申し上げます。
9
1,073
265
1,555
754,314
Anthropicは、Claudeを使ったAI支援開発でマージ数が急増したため、Gitでは追いつかなくなり、独自のソース管理システム「Scion」をゼロから作り、5ヶ月でモノレポを完全移行した ・2026年5月:1日あたり約2,500マージ ・2026年9月:1日あたり30,000以上(約10倍) これに伴いモノレポが肥大化し、メインブランチの履歴だけでほぼ100GB、CIだけで1日約2,500万回のチェックアウトに及ぶ Gitは「オフラインで完結する分散型」を前提に設計されているが、Anthropicの主なクライアント(AIエージェントやCI)は常時オンラインのため、「エージェント規模・常時オンライン前提で設計したらどうなるか」という発想でScionを作った GoogleのPiperやMetaのSaplingを参考にしつつ、Anthropicのワークロードに合わせて設計 主な考え方: 1. クライアントは常にオンライン 必要なデータをオンデマンドで取得。完全なローカルリポジトリは持たない。 2. クライアント・サーバーの非対称性 コミットやマージなどの重い処理はサーバー側で実行。クライアントはキャッシュだけを持つ。 3. 包括的なソース管理サービス
blameやdiffなどのクエリもAPI経由で提供。ローカルにリポジトリを置かなくても済む。 4. 水平スケーラビリティ
完全なリポジトリコピーをどこかに持たない。データは分散し、コンポーネントごとに独立してスケール。 5. 安価でインクリメンタルなロックフリーコミット
コミット・rebase・マージが変更の大きさに比例してスケール(リポジトリ全体のサイズに依存しない)。 6. オプションのスパースなワーキングコピー
そもそもチェックアウトを避けられる場合は避ける。必要なファイルだけを取得。 Scionは「大規模モノレポ+大量のAIエージェント」向けに特化したシステムで、一般的なGitの代替を目指したものではない。ただし、Git自体をよりエージェントフレンドリーにするための示唆(サーバー側スケーリング、RPC API、交渉プロトコルの改善など)は多く、GitHubやGitLab、OSSコミュニティと協力して進化させたい、というスタンス。 「AIがコードを大量に書く時代のソース管理は、人間中心のGitの延長では足りない」という問題意識から、常時オンライン・サーバー中心・インクリメンタルな新しいアーキテクチャを実際に作り、移行まで完了させた。 (Claudeの要約を調整) anthropic.com/engineering/re…
Anthropicの1日あたりのマージ件数 9月時点で30,401件は凄すぎる
7
91
23
431
56,218
Cloudflareが次のGitHubを作ろうとしてるみたいで、Git互換ストレージ「Artifacts」をオープンベータ化。 代替というより、複数のAIエージェントが同時並行でコードを書く世界を前提に。 エージェントごとにrepoをフォーク→変更をpush→別のエージェントがレビュー→マージ、までWorkersと組み合わせて自動化。 gihyo.jp/article/2026/10/clo…
4
97
18
572
47,674
#酒とキャリアとエンジニア 第4回公開しました!🎉 今回は @maruloop さんにインタビューさせていただきました!! あと、ボラギノール映像がちょびっと進化! 部長職を捨てて、英語だけのチームへ。"やらざるを得ない環境"に飛び込み続けるSREのキャリア(ゲスト:maru) youtu.be/U58_hnYlMYU
5
1
23
2,888
今週までとなっておりますので、何卒ご検討ください〜〜〜!!!!!🙏🙏🙏
🚀【SRE Kaigi 2027】スポンサー募集のお知らせ 🚀 SRE Kaigi 2027、スポンサー募集期間の終了日【2026年10月9日(金) 】に迫ってまいりました🏃‍♀️🏃‍♀️🏃‍♀️絶賛大募集中でございます!ご検討中の皆さまにおかれましてはぜひお早めのお申し込みをいただけますと幸いです。何卒よろしくお願いいたします🙇 すでにお申し込みいただきましたスポンサーの皆さま、誠にありがとうございます! #srekaigi xitter.cf/srekaigi/status/209788…
25
25
2,522
SRE-SWE Software Engineering プロファイル。ソフトウェア開発やプログラミングのバックグラウンドが強い候補者向けの分類でアルゴリズムやデータ構造、高レベルなソフトウェア/API設計の能力を重点的に評価していく。 SRE-SE(システムエンジニア) OS、ネットワーク、データベース、大規模分散システムの運用に強い候補者向けの分類。面接では非抽象的大規模システム設計(NALSD)が評価され、リアルな数値見積もりやアプリからハードウェアまで含めたトレードオフの思考力を評価する。 ただSEは違うイメージを持つので日本だとこの分類は難しそうな気はするw
1
3
2
22
3,791
私の最近の講演テーマの一つです
深く同意する "生成AI時代の学びでかなり危険なのはわかった気になるのがめちゃくちゃ簡単なこと。わかった気になっているかを確認する簡単な方法は、誰かに内容を説明してみること(ファインマンテクニック)" / AI時代の勉強法(2026) htn.to/3nHspXCNoW
4
231
27
1,363
124,979
採択されたので、発表準備頑張ります!
7
30
2,152
子供NISA、オルカンの信託報酬0.00%はさすがに草www 目先の手数料捨てて、長期で顧客を囲う作戦か。 SBI、ガチで顧客取りに来てる。
<SBIグローバルアセットマネジメント:4765 プレスリリース> こどもNISA専用の信託報酬率0.00%ファンド 『SBI・ゼロ・オールカントリー・インデックス・ファンド(愛称:ゼロカン)』 設定のお知らせ sbiglobalam.co.jp/release/pd…
65
211
69
1,716
389,125