ブログ

한국어English日本語中文

#2026-03 764#japanese 587#deep-dive 254#kubernetes 247#culture 236#career 224#ai 214#llm 208#devops 193#2026-04 144#security 139#observability 113#database 110#communication 107#architecture 100#productivity 88#finance 87#mindset 80#ai-papers 79#history 79#it 78#psychology 78#english 75#networking 74#deep-learning 73#gpu 70#linux 70#performance 70#cs-fundamentals 63#ai-agent 61#postgresql 59#rag 59#economy 57#mlops 53#self-improvement 53#ai-platform 51#food 51#learning 51#python 51#travel 51

• ターミナルへ戻った創業者 — HashimotoのGhostty、Zigという賭け、そして「義務のない」オープンソース

  HashiCorpの共同創業者Mitchell Hashimotoが、成功した創業者の座から再び降りて、ターミナルエミュレータGhosttyをまだ1.0にも達していない言語Zigで作る理由を、最近のインタビューを土台に整理します。彼は15年もCLIを作ってきながらターミナルの動作を分かっていなかったと認め、鈍った腕を研ぎ直すためにGPU、デスクトップ、Zigへ降りたと語ります。Zigは0.15で出力インターフェースがほぼ全面的に変わるほ

  2026-07-11 · 13 分で読めます #ghostty#zig#open-source#terminal#mitchell-hashimoto

• エリート選手のメンタル、ポスターを剥がして — マインドセット・意図的な練習・プレッシャーの実際の根拠

  「エリート選手のメンタル」は動機づけポスターの定番の題材ですが、実際のスポーツ心理学はそれよりずっと慎重で、だからこそ興味深いものです。この記事は、Carol Dweckの成長マインドセット(そして彼女自身が警告した「偽の成長マインドセット」)、Anders Ericssonの意図的な練習と「1万時間の法則」がどう誤解されたか、プレッシャー・集中・セルフトーク・マインドフルネスに関する研究を整理します。何に根拠があり何が標語にすぎないの

  2026-07-11 · 11 分で読めます #mindset#psychology#performance#sports#deliberate-practice

• 遅いパソコンでGLM-5.2を動かす — colibrìが744Bモデルをディスクからストリーミングする仕組み

  colibrìは純粋Cで約1,300行の推論エンジンで、744B(7,440億)パラメータのMoEモデルであるGLM-5.2を、RAM 25GBのコンシューマPCで動かします。鍵はMoEの疎性とディスクストリーミングです。約9.9GBの密なレイヤーだけをRAMに常駐させ、約370GBのルーテッドエキスパートはNVMe SSDに置いてトークンごとに必要な分だけ読み込みます。代償は正直に遅く、コールド状態で約0.05〜0.1 tok/s、実

  2026-07-11 · 8 分で読めます #ai#llm#local-inference#moe#quantization

• 拡散 LLM が CUDA カーネルを書く — DICE と、なぜ並列生成が効きうるのか

  DICE は 2026 年 2 月のプリプリントで、拡散(diffusion)大規模言語モデルが CUDA カーネル生成において同規模の自己回帰(autoregressive)モデルを上回り、新たな最高性能(SOTA)を打ち立てたと主張します。核心は、トークンを左から右へ一つずつ書く代わりに、系列全体を並列に生成し、どの位置でも非逐次的に書き直せることです。大域構造が重要なコードという課題に合いそうな性質です。著者らは CuKe という

  2026-07-11 · 12 分で読めます #ai#llm#diffusion#cuda#gpu

• 時間ではなくエネルギーを管理する — 2026年ウェルネストレンドを冷静に読む

  2026年の自己啓発・ウェルネスの言説は、時間管理からエネルギー管理、神経系の調整、感情のフィットネスへと重心を移しています。しかしこの枠組みは、実は2007年の Harvard Business Review 記事に由来する古いアイデアです。トレンドレポートの観察と実際のエビデンスを分け、誇張を除いて使える部分だけを選びます。

  2026-07-11 · 12 分で読めます #self-improvement#wellness#productivity#energy#recovery

• ステップごとにどれだけ考えるかを選ぶ — Ares の適応的な推論努力ルーティング

  Ares(2026年3月のプレプリント)を実務の視点から整理しました。この論文は、推論努力をタスク全体ではなくステップ単位のコストレバーとして扱います。軽量なルーターが相互作用履歴を見て、各ステップに必要な最も低い推論レベルを予測し、すべてのステップを最大努力で回す無駄を減らします。著者はTAU-Bench・BrowseComp-Plus・WebArenaで推論トークンを最大52.7%まで削減し、成功率の低下はわずかだったと報告していま

  2026-07-11 · 8 分で読めます #ai#agents#llm#efficiency

