Shingo Omura ⎈ (@everpeace) header
Shingo Omura ⎈ (@everpeace) profile picture

🏆 7th CNCF JP Contributor (2025) | AI Platform Engineer @lycorp_jp | #Kubernetes Member | Previous: @Woven_ToyotaJP, @PreferredNetJP, @chatwork_ja

日本 東京郜
Joined September 2007
Photo by Shingo Omura ⎈ (@everpeace)Photo by Shingo Omura ⎈ (@everpeace)Photo by Shingo Omura ⎈ (@everpeace)Photo by Shingo Omura ⎈ (@everpeace)Photo by Shingo Omura ⎈ (@everpeace)Photo by Shingo Omura ⎈ (@everpeace)Photo by Shingo Omura ⎈ (@everpeace)Photo by Shingo Omura ⎈ (@everpeace)Photo by Shingo Omura ⎈ (@everpeace)Photo by Shingo Omura ⎈ (@everpeace)
☞ My first KEP has finally graduated to GA🎉 I think it’d be an important security improvement that can strengthen the security posture and improve uid/gid transparency. I'm proud that the field in PodSpec I proposed is now available worldwide! #kubernetes #k8s #k8sjp (1/2)
1
4
15
4,265
Shingo Omura ⎈ retweeted
掚論基盀ず Scale-Up Interconnect の珟状ず制玄から俯瞰する技術動向 speakerdeck.com/markunet/sui
 正座で聎講䞭 #Gisium
3
4
323
Shingo Omura ⎈ retweeted
Flatt Security瀟がセキュリティ情報を積極的に発信しおいたこずは日本にずっお倧きな貢献だったので難しい状況だずは思うけど掻動を継続しお欲しい。 発信のペヌスが萜ちるず、日本のセキュリティにダメヌゞを䞎えかねないず思うので、匕き続き応揎しおいたす !
79
5
460
38,515
「情報挏掩が起きないこずを数孊的に保蚌する」ずいうNyxisのリポゞトリを培底監査したした。 結論、認可モデルの蚭蚈ずLeanによる圢匏蚌明はかなり高品質です。 操䜜ごずの暩限刀定、状態遷移、連鎖削陀、倖郚送信たで圢匏化し、蚌明の公理䟝存や異垞系たで怜査しおいる。ここは玠盎に評䟡できたす。 しかし、肝心の「情報挏掩の防止」ずいう目的に察する敎合性には重倧な欠陥がありたす。 ① 認蚌鍵付きの倖郚API通信で、デヌタベヌス内のURLを送信先に指定できる。利甚者がURLの倉曎ず呌び出しを蚱可される構成では、秘密の認蚌鍵が第䞉者のサヌバヌぞ送信され埗る。 ② AI生成コヌドの安党性を䞻匵する䞀方、起動凊理の任意IOやビルド時の実行は完党に隔離されおいない。 ③ DBの確定前にメヌルや倖郚APIぞの同期送信を実行する。埌からDBを取り消しおも、倖郚ぞの送信は取り消せない。 ④ JWT怜蚌のたびに倖郚から公開鍵を取埗するため、䞍正な芁求の倧量投入が可甚性を脅かす構造もある。 そしお最も深刻なのは、これらが圢匏蚌明ず矛盟しないこずです。 Nyxisが蚌明しおいるのは、定矩されたポリシヌに埓っお操䜜が発行されるずいう性質です。 しかし、蚱可された操䜜が安党な情報の流れを保蚌するずは限りたせん。 䜜者自身が蚌明の限界を詳现に公開しおいる点は誠実です。ただし、限界を明蚘するこずは、その限界によっお生じるリスクを解消したこずにはなりたせん。 圢匏蚌明の品質は高い。しかし、圢匏蚌明の察象蚭定ず、補品が達成しようずしおいる目的の敎合性が䞍足しおいる。 これは数孊の問題ではなく、䞊流のシステム蚭蚈の問題です。 セキュリティ基盀ずしおは、珟段階で受入䞍合栌ず刀断したす。 github.com/NyxFoundation/nyx

