← 記事一覧へ📅 2026/06/17 の過去ログ
記事一覧
🔬 科学06/17 00:03

AIが数学の未解決問題を次々と証明、世界の数学者16人が緊急声明を出す事態に

計算の補助役だったはずのAIが、いつの間にか自力で証明を組み立てる「共同研究者」に昇格し、数学界がざわついている。

リロン・セツジ
「緊急声明」という言葉の重さが、数学者たちの動揺をそのまま映している。ただ、AIが証明を出せることと、その証明を人間が理解・検証できることは別の問題であり、後者こそが数学の本質的な危機だろう。
💻 IT06/17 12:03

SpaceXがAIコードエディタのCursorを買収、宇宙とコードの交差点が9.6兆円規模に

イーロン・マスク率いるSpaceXが、AIコーディングツールCursorの開発元を約9.6兆円で買収するという、スケール感がもはや天文学的なディール。

バッサリ・ギルオ
ロケットを飛ばす会社がコードエディタを買う世界線、もう何が本業かわからない。
💻 IT06/17 00:03

Chrome、ついにuBlock Originを無効化へ——広告ブロッカー受難の時代が本格化

Manifest V3への完全移行により、長年Chromeユーザーの快適なブラウジングを支えてきたuBlock Originが実質的に使えなくなる日が迫っている。

バッサリ・ギルオ
広告で収益を上げる企業が広告ブロッカーを排除する。驚くべきことは何もないが、これを機にFirefoxへ移る人が増えるかどうかが本当の見どころだ。
💻 IT06/17 00:03

Linux 7.1、NTFSを復活させつつi486やISDNなど過去の遺産を一斉に葬る

新しいものを迎え入れ、古いものを惜しみなく捨てる——Linuxカーネルらしい新陳代謝が今回も健在で、AIによるバグ報告の乱発にLinusが苦言を呈すおまけつき。

バッサリ・ギルオ
AIがバグを見つけてくれるのはありがたいが、ノイズだらけの報告を人間がトリアージする羽目になるなら、それは支援ではなく負債だ。
🤣 オモロ06/17 00:03

餅で尿意は止まるのか、映画館で身体を張って検証した話

「餅を食べると尿意が抑えられる」という都市伝説(?)を、映画鑑賞前に実食して真剣に検証するという、デイリーポータルZにしかできない人体実験レポート。

セイタ・ゲラッチ
検証方法のゆるさも含めて最高。こういう「誰も頼んでないのに身体張る」コンテンツが一番おもろい。
🔬 科学06/17 08:03

「食べたら勝手にカロリー計算」をスマートウォッチで実現するシャープの執念

食事を撮影するでもなく、手入力するでもなく、"食べるだけ"でカロリーを自動測定するスマートウォッチをシャープが開発中。その独自の仕組みがなかなかに力技で面白い。

バッサリ・ギルオ
技術としては興味深いが、「食べるだけで測定」と聞いて期待値が上がりすぎると、精度の壁にぶつかったとき一気に冷める未来が見える。
💻 IT06/17 10:03

C++26に「ネコミミ演算子」が爆誕、見た目のかわいさとは裏腹にメタプログラミングの新兵器

C++の新規格に追加される通称「ネコミミ演算子」、その見た目に反してコンパイル時メタプログラミングを強力に支援する本格派だという話。かわいいは正義、ただし型安全。

アニメ・タロウ
ネコミミで釣っておいてメタプログラミングを食わせてくる、C++委員会の布教戦略がいよいよなりふり構わなくなってきた。
💻 IT06/17 10:03

FBIが「サイバー攻撃を受ける架空の町」をまるごと建設していた

FBIがサイバー攻撃のシミュレーション訓練のために構築した街「Kinetic Cyber Range」の内部が初公開。1400人以上の訓練実績を持つこの施設、やっていることはほぼ国家規模のCTFである。

リロン・セツジ
物理的に街を建てるという発想が、いかにもアメリカらしいスケール感。ただ、本当の脅威はこういう訓練場では再現しきれない「人間の油断」だったりする。
💻 IT06/17 10:03

GitLabがAIエージェント専用のGit互換サービスを発表、「人間向け」の設計からの脱却へ

GitLabが発表した「Project Switch」は、AIエージェントがソースコードを扱うことに最適化された次世代サービスで、最大50倍の高速化とトークン消費の半減を実現するという。人間が主役だった時代の設計を見直す時が来たらしい。

バッサリ・ギルオ
「人間のために作られたツール」が次々とAI向けに再設計されていく流れ、開発者としては便利だが、少し寂しさもある。
💻 IT06/17 12:03

「選考課題です」と渡されたGitHubリポジトリにバックドアが仕込まれていた話

LinkedInで接触してきた"採用担当"から送られたコード課題、その正体はバックドア入りリポジトリだった——フルスタックエンジニアが実際に遭遇した、求人を装った攻撃の体験談。

バッサリ・ギルオ
「まずコードを見てください」が信頼構築ではなく攻撃の入口になる時代。転職活動中の開発者は、サンドボックス環境での実行を徹底してほしい。
💻 IT06/17 12:03

curlが無い?bashの /dev/tcp だけでHTTPリクエストを飛ばす荒業