• 兵役後の BTS：「アリラン」の記録と 360 度ステージで読む復帰の規模

  BTS がメンバー全員の兵役を終えて初めて発表したグループアルバム「アリラン」は、2026 年 3 月 20 日にリリースされ、初週 641,000 のアルバム換算枚数で Billboard 200 に 1 位デビューしました。通算 7 度目、2022 年「Proof」以来の 1 位で、3 週連続で首位を守りました。同名の「アリラン・ワールドツアー」は 2026 年 4 月 9 日に高陽で開幕し、34 都市・23 か国で 88 公演を超

  2026-07-11 · 11 分で読めます #kpop#bts#music#korea#touring

• コーディングベンチマークはエージェント時代とズレている — リーダーボードがエージェントを誤って比べる三つの理由

  Tessl のチームが 2026 年 6 月に arXiv へ投稿したポジション論文は、今日のコーディングベンチマークがエージェント型のソフトウェアエンジニアリングと根本的にズレていると主張します。ベンチマークは個々のモデルを測るために作られたのに、私たちはそれで、モデル・ハーネス・コンテキスト・環境・フィードバックが絡み合ったシステム全体を比べているからです。論文は三つの具体的なズレ — モデルとハーネスをひとまとめにする点数、単一正

  2026-07-11 · 11 分で読めます #ai#agents#evaluation#software-engineering#coding-benchmarks

• スタジアムだけで回るツアー：ブラックピンク「Deadline」が語る女性 K-pop の経済学

  ブラックピンクの「Deadline」ワールドツアーは、グループ初の全スタジアムツアーとしてマーケティングされ、2025年7月5日の高陽から2026年1月26日の香港まで行われました。先行シングル「Jump」は2025年7月11日に発売され、ビルボード・グローバル200に1位で初登場しましたが、同名の5曲入りEPはツアー終了後の2026年2月27日にようやく発売され、初日に約146万枚というガールグループ記録を打ち立てました。ただし総公演

  2026-07-11 · 10 分で読めます #kpop#blackpink#music-industry#korea#touring

• 普遍的な概念としての計算 — 何が堅牢で、何が誇張なのか

  Tim Roughgardenが教える「普遍的で根本的な概念としての計算」という講義が話題です。実際の中身は、停止性問題、アルゴリズムの効率、NP完全性、そしてPとNPを扱う堅実な計算理論です。この記事は、その堅牢な核心と、宇宙や心が文字どおり計算だという、より大きな主張とを切り分け、「すべては計算だ」がどこから反証不可能な言葉になるのかを問います。

  2026-07-11 · 14 分で読めます #computer-science#computation#complexity#theory#philosophy

• アップルがOpenAIを提訴した — 人材の移動と営業秘密法、開発者の読み方

  2026年7月10日、アップルがOpenAIと元社員2名、そしてOpenAIのハードウェア子会社io Productsをカリフォルニア州北部地区連邦地裁に提訴しました。営業秘密の不正利用と契約違反が柱です。本稿はアップルが「主張」する内容を主張として明確に切り分けたうえで、この訴訟の本当の争点 — カリフォルニアでは競業避止契約が無効であるため、営業秘密法が人材の移動を規律するほぼ唯一のてこであること — を開発者の視点から解きほぐしま

  2026-07-11 · 11 分で読めます #openai#apple#trade-secrets#legal#industry

• 効果的なAIエージェントを作る — 5つのワークフローパターンとエージェントのリファレンス

  Anthropicのエンジニアリングガイド「Building Effective Agents」を実務リファレンスとして整理しました。ワークフローとエージェントの正確な区別、すべての土台となる増強されたLLM(検索・ツール・メモリ)、そして5つのワークフローパターン(プロンプトチェイニング・ルーティング・並列化・オーケストレーター/ワーカー・エバリュエーター/オプティマイザー)を、それぞれの使いどころと具体例とともに扱います。自律エージ

  2026-07-11 · 16 分で読めます #ai#agents#llm#engineering#anthropic

• ACSM フィットネストレンド20年 — 美容から、メンタルヘルス・寿命・データへ

  アメリカスポーツ医学会(ACSM)の世界フィットネストレンド調査が今年で20回目を迎え、2026年の首位はふたたびウェアラブル技術でした。この記事は上位10項目を整理しますが、順位そのものより20年が描いた軌跡を読みます — 「減量」が「体重管理」へと名前を変え、運動する人の78%が精神的・情緒的な健やかさを最大の理由に挙げるという変化です。これが約2,000人の専門家による認識調査であって大衆の行動の測定ではないこと、ウェアラブルを持

  2026-07-11 · 12 分で読めます #fitness#health#trends#wellness#wearables