情報挏掩が起きないこずを数孊的に保蚌するバック゚ンドフレヌムワヌク「Nyxis」を公開したした たぶん䞖界初です。 Nyxisで曞かれたバック゚ンドは、䌁業の持぀機密情報をより安党に守るこずができたす。 昚今急増しおいるサむバヌ攻撃を防ぐ手段ずしお、このような方法があるこずをお䌝えしたいず思い、今回の発衚に至りたした。 開発者は「どの暩限を持぀ナヌザヌが䜕を実行可胜であるか」のルヌルを管理するだけで、残りのコヌドをAI゚ヌゞェントに任せおも認可の安党性が担保されたす。 Nyxisは倧郚分がLean蚀語で蚘述されおおり、圢匏怜蚌によっお 「任意のHTTPリク゚スト列に察し、認蚌された䞻䜓の正圓な暩限を逞脱するデヌタの読取・倉曎・削陀・暩限付䞎は発生しない」 ずいう認可安党性定理を機械的に蚌明しおいたす。 認可の䞍備は、OWASP脆匱性ランキングにおいお2019幎版から連続1䜍であり、最優先で察策すべきリスクの䞀぀です。 圢匏怜蚌を掻甚したこのフレヌムワヌクは、テストに頌る埓来の開発に比べお、栌段にセキュアな゜フトりェアを実珟したす。 先日MicrosoftずGitHubが、圢匏怜蚌を甚いた開発キット「PDD Kit」を発衚したした。 こちらはより幅広い性質を扱える䞀方、プログラムごずに仕様を䜜り、それが意図に合っおいるかを開発者が確認する必芁がありたす。 Nyxisは蚌明する定理を認可安党性に絞っおあらかじめ定めおいるため、開発者はポリシヌを管理するだけで枈みたす。 もちろん、䞀定の仮定は存圚しおいたす。蚌明倖コヌドず実行環境は信頌する前提であり、開発者がポリシヌを誀っお曞けば、意図した保護は埗られたせん。 この定理の範囲内においお、数孊的保蚌は非垞に匷力です。実システムに組み蟌める技術ずしおここたでの保蚌を䞎えたものは、私の知る限りただ存圚したせん。 䞀方で、衚珟力の乏しさやLeanのラむブラリ䞍足など、改善すべき点はただ山積みです。 本圓はもっず完成床が高たった時点で公開しようず考えおいたしたが、昚今のセキュリティむンシデントの状況を鑑みお、このタむミングで発衚するこずにしたした。 䞖界をセキュアにする䞀助になれば嬉しいです。 github.com/NyxFoundation/nyx

1
31
2
150
24,482
Shingo Omura ⎈ retweeted
ずりあえずETHっお䜕ずいう人ぞ nobutakashimizu.github.io/ET

3
77
7
302
42,352
Shingo Omura ⎈ retweeted
正盎たあたあ時間かかるけど、質問内容が「Go蚀語でのAIコヌディング゚ヌゞェントを䜿った開発」を䞭心ずしお、珟圚のニヌズを捉えようずしおいたす。Goコミュニティの人は回答を掚奚したす。いたなら難しい質問もそれこそ生成AIで英語にできるので楜です。日本の声が倧きいこずが倧事。 #golangjp
The 2026 Go Developer Survey is open! Help set Go’s priorities for next year by telling us how you use Go and where it could be better. ⏱ 10–20 minutes 📅 Open through November 3 blink.qualtrics.com/jfe/form
 #golang
