Linuxカーネルの脆弱性「CopyFail (CVE-2026-31431)」をEC2のUbuntu 22.04で実証してみた
こんにちは！株式会社エーアイセキュリティラボのはるぷと申します。 一般ユーザーがコマンド一発でrootを取れてしまうLinuxカーネルの脆弱性、CopyFail (CVE-2026-31431) が話題になっています。AIによって発見された論理バグで、汚しても問題ないEC2環境を作って実際に検証してみました。 この脆弱性は、 一般ユーザーがroot権限に昇格できる というものです。実行条件がとても簡単なので話題になりました。ざっくり仕組みを言うと、algif_aead・authencesn・splice() システムコールの組み合わせによって、メモリ上のページキャッシュを直接書き換えられてしまう、というものです。 脆弱性の発生原理は元記事の解説に任せ、ここではPoCで何が起きているのか中心に解説します。 TL;DR PoC を動かすと、一般ユーザーから1コマンドで root が取れる ディ
中東から日本に向かう11隻のタンカー：ホルムズ海峡の不安定化×石油輸送の多重化｜渡邉英徳研究室｜渡邉英徳
2026年4月30日 09:00 時点で，中東から日本を目指して進行中のタンカーを11隻確認しました。 2026年4月30日 中東から日本に向かう11隻のタンカーMarineTraffic上では，日本沿岸に到達した船，南シナ海・マラッカ海峡を進む船，アラビア海を東進する船，紅海を南下する船が，同時に表示されています。 内訳は，おおきく三つに分かれます。 UAE フジャイラ発：6隻 紅海・地中海側経由：4隻 ホルムズ海峡経由：1隻 つまり，現在確認できる日本向けタンカーの多くは，ホルムズ海峡そのものを通過しているわけではありません。UAEのフジャイラ，サウジアラビアとエジプトの紅海側など，ホルムズ海峡の外側に位置する積地・中継地から，日本へ向かっています。 一方，サウジアラビアのRas Tanuraを出発した原油タンカー「出光丸」は，ホルムズ海峡を通過し，アラビア海側へ抜けました。これは，日
Decision Quality と設計判断失敗パターン - kawasima
Decision Quality (DQ) は SDG が体系化した意思決定の質の枠組みで、良い意思決定の条件を6つに分解する。 Frame（解くべき問題の枠組み） Alternatives（選択肢） Information（情報） Values（評価基準） Sound Reasoning（論理的推論） Commitment to Action（実行へのコミット） 全体の質は一番弱い要素で決まる、というのがDQの中心的な主張である。意思決定そのものと、その結果は区別する。良い意思決定でも結果が悪いことはあるし、その逆もある。 設計判断の現場で繰り返し観測される失敗の多くは、6要素のうち Frame と Values の2つの取り違えで説明できる。Valuesを 評価軸 として8つに整理し、Frame の取り違えは 支配軸の取り違え として捉える。残りの4要素も副次的に絡む。早合点 は In
【解説】UAEのOPEC離脱、今後の石油流通に大きな影響を与える可能性 - BBCニュース
アラブ首長国連邦（UAE）が突然、石油輸出国機構（OPEC）からの離脱を発表したことは非常に重大な出来事だ。UAEは、1971年に国家として成立する以前からこの同盟に加盟している。 OPECは主として湾岸の石油輸出国で構成される組織で、何十年にもわたり、産油量を増減させ、加盟国に生産枠を割り当てることで、原油価格をコントロールしてきた。1970年代の石油危機で重要な役割を果たし、それが世界のエネルギー政策を変革するきっかけとなった。
「うま！何この天ぷら？」と思ってよく見ると天ぷらの中になぜか文字が...→新聞のインクが写ったのかと思いきやどうやら本当に新聞紙の天ぷらを食べていたらしい
羽倉 @Hakula_0224 @supennsa_er (新聞紙の上に網かませて)新聞紙で油を切るのは飲食店でよくやってるイメージだからそれは置いといて、外側に文字が付くんじゃなくてガッツリ内側に新聞紙があるのはどういう状況なの？ 2026-04-29 13:40:15
大規模案件のSlackにAI社員3人を常駐させたら、2年目が参画1週間で設計根本に踏み込んだ
実際の画面とは異なるサンプルイメージです チームのSlackにAI社員を3人常駐させています。 社員5人で、2週間動かしました。 誤解を招きそうだからちゃんと書いておきます。 2週間です。半年でも1年でもなく、2週間。 それでも書きたくなるくらいのことが起きたので、この記事を書いています。 SIerの大規模開発で扱う資料は毎週溜まります。 仕様書の背景、顧客の痛点、過去の判断の残り香。 新しく参画したメンバーは、これを数週間かけて読み込むのがいつもの景色です。 そこに、このAI社員3人が入りました。 すると、2年目のメンバーが参画1週間でSKILLを直し、2週間で設計根本に疑問を出してきた。 正直、びびりました。 自己紹介・大規模現場の話を軽く 私はNTTデータグループ 技術革新統括本部のITアーキテクト（課長代理）で、大規模システムのモダナイゼーションに携わっています。 全社の高難度案件
自治体指定のごみ袋が買い占めにより店から消えた...メルカリには大量のごみ袋の出品が→「買い占め転売しても普通のごみ袋でのごみ出しが許可されるだけなのに...」
CPFFF4403よしをんぬ @Mark385066068 これ、”当分の間は他のゴミ袋でもいいです”という方向ではなく、 「既存のゴミ袋は継続しますが、売価高騰します」ってことになるんじゃない？ x.com/bakueikozo/sta… 2026-04-28 17:25:04
NTTデータ、入社1年目社員が「熱中症」で死亡…取引先との“駅伝大会”中に倒れる 遺族が1億円超の調停申し立て | 弁護士JPニュース
2023年5月、NTTデータの男性従業員・Aさん（当時27歳）が、勤務先と大口取引先であるキリンホールディングスとの合同駅伝大会に参加中、熱中症で倒れて救急搬送され、約2か月後に死亡した。 遺族である妻が4月22日付で東京簡易裁判所に民事調停を申し立て、NTTデータ、キリンホールディングスの2社に加え、両社の管理職4名と大会幹事4名の計10者を相手方とし、約1億1380万円の損害賠償を求めている。 代理人弁護士らと遺族が4月24日に記者会見を開き、申し立ての経緯と意義を説明した。 入社1年目、大学院卒の27歳が「断れなかった」駅伝 Aさんは大学院を修了後、NTTデータに入社。キリンホールディングスのシステムを担当していた。 駅伝大会は2023年5月20日に開催された。箱根駅伝のコースをなぞり、小田原方面まで駅伝方式で走った後、レクリエーション施設で入浴・懇親会を行う恒例行事だったとされる。
光を林にしたい・光のボケを変えるフィルターで「林」の文字を作ると世界が林になる
アリエクスプレスで光の形を変えるカメラ用のフィルターを見つけた。 背後の光がハートや星にできるらしい。 ってことは、これを応用すればどんな光も"林"にできるということじゃない？
SQLiteやDuckDBで日本語全文検索をVaporettoを組み込んで実現する - A Day in the Life
各種エージェントの台頭により、サーバレスに動作しローカルファイルとして保存でき、永続化可能な組み込みデータベースのSQLiteやDuckDBへの注目を感じる昨今ですね。これらDBでの全文検索(FTS)の日本語対応ってどんなものなのだろうかと調べると、trigram での検索はできるものの、日本語語彙に特化した検索は標準できないようでした。 Linderaを使うアプローチもあるようですが、今回は Rust で実装されている軽量高速なトークナイザの Vaporetto を組み込んで動く拡張機能を作ってみました。 SQLite + Vaporetto https://github.com/hotchpotch/sqlite-vaporetto DuckDB + Vaporetto https://github.com/hotchpotch/duckdb-vaporetto Vaporetto は
Docker Sandboxes | コーディングエージェントのためのSandboxes | Docker
Docker Sandboxesは、Claude Code、Gemini CLI、Codex、Copilot、Kiroなどのコーディングエージェント向けに特別に設計された、使い捨て可能で分離された実行環境です。 エージェントには自由が必要です。マシンには必要ありません。 コーディングエージェントは無人で実行されるときに最も効果を発揮します。しかし、現在の選択肢にはトレードオフがあります。: OSレベルのサンドボックスはワークフローを中断させることがあり、プラットフォームごとに挙動も異なります。 コンテナは、エージェント自身もDockerを必要とするようになるまでの一つの選択肢です。 フルVMは遅く、リソース消費が大きく、リセットも容易ではありません。 許可プロンプトは自律性ではありません。本当に必要なのは分離です。 Docker Sandboxesは、エージェントに実際のシステム環境を提供
Four Keysとは何か？チームパフォーマンスに重要な理由
*参照元：「エリート DevOps チームであることを Four Keys プロジェクトで確認する」（Google Cloud Japan ブログより） 4つの値を計測し、継続して改善を繰り返すことで、ソフトウェアデリバリーのスピードと安定性を向上させることができます。それにより、生産性の向上を目指すことがFour Keysの目的です。 Four Keysを用いた調査結果は「State of DevOps Report」に記載されているFour Keysを用いたソフトウェアデリバリーパフォーマンスの調査結果は、「State of DevOps Report」に記載されています。「State of DevOps Report」とは、DORAが毎年公開しているソフトウェアデリバリーパフォーマンスに関するレポートのことです。Four Keysの改善効果が高いとされるケイパビリティについての詳細な
マクドナルドは子ども向けメニューを昔から充実させていたが逆に今「若者が来てくれない」と嘆いているのは高齢者・大人ばかり相手にした業界である
公団ウォーカー 照井啓太 @codanwalker マクドナルドは子ども向けメニューで味を覚えさせ、彼らが大人になっても来てくれるので世代を超えて売れています。逆に今「若者が来てくれない」と嘆いているのは高齢者・大人ばかり相手にした業界です。例えば子ども番組をやめたテレビ局、遊園地をやめた百貨店、そして渋谷がそうです。 2026-04-25 22:01:59 公団ウォーカー 照井啓太 @codanwalker いま「団地」が子育て世代から注目され人気が復活しているのは、私たち親世代が子どもの時に団地からたくさんの思い出をもらえたからではないでしょうか。目先の儲けも大事かもしれませんが、長期的に成功するためには世代を超えて愛される「体験作り」が求められていると思います。 pic.x.com/BsdCFc3ypX 2026-04-25 22:09:37
高卒マック店員から32歳で米マイクロソフトのプリンシパルになれた理由「信頼は貯金せず、再投資せよ」 - エンジニアtype | 転職type
NEW! 2026.04.24 働き方 マイクロソフトグローバル 世界トップクラスの頭脳が集うマイクロソフト米国本社で、異例のスピード出世を遂げている日本人マネジャーがいる。 通常は40〜50代が就くという上位クラスの役職「プリンシパル」に32歳で駆け上がり、現在は『Microsoft Copilot』のFDEチームを率いる、吉田大貴さんだ。 幼少期からイギリスの全寮制学校で学び、世界屈指の名門大学への進学が決まっていた彼だが、そのキャリアのスタートは決して順風満帆ではなかった。 「私、最終学歴は高卒なんですよ。家庭の事情で大学進学を断念して帰国し、就職氷河期でコンビニの面接にも落ちて……。唯一受かったマクドナルドの店員からキャリアが始まりました」 約束されていたはずのエリート街道から一転、ITとは程遠い場所からのスタート。そこからどのようなキャリアを経て、巨大テック企業の上位職へと異例の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
無印から乗り換えた、モンベル「トラベルキットパック」が軽くて大容量で最高！
サーバー不要 Chromeで動くローカルAIエージェントが登場。Gemma 4とWebGPU活用
メッセージキュー型の非同期処理から Temporal 移行へ
米メタ、社員のパソコン操作データを強制収集 AI開発に利用 - 日本経済新聞
「LAMY safari」×「クルトガ」はシャープペンのひとつの到達点かもしれない【文具知新】
はてな[3930]：資金流出事案の発生に関するお知らせ 2026年4月24日(適時開示) ：日経会社情報DIGITAL：日本経済新聞![はてな[3930]：資金流出事案の発生に関するお知らせ 2026年4月24日(適時開示) ：日経会社情報DIGITAL：日本経済新聞](https://cdn-ak-scissors.b.st-hatena.com/image/square/e7ea8ecfd2df412d08858d785e1a8a7e0bd99e8a/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Fwww.nikkei.com%2Fnkd%2Fdisclosure%2Ftdnr%2F20260424510809%2Fthumbnail%2F%3Fttype%3Dogp)