• 成功した会社はどのように視力を失うか — エンジニアリング組織の能力の失明

  Ian Reppel のエッセイは、成功した会社が彼の言う「能力の失明（competence blindness）」に陥ると述べます。メキシコの洞窟魚が自らの目を抑制するように、環境がもはや報いないために、丁寧なエンジニアリングを発現しなくなるのです。これは単なる放置ではなく能動的な抑制であり、古典的な破壊的イノベーションとも異なります。本稿はその主張を忠実に伝えたうえで、それがエンジニアリング組織でどのように現れるかを見ます。誰も問え

  2026-07-11 · 17 分で読めます #engineering-culture#organizations#legacy#metrics#leadership

• スクレイパーは今や数百万の家庭用IPからやってくる — residential proxyとオープンソース基盤の消耗戦

  2026年7月10日、LWNのJonathan Corbet氏がスクレイパー状況のアップデートを公開しました。中心には二つの事実があります — residential proxy(家庭用プロキシ)がIPベースのブロックを事実上無力化し、AIクローラーのゴールドラッシュがその需要を満たしています。一度の攻撃で、数時間のあいだに数百万の異なるIPアドレスがサイトを叩き、それぞれ二〜三回しかアクセスしません。この記事は、なぜブロックが構造的に

  2026-07-11 · 12 分で読めます #web-scraping#residential-proxy#ai-crawlers#anubis#infrastructure

• Hybrid SWA による長コンテキスト推論の最適化 — Xiaomi MiMo v2.5 が実際に行ったこと

  スライディングウィンドウアテンション（SWA）とフルアテンションを層ごとに交互配置するハイブリッド SWA は、長コンテキスト推論の KV キャッシュメモリと計算量を同時に削減する最近の主流設計です。Xiaomi が公開した MiMo v2.5 推論最適化の記事を根拠に、ハイブリッド SWA とは何でなぜ重要か、MiMo v2.5 が実際にどんなアーキテクチャとシステムエンジニアリングを行ったか（70 層中 10 層のみフルアテンション

  2026-07-11 · 14 分で読めます #ai#llm#inference#attention#optimization

• K-pop「システム」は国籍と切り離せるか — KATSEYE という実験

  KATSEYE は、韓国のアイドルグループを生み出すのと同じ練習生パイプラインを通じて HYBE とゲフィン・レコードが作り上げた、ロサンゼルス拠点の 6 人組ガールグループです。しかしメンバー自身は、自分たちは K-pop ではなくグローバルグループだとはっきり語ります。2026 年、このグループは最優秀新人賞と、「Gabriela」での最優秀ポップ・デュオ/グループ・パフォーマンスの二部門でグラミー候補となり、式典のステージにも立ち

  2026-07-11 · 11 分で読めます #kpop#katseye#music-industry#culture#globalization

• 開発者がGitHubを離れてCodebergへ向かう理由 — そして離れるときに実際に失うもの

  GitHubを離れてCodeberg・Forgejo・セルフホスティングへ移った、という記事が急に増えています。背景にはGhostty・Zig・Gentooの離脱、頻発する障害、MicrosoftのCoreAI編入、そして2026年4月のAI学習デフォルト反転があります。本稿は実際の一次資料に基づき、何が人を動かしているのか、CodebergとForgejoが実際に何を与えるのか、そしてGitHubを離れるときに本当に失うもの(ネットワ

  2026-07-11 · 12 分で読めます #github#codeberg#forgejo#self-hosting#open-source

• RustでKubernetes GPUオペレーターを作る — kube-rsで実際のクラスターを診断する

  8ノードの実運用ホームラボクラスター（k8s v1.32.5）を相手に、kube-rsを使ってGPUオペレーターをRustで自作して動かしました。GpuInventoryカスタムリソースを定義し、2つのコントローラー（ノードスキャン→CR状態の記録、ノード監視→ConfigMap更新）を1つのバイナリで起動し、クラスターの外で実行しました。そして、オペレーターが実際に吐き出した結果 — GPUノード4個のうちReady 0個、つまりGP

  2026-07-11 · 9 分で読めます #rust#kubernetes#operator#gpu#kube-rs

• AI コーディングモデルの評価で信号とノイズを見分ける — SWE-bench が揺らいだ理由

  OpenAI の評価チームは、最も広く使われるコーディングベンチマークである SWE-bench Verified が、汚染と設計上の欠陥のためにもはや意味のある信号を与えないと指摘します。信号（モデルを見分ける力）とノイズ（実行ごとに揺れる変動）という二つの軸で見直すと、リーダーボードの順位の多くがノイズの上に立っていることが分かります。汚染・ハーネスの差・採点不能な課題・過学習がどのようにスコアを膨らませるかを整理し、チームがコーデ

  2026-07-11 · 12 分で読めます #llm-evaluation#coding-benchmarks#swe-bench#benchmarks#ai-coding