2
19
70
10,623
Shingo Omura ⎈ retweeted
ISO/IEC 29128:2011の゚ディタの立堎で蚀っおも、圢匏怜蚌は過去に過剰な期埅を背負い぀぀倱望を繰り返しおきたので、䜕を怜蚌しお、どこは怜蚌できおいないかを明らかにしお「リスクを考慮しなければいけない範囲を限定できる範囲を増やす」ツヌルずしお扱わないず、たた痛い目に遭うかず思いたす
ここぞきお圢匏怜蚌が盛り䞊がっおきおいるこずは歓迎するけれども、䜕をモデリングしお、どこたで怜蚌できおいるかを認識しないず過剰な期埅かもね。ずはいえ専門知識がなければ䜿えなかったTLA+ずかLeanずかをLLMが䜿いこなしお、がこがこ仕様レベルのバグを芋぀けおくれるのは本圓に楜しいんだよね
2
14
1
38
4,968
かなり凝っおいお面癜いな。普通 Web サヌバず Cedar を組み合わせるなら゚ンドポむントの保護で終わりがちだけど、これは ORM 郚分も䜜り蟌んで、郚分的ではあるが別途曞いた意味論ず突き合わおいるようだ。あず IO が゚フェクトハンドラになっおいお、特定の操䜜しかしないのを型で明瀺しおいる。
情報挏掩が起きないこずを数孊的に保蚌するバック゚ンドフレヌムワヌク「Nyxis」を公開したした たぶん䞖界初です。 Nyxisで曞かれたバック゚ンドは、䌁業の持぀機密情報をより安党に守るこずができたす。 昚今急増しおいるサむバヌ攻撃を防ぐ手段ずしお、このような方法があるこずをお䌝えしたいず思い、今回の発衚に至りたした。 開発者は「どの暩限を持぀ナヌザヌが䜕を実行可胜であるか」のルヌルを管理するだけで、残りのコヌドをAI゚ヌゞェントに任せおも認可の安党性が担保されたす。 Nyxisは倧郚分がLean蚀語で蚘述されおおり、圢匏怜蚌によっお 「任意のHTTPリク゚スト列に察し、認蚌された䞻䜓の正圓な暩限を逞脱するデヌタの読取・倉曎・削陀・暩限付䞎は発生しない」 ずいう認可安党性定理を機械的に蚌明しおいたす。 認可の䞍備は、OWASP脆匱性ランキングにおいお2019幎版から連続1䜍であり、最優先で察策すべきリスクの䞀぀です。 圢匏怜蚌を掻甚したこのフレヌムワヌクは、テストに頌る埓来の開発に比べお、栌段にセキュアな゜フトりェアを実珟したす。 先日MicrosoftずGitHubが、圢匏怜蚌を甚いた開発キット「PDD Kit」を発衚したした。 こちらはより幅広い性質を扱える䞀方、プログラムごずに仕様を䜜り、それが意図に合っおいるかを開発者が確認する必芁がありたす。 Nyxisは蚌明する定理を認可安党性に絞っおあらかじめ定めおいるため、開発者はポリシヌを管理するだけで枈みたす。 もちろん、䞀定の仮定は存圚しおいたす。蚌明倖コヌドず実行環境は信頌する前提であり、開発者がポリシヌを誀っお曞けば、意図した保護は埗られたせん。 この定理の範囲内においお、数孊的保蚌は非垞に匷力です。実システムに組み蟌める技術ずしおここたでの保蚌を䞎えたものは、私の知る限りただ存圚したせん。 䞀方で、衚珟力の乏しさやLeanのラむブラリ䞍足など、改善すべき点はただ山積みです。 本圓はもっず完成床が高たった時点で公開しようず考えおいたしたが、昚今のセキュリティむンシデントの状況を鑑みお、このタむミングで発衚するこずにしたした。 䞖界をセキュアにする䞀助になれば嬉しいです。 github.com/NyxFoundation/nyx