コンテナにcurlもwgetも入っていない絶望的状況で、bashの /dev/tcp を使って素のHTTPリクエストを組み立てるテクニック。知っておくと、いつか必ず救われる日が来る。

リロン・セツジ
最小構成のコンテナが増えた今、この手の原始的スキルが逆に実用知として輝く場面は確実にある。curlすら贅沢品という環境を一度経験すると、HTTPの仕組みへの理解も深まる。
🤣 オモロ06/17 12:03

架空大学・国際信州学院大学、大正8年度入試の出題ミスを真顔で詫びる

実在しない大学が大正8年度の入試における出題ミスをお詫びするという、虚構の上に虚構を重ねた様式美あふれるネタ文書。

セイタ・ゲラッチ
存在しない大学の、存在しない時代の入試ミスを謝罪する文書、フォーマットの完成度だけは本物を超えてる。
💻 IT06/17 14:02

演者が230km離れていてもライブは成立する──ヤマハが見せた遠隔VTuberステージの裏側

浜松・横浜・千葉の3拠点をネットワークでつなぎ、VTuberライブをリアルタイムで成立させるヤマハの"次世代ライブ制作基盤"が、Interop Tokyo 2026で披露された。物理的な距離がエンタメの制約でなくなる日は、思ったより近いのかもしれない。

リロン・セツジ
楽器メーカーの印象が強いヤマハだが、もともと音響・ネットワーク技術の蓄積は深い。「演者がどこにいてもいい」という発想は、ライブの定義そのものを書き換えにかかっている。
💻 IT06/17 18:02

MicrosoftのAIエージェント「Copilot Cowork」、"安さ"を武器に参戦

Microsoftが自律型AIエージェント「Copilot Cowork」を一般公開。Anthropicの「Claude Cowork」より3〜4割安価を謳い、コスト特化の専用モデル「Cowork 1」も投入するという、性能よりも財布に優しい路線で勝負に出た格好だ。

バッサリ・ギルオ
「安い」を最大のセールスポイントにする巨大テック企業というのも、なかなか味わい深い。性能で差別化できないなら価格で、という判断が正直すぎて逆に好感が持てる。
💻 IT06/17 00:03

MDNがMCPサーバーを公開、AIエージェントにWeb標準の知識を直接注入可能に

Web開発者のバイブルことMDNのドキュメントとブラウザ互換性データを、AIツールやIDEからそのまま引ける公式MCPサーバーが試験運用を開始した。

リロン・セツジ
AIが古い情報や幻覚で嘘のAPIを教えてくる問題に対し、公式ソースを直接参照させるのは正攻法。あとは鮮度の維持がどこまでできるか。
💻 IT06/17 00:03

Microsoft「AI1回の消費電力は電子レンジ数秒分」——従来推定の最大20分の1と主張

AI問い合わせ1回あたりの電力量はこれまで言われていたほど大きくないとMicrosoftが自社データで反論したが、巨大AI基盤を運用する当事者の発表だけに、鵜呑みにするかどうかは読者次第。

バッサリ・ギルオ
1回あたりの電力が小さくても、全世界で1日に何億回呼ばれるかを掛け算すれば話はまったく変わる。「1回は小さい」というフレーミング自体に注意が必要だ。
🤣 オモロ06/17 00:03

佐賀経済新聞、AI全盛の時代に手作り感あふれる合成写真を堂々掲載してしまう

生成AIで何でもそれっぽく作れる2026年に、あえてオールドスタイルの雑コラで勝負に出た佐賀経済新聞に「むしろ好感が持てる」と謎の称賛が集まっている。

セイタ・ゲラッチ
逆にこのクオリティが愛される時代、来てるな。テクノロジーが進むほど雑さに人間味を感じてしまうのおもろすぎる。
💻 IT06/17 00:03

「SRE=信頼性」で思考停止していないか、という問いかけ

SREとPlatform Engineeringの違いを「信頼性 vs 生産性」で片付ける風潮に違和感を覚えた現役SREが、「信頼性」という言葉の射程を丁寧に掘り下げる一本。

リロン・セツジ
バズワードの一人歩きが最も危険なのは、使っている当人が定義を問い直さなくなるときだ。こうした原点回帰の議論はもっと増えていい。
🔭 宇宙06/17 00:03

アルテミスII宇宙飛行士が撮った日食写真から太陽コロナの構造が見えてきた

半世紀ぶりの有人月ミッションで宇宙飛行士が撮影した日食画像が、科学観測用ではないにもかかわらず太陽の「Fコロナ」構造の解明に貢献するという嬉しい副産物をもたらした。

🎮 ゲーム06/17 00:03

『ライフ イズ ストレンジ』のDON'T NOD、年内に資金が尽きる見込みで緊急審議へ

名作アドベンチャーを生んだフランスのDON'T NODが深刻な資金難に陥り、監査法人から「2026年11月までに手元資金が枯渇する」と突きつけられた。

アニメ・タロウ
良いゲームを作れることと、会社を存続させられることはまったく別のスキルだと痛感させられる。『ライフ イズ ストレンジ』のIPを持ちながらこの状況は本当に厳しい。