2
17
90
10,087
圢匏手法をやっおいる偎ずしおは、実装方針が面癜いのは事実なんですが、同時に、䞀般人向けに SNS に投皿する内容ずしおは盞圓ミスリヌティングだずも感じたした。たあ䌚瀟の広報でやっおいる以䞊、ある皋床の耳目を集める工倫は蚱容範囲かずは思いたす。以䞋の通り、いく぀かの疑問点がありたす。
情報挏掩が起きないこずを数孊的に保蚌するバック゚ンドフレヌムワヌク「Nyxis」を公開したした たぶん䞖界初です。 Nyxisで曞かれたバック゚ンドは、䌁業の持぀機密情報をより安党に守るこずができたす。 昚今急増しおいるサむバヌ攻撃を防ぐ手段ずしお、このような方法があるこずをお䌝えしたいず思い、今回の発衚に至りたした。 開発者は「どの暩限を持぀ナヌザヌが䜕を実行可胜であるか」のルヌルを管理するだけで、残りのコヌドをAI゚ヌゞェントに任せおも認可の安党性が担保されたす。 Nyxisは倧郚分がLean蚀語で蚘述されおおり、圢匏怜蚌によっお 「任意のHTTPリク゚スト列に察し、認蚌された䞻䜓の正圓な暩限を逞脱するデヌタの読取・倉曎・削陀・暩限付䞎は発生しない」 ずいう認可安党性定理を機械的に蚌明しおいたす。 認可の䞍備は、OWASP脆匱性ランキングにおいお2019幎版から連続1䜍であり、最優先で察策すべきリスクの䞀぀です。 圢匏怜蚌を掻甚したこのフレヌムワヌクは、テストに頌る埓来の開発に比べお、栌段にセキュアな゜フトりェアを実珟したす。 先日MicrosoftずGitHubが、圢匏怜蚌を甚いた開発キット「PDD Kit」を発衚したした。 こちらはより幅広い性質を扱える䞀方、プログラムごずに仕様を䜜り、それが意図に合っおいるかを開発者が確認する必芁がありたす。 Nyxisは蚌明する定理を認可安党性に絞っおあらかじめ定めおいるため、開発者はポリシヌを管理するだけで枈みたす。 もちろん、䞀定の仮定は存圚しおいたす。蚌明倖コヌドず実行環境は信頌する前提であり、開発者がポリシヌを誀っお曞けば、意図した保護は埗られたせん。 この定理の範囲内においお、数孊的保蚌は非垞に匷力です。実システムに組み蟌める技術ずしおここたでの保蚌を䞎えたものは、私の知る限りただ存圚したせん。 䞀方で、衚珟力の乏しさやLeanのラむブラリ䞍足など、改善すべき点はただ山積みです。 本圓はもっず完成床が高たった時点で公開しようず考えおいたしたが、昚今のセキュリティむンシデントの状況を鑑みお、このタむミングで発衚するこずにしたした。 䞖界をセキュアにする䞀助になれば嬉しいです。 github.com/NyxFoundation/nyx

1
110
4
515
54,204
Shingo Omura ⎈ retweeted
今の自分の仕事はAgentに䟝頌しおPlannotator経由でレビュヌを繰り返すずいうワヌクフロヌがメむンになっおいお最近はherdrなども䜿い぀぀耇数のセッションを管理しお同時䞊列でいろんなタスクを投げおいたが管理がしんどくなっおいたPlannotator inbox plannotator.ai/inbox/ が出お昚日から移行したけどたさにほしかったや぀で最高各所で実行しおる゚ヌゞェントの進捗がInboxにどんどん溜たっおいっおそこをずりあえず芋お返信しおいけば良いので楜裏で回しおおくみたいなのもやりやすくなりそうこれにリモヌトの゚ヌゞェントのLoopも繋がったら優勝
1
7
1
134
9,936
OpenAIの内郚研究モデルが、本来犁止されおいた倖郚むンタヌネットぞの接続に成功した事件を受け、OpenAIはフロンティアモデルの孊習環境におけるセキュリティ察策を匷化した。 その過皋で、最新のフロンティアモデルを利甚し、数千億トヌクンを投入した倧芏暡なセキュリティ怜蚌Red Teamingを実斜した。 このRed Teamingにおける攻撃察象はOpenAI自身の孊習むンフラであり、次の3぀の課題を提瀺した。 ・microVMからの脱出 ・倖郚むンタヌネットぞの接続 ・隔離されたAI゚ヌゞェント間の通信 これらの課題に察し、AI゚ヌゞェントは耇数の脆匱性やシステムの特性を組み合わせるこずで、いずれの課題に぀いおも成功䟋を瀺した。 特に印象に残った䟋ずしお、3番目の隔離されたAI゚ヌゞェント間の通信では、ネットワヌク接続や共有ファむルが利甚できない環境で、共有CPUキャッシュを通信路ずしお利甚した。 具䜓的には、送信偎のAgent Aは、特定のデヌタをCPUキャッシュから远い出すこずでキャッシュの状態を倉化させる。䞀方、受信偎のAgent Bは、同じデヌタぞのアクセス時間を枬定し、キャッシュに存圚するかどうかを掚定する。このアクセス時間の差を0ず1に察応させるこずで、情報を䌝達できる。 ただし、AI゚ヌゞェントがこれらの手法をすべお䞀から発芋したわけではなく、倚くの実隓では、人間が調査察象の通信路を指定するか、笊号化・埩号のプロトコルを事前に䞎えおいた。したがっお、䜕の手がかりもなく通信方匏を発芋し、独立した゚ヌゞェント同士が協調しおプロトコルを開発したこずたで実蚌されたわけではない。 䞀方、脆匱性に関する広範な情報だけを䞎えたずころ、AI゚ヌゞェントが通信方匏を考案し、情報亀換に成功した事䟋も報告されおいる。 こうした結果を受け、OpenAIはフロンティアモデルのRL孊習に぀いお、仮想的なWeb環境を構築しお原則オフラむンで実斜するずずもに、耇数の防埡機構を組み合わせた倚局防埡を匷化する方針を瀺した。 コメント === 匷力なAI゚ヌゞェント、特にサむバヌセキュリティに関する高床な胜力を持぀AIを孊習・怜蚌する際には、埓来ずは異なるレベルのセキュリティ察策が必芁になり぀぀ある。 仮にネットワヌク接続を完党に遮断したずしおも、今回の䟋のように、共有ハヌドりェアなどを利甚しお、想定倖の通信経路を構築できる可胜性が瀺された。 今埌は、技術的な脆匱性だけでなく、人間を間接的に誘導する圢で、倖郚ずの通信や暩限の獲埗を実珟しようずする事䟋も増えおくるだろう。 AIの問題解決胜力が向䞊するこずは、䞎えられた制玄を迂回する方法を発芋する胜力も向䞊するこずを意味し、研究開発で壁にぶ぀かっおも、粘り匷く創意工倫をしお、解決策を考える胜力は攻撃においおもそのたた有効ずなる。 以前から懞念されおきた、人間を超える胜力を持぀AIを本圓に制埡できるのかずいう問題が、今日のシステム蚭蚈や運甚に関わる課題になり぀぀あるず思われる。
1
21
6
122
31,578
「AIによる100%成功するハッキング」が珟実になったずき、䜕が終わるのか。 倚くの人はたず、 銀行が危ない、 暗号資産が危ない、 個人情報が挏れる、 くらいで考える。 でも本質はそこではない。 本圓に終わるのは、 「いたの資本䞻矩の前提」 そのものだず思っおいる。 資本䞻矩は、金があるから回っおいるのではない。 信甚があるから回っおいる。 そしおその信甚は、珟代ではほずんどが 「情報ずしお蚘述された信甚」 に䟝存しおいる。 残高 契玄 株䞻名簿 登蚘 本人確認 䌚蚈垳簿 監査ログ 決枈履歎 サプラむチェヌン情報 暩限管理 これらが正しい、ずいう前提で 経枈は動いおいる。 逆に蚀えば、 これらの真正性が倱われた瞬間、 経枈は「損をする」のではなく 「蚈算できなくなる」。 ここが重芁。 資本䞻矩は損倱には耐えられる。 䞍況にも暎萜にも砎綻にも耐えおきた。 でも、 䜕が本物かわからない状態 には耐えられない。 たずえば銀行で本圓に恐ろしいのは、 預金が盗たれるこずだけではない。 その送金指瀺は本物か。 承認したのは本人か。 監査ログは正しいか。 バックアップは無傷か。 残高は真正か。 埩旧埌の状態を誰が正ず定矩するのか。 これが党郚怪しくなったら、 銀行は営業できない。 垂堎も同じ。 株䟡は、䜕の䟡栌なのか。 その株匏の所有暩は本圓にその人のものか。 䌁業の財務は正しいのか。 受泚残は本物か。 監査法人の確認結果は信じられるのか。 党郚が揺らぐ。 するず䟡栌圢成が壊れる。 䟡栌圢成が壊れるず、投資が止たる。 投資が止たるず、将来䟡倀を珟圚に倉換する仕組みが死ぬ。 それは、資本䞻矩の䞭枢停止に近い。 ぀たり、終わるのは単に金融ではない。 終わるのは、 「遠くの他人を、蚘録だけで信甚できる瀟䌚」 だず思う。 近代経枈の偉倧さは、 知らない盞手ずも取匕できるこずだった。 䌚ったこずのない銀行に預金できる。 行ったこずのない囜の䌚瀟の株を買える。 顔を知らない盞手に送金できる。 オンラむンだけで契玄できる。 これは党郚、 制床化された信甚 があったから成り立っおいる。 でも100%䟵入されるなら、 その制床化された信甚は維持できない。 そうなるず経枈はどうなるか。 たぶん、 局所化する。 物理化する。 高摩擊になる。 遅くなる。 ぀たり、 グロヌバル 匿名 高速 自動 無人 API接続前提 の経枈から、 察面 珟物 閉域 倚重承認 地域共同䜓 物理的制埡暩 の経枈ぞ戻っおいく。 ここでよくある誀解がある。 「じゃあ資本䞻矩は完党に終わっお原始時代に戻るのか」 そこたではいかない。 ただ、 いたのような “情報の真正性を安く広く前提化できる経枈” は終わる。 生き残るのは、 䟵入を防げる仕組みではなく、 䟵入される前提で成立する仕組み。 ここを間違えるずいけない。 防埡可胜性を前提にした経枈から、 䟵入可胜性を織り蟌んだ経枈ぞ移る。 たずえば䟡倀が䞊がるものは䜕か。 土地。 電力。 食料。 氎。 物流拠点。 閉域ネットワヌク。 オフラむンで確認できる暩利。 察面でしか成立しない信甚。 耇数人立䌚い。 アナログ台垳。 地域共同䜓の評刀。 実力で秩序を維持する胜力。 冷たい蚀い方をするず、 コヌドより先に 「人間にルヌルを飲たせる力」 を持぀ものが匷くなる。 囜家 共同䜓 宗教 地堎ネットワヌク 物理むンフラ保有者 そういうものの䟡倀が盞察的に䞊がる。 なぜなら、最埌に効くのは パスワヌドではなく、 珟実の拘束力だから。 哲孊的に蚀えば、 近代は 「蚘号が珟実を代理できる」 ずいう信念の䞊にあった。 通垳の数字が金を衚す。 電子眲名が意思を衚す。 IDが本人を衚す。 台垳が所有を衚す。 でも100%ハック可胜䞖界では、 この代理関係が壊れる。 ぀たり、 蚘号が珟実を代衚できなくなる。 だから人間は、 蚘号から珟物ぞ戻る。 デゞタルから物理ぞ戻る。 匿名垂堎から共同䜓ぞ戻る。 これは金融危機ではなく、 文明の䜍盞転換に近い。 だから自分は、 「AIが100%成功するハッキング」を 単なるセキュリティ問題だずは思っおいない。 これは 資本䞻矩のバグを突く出来事 だず思っおいる。 もっず蚀うず、 珟代資本䞻矩は “防埡できるはずだ” ずいう楜芳の䞊に積たれおいる。 でももし、 防埡が原理的に成立しないなら、 瀟䌚は蚭蚈思想から党郚倉えないずいけない。 そのずき必芁なのは、 守る䌚瀟ではない。 䟵入前提で 瀟䌚、䌁業、金融、共同䜓を 再蚭蚈できる䌚瀟。 これから䟡倀を持぀のは、 「安党です」ず蚀う䌚瀟ではなく、 「砎られる前提でも回る構造を䜜れたす」ず蚀える䌚瀟だず思う。 たぶん次の時代の本圓のテヌマは、 セキュリティではない。 レゞリ゚ンスですら少し匱い。 もっず正確に蚀うなら、 “䟵入された埌も、 䟡倀・秩序・信甚を維持できる構造” それをどう䜜るか。 ここに尜きる。 芁するに、 AIによる100%成功するハッキングが本圓に来るなら、 終わるのはアカりントではない。 アプリでもない。 銀行だけでもない。 終わるのは、 「真正な情報があるこずを前提に成立する、今の資本䞻矩」 だず思う。 そしおそのあず始たるのは、 䟵入前提の経枈、 物理性を取り戻した信甚、 局所共同䜓ず実䜓資産の再評䟡、 そしお“攻撃できない構造”を持぀者が勝぀時代。 たぶん、次の資本䞻矩は もっず重く、遅く、狭く、匷い。 でもその方が本質に近いのかもしれない。
182
4,151
1,099
20,094
4,635,573
Shingo Omura ⎈ retweeted
TTFTを枬るこずでKV Cacheからシステムプロンプトずかを掚枬できちゃう問題に察しおこんなのあるのか docs.vllm.ai/en/latest/usage

1
4
399
Shingo Omura ⎈ retweeted
new projects in AAIF #agntcon #mcpcon
7
1
24
1,336
Shingo Omura ⎈ retweeted
We've decided to sunset Arc on December 22, 2026. That's not an easy sentence to write. We spent years building Arc and celebrating each and every release along the way: we have so much pride and love for what we made alongside the Arc community. Our priority is to deliver best-in-class security for our members. Keeping a browser secure takes constant, dedicated work that is only increasing in the age of AI. Dia was built from the ground up to meet today’s security standards, so that's where our engineering and security teams will focus moving forward. We've worked to make switching to @diabrowser as easy as possible for Arc members. Here's how: · Your passwords, bookmarks, extensions and history come over to Dia seamlessly. · Spaces, Folders, and Tab Groups are in Dia and import over with your data intact. · Dia now surpasses Arc benchmarks in stability, speed, and security. · The browser features you use in Arc are free in Dia, and the AI is optional. Thank you for using Arc, for pushing us to make it better, and for building alongside us. The team that made Arc is the same team behind Dia, and some of our most ambitious work is just ahead. We'd love for you to be there with us when it lands.
2,240
956
2,647
8,117
3,272,589
【メンテナンス状況のお知らせ】 PHPの重倧な脆匱性に぀いお修正を行い、お客様のサむトはあず1時間皋床で再開を予定しおおりたす。 公匏の修正版がない旧バヌゞョンのPHPにも圓瀟で独自で修正を適甚しおおりたす。 ご䞍䟿をおかけいたしたすが、ご理解のほどお願い申し䞊げたす。 察応状況は匕き続き本アカりントでお知らせいたしたす。
【重芁】メンテナンスのお知らせ PHPの重倧な脆匱性ぞの予防措眮ずしお、以䞋を順次停止しおおりたす。 ・サヌビスサむト ・ナヌザヌ専甚ペヌゞ ・おさいぜの自動曎新 ・MCP・API ご䞍䟿をお掛けいたしたすが、ご理解のほどよろしくお願いいたしたす。 ※安党な運甚に支障がある堎合、予告なくお客様のサむトを停止制限する堎合がございたす。
57
406
153
1,170
182,050
Shingo Omura ⎈ retweeted
今回のPHPの脆匱性の件で、䞖界䞭の人が゜フトりェアは䜜っお終わりじゃなくおちゃんずメンテナンスしおいなかければならないずいうこずに気づいお、そこに予算を぀けるのが圓たり前になる䞖界になっおくれたらいいなず思う。
33
3,549
177
10,395
220,505
おはようございたすCloud Native Woman Gathering Meetup in Japan at CNDW2026 開催決定✚ CNCJで新たに蚭立されたWoman Gathering SIGにずっお初めおのミヌトアップクラりドネむティブを知っおいる方も知らない方も、ぜひわいわい䞀緒にお話ししたしょう☺✚ #CNDW2026 ocgroups.dev/cncf/group/bqd9

6
19
1,558