OpenAIによるナビエ–ストークス問題の解決発表と、先行研究をめぐる異議が一日を占めた

1日の経過秒を時・分・秒へ分解する関数を、除算と剰余を避ける形に組み直して高速化した解説記事。

説明と検証の丁寧さへの称賛が並び、著者は前回の曜日計算の記事の副産物として60進数から64進数への変換を思いつき、それを最大限使えるように関数を再構成したと述べている。高水準の言語しか書かない立場からは除算や剰余は単一命令で最適だと思い込んでいた、という感想や、性能についてはプロファイラとデバッガから学んだ、という投稿もあった。

定数による除算や剰余がコンパイラによって掛け算へ書き換えられることは知られているが、同じ定数での除算と剰余が1回の掛け算にまとめられる例はまだ見たことがない、という指摘があり、FRDC最適化(arXiv:1902.01961)が参照された。

表記が最短になるIPv6アドレスを探し、実際に応答が返るものを調べた記事。

コメントでは、0.0.0.0にpingすると通常は最初のホップが応答するので、その6to4にあたる2002::も6to4ゲートウェイが返しているだけではないかという推測が出た。著者はtracepathの経路が17ホップに達することを示して反論している。

6to4はRFC 7526で10年以上前に非推奨になったものの、Hurricane Electricが古くからのトンネルブローカーを運用し続けているためではないかという補足も並ぶ。最短は::、pingできるものは::1、公開アドレスとして最短なのは2409::だという整理や、::1はポート指定では[::1]:8080と書く必要があるという余談も出た。

独立系ブラウザLadybirdの8月分の進捗報告。

技術面のコメントは少なく、StyleBenchではFirefoxのRust製スタイルエンジンが今も最速だという指摘が目立つ程度だった。

議論の大半はプロジェクトの姿勢に向かい、スポンサー企業の顔ぶれを問題視する投稿や、ドキュメント中の代名詞をtheyに変えることを開発者が拒んだ経緯への言及が並んだ。特定の語を使って批判する投稿に対しては、その意味を尋ねる質問と、根拠として挙げられた一覧へのリンクが返されている。いずれもコメント側の主張として書かれたもの。

Rustプロジェクトによるデバッグ環境の利用実態調査の結果発表。

コメントで最初に来たのはグラフへの不満で、図ごとにYesとNoの色が入れ替わっていて読みにくいという指摘が続いた。

Pythonのbreakpoint()やGoのruntime.Breakpoint()に相当するものが欲しいという要望に対しては、std::intrinsics::breakpointが既にあるが nightly でしか使えず、print debuggingを置き換えるという趣旨を果たせないという返答があった。安定化はsoundnessの解釈の違いで止まっている、という経緯も説明されている。

HTML、CSS、メディア、シーク可能なアニメーションを決定的なMP4動画へ変換するオープンソースのフレームワーク。CLIとしてローカルで使うほか、AIコーディングエージェントからスキル経由で、あるいはホスト型の制作ワークフローのレンダリング基盤としても使える。

エージェントから使う場合は npx skills add heygen-com/hyperframes でスキルを導入し、/hyperframes ルーターが必要な制作ワークフローを都度入れる構成。非対話的な実行では npx hyperframes skills update を使うと、リポジトリ内の全SKILL.mdではなくコアのスキルだけが入る。

公開されているスキルは20本で、ほかに .claude/skills と .agents/skills 配下にリポジトリ内部用が6本ある。

PDF、PowerPoint、Word、Excel、画像、音声、HTMLなどをMarkdownへ変換する軽量なPythonユーティリティ。見出し、リスト、表、リンクといった文書構造を保つことに重点を置いている。

出力は人間にも読める体裁になるが、想定している読み手はテキスト解析のパイプラインであり、人間向けの高忠実度な変換が必要なら別のツールを使うよう明記されている。

READMEの冒頭は警告で、MarkItDownは呼び出したプロセスの権限でI/Oを行うため、信頼できない環境では入力を検証し、convert_stream() や convert_local() のように必要最小限の関数を選ぶよう促している。

エージェントハーネスの性能最適化を掲げるプロジェクト。npx ecc-universal setup で導入し、Node.js 18以降、Git、Claude Code 2.1以降をPATH上に要求する。

READMEは公式の配布元だけを使うようにという警告から始まる。GitHubリポジトリ、npmのecc-universalとecc-agentshield、GitHub App、プラグインスラッグecc@ecc、サイトecc.toolsのみが正規であり、第三者による再アップロードやミラーは保守もレビューもされておらずマルウェアを含む可能性があるとしている。

READMEは日本語を含む13言語に翻訳されている。

エディトリアル志向の図版を生成するスキル集で、Claude Code、Codex、Factory Droid、PiなどAgent Skills対応のホストで使える。出力は影を使わない自己完結のHTML+SVGで、Mermaidの生成物とは別物だと位置づけている。

2.5.10でSankey、フィッシュボーン、Wardleyマップ、カンバン、ユーザージャーニー、デプロイ図、依存グラフ、UMLクラス図、ストーリーマップ、データベーススキーマの10種が加わり、型は39種類になった。

レイアウトと振る舞いを分けたセマンティックパターンにより、キューやポリシーの追跡、信頼境界を型を増やさずに表現できるとしている。静的HTMLが既定で、順序のある説明にはモーションを任意で付けられる。

Camoufoxを土台にしたエージェント向けのブラウザサーバー。PlaywrightやヘッドレスChromeがブロックされたりフィンガープリントで識別されたりする問題に対し、Camoufoxはnavigator.hardwareConcurrency、WebGLのレンダラ名、AudioContext、画面の寸法、WebRTCをC++の実装レベルで偽装する。

このプロジェクトはそのエンジンをエージェント向けのREST APIで包み、肥大したHTMLの代わりにアクセシビリティのスナップショットを返し、クリック対象を安定した参照で指せるようにしている。

git cloneしてnpm install && npm startを実行するとlocalhost:9377で起動する。

AIコーディングエージェントにマーケティング業務を任せるためのスキル集。コンバージョン最適化、コピーライティング、SEO、アナリティクス、グロースエンジニアリングを対象とし、技術寄りのマーケターや創業者を想定している。

Claude Code、OpenAI Codex、Cursor、WindsurfなどAgent Skills仕様に対応したエージェントで動く。ターミナルやコーディングエージェントが初めての人に向けた案内も別に用意されている。

作者はCorey Haines。READMEからは本人のコンバージョン最適化の代理店、ニュースレター、有償トレーニング、これらのスキルを使う自律エージェント製品へのリンクが並んでいる。

「コンテキスト問題のもう半分」を掲げるツールで、npmパッケージとして配布され、Claude Code向けのプラグインとしても登録されている。

構成は3つ。ツールの出力をサンドボックスに閉じ込めて98%削減し、セッションをまたぐ記憶を保持し、MCPとフックを通じて17のプラットフォームでルーティングを強制する、というもの。

READMEの冒頭は大半がバッジで占められており、利用者数、npm、マーケットプレイス、スター数、フォーク数、最終コミットを、リポジトリに置かれたstats.jsonからjsDelivr経由で動的に取得して表示している。

KarpathyがLLMによるコーディングの落とし穴として挙げた点を、Claude Code向けの単一のCLAUDE.mdに落とし込んだリポジトリ。

引用されている問題は、勝手に前提を置いて確認せず走り出す、自分の混乱を扱えず質問もしない、矛盾やトレードオフを示さず押し戻すべきときに押し戻さない、というもの。加えて、コードとAPIを過度に複雑にして抽象を膨らませ、死んだコードを片付けず、100行で済むところを1000行の構築物にする、十分に理解していないコメントやコードを本題と無関係でも副作用として書き換える、という指摘も並ぶ。

READMEは英語と簡体字中国語が用意されており、冒頭は作者の別プロジェクトの紹介から始まる。

Next.js 14、Tailwind CSS、TypeScriptで作られたクロスプラットフォームの映像アグリゲーター。複数のソースを横断検索し、オンライン再生、お気に入りの同期、再生履歴、クラウド保存に対応する。

HLS.jsとArtPlayerを組み込み、Kvrocks/Redis/Upstashに保存して複数端末で進捗を同期できる。PWAとしてインストールでき、デスクトップはサイドバー、モバイルは下部ナビゲーションという応答型のレイアウトになっている。

デプロイした時点では中身は空で、再生元とライブのソースは利用者が自分で集める必要がある。ライセンスはCC BY-NC-SAで商用利用を禁じている。

群知能と役割を分けたAIエージェントを組み合わせ、市場分析、リスク管理、執行までを人手をほとんど介さずに行うことを掲げたプロジェクト。エンタープライズ向けの自律ヘッジファンドを名乗っている。

現在の対応範囲はSolana上での完全自律取引で、Coinbaseほかの取引所は今後対応予定と書かれている。

READMEはDiscord、YouTube、LinkedIn、Xへのリンクから始まり、機能の説明より導線が先に来る構成になっている。

社内向けHTML共有サービス「Artifact Share」を1人で開発している記録。開発開始から4ヶ月でTypeScriptは25万行、マージしたPRは1,144本、Issueは777件。著者が普段見ているのはIssueとPRのタイトル、CIが緑かどうかの3点だけで、コードもPR本文もAI同士のレビュー結果も読まない。

7月から課金を始めており、無料利用を含むワークスペースは133。直近4週間のマージは233本で差し戻しはゼロ、全停止するようなサービスダウンも起きていないとしている。

立ち上げ期は事前のガードレールを一切用意せず、事故が起きるたびにIssueを立ててAI自身に対策を作らせる進め方を採った。利用者が既にいるサービスや大人数のチームでは取れない方法だと明確に断っている。

きっかけは、モデルの世代差を5才児向けの絵本として説明させたところ、リリースノートを読むよりずっと早く何が変わったのかを掴めたこと。読者のレベルを極端に下げる指示は、モデルに要約ではなく構造の抽出を強制する、という気づきから始まっている。

題材は、人事情報の変更からアカウント作成や権限剥奪のタスクを生成する2,000行超のKotlinのクラス。割当種別ごとの分岐、前倒しと後ろ倒し、削除日の調整、メモリ対策のストリーミング化が重なり、修正そのものより理解までの負荷が大きい対象になっている。

Claude Codeに「中学生でもわかるような1枚のHTMLアーティファクトに図解も入れて」と頼むと、呼び出し元と呼び出し先を辿り仕様書も参照した上で、日記としおり・時点ごとの写真・付箋ボードというたとえで8ステップに分解したページを返した。

不具合修正のPRには実装と再発検知のテストが同時に入るため、そのテストが修正前のコードで落ちていたかどうかはCIの緑からは分からない。レビュアーが手元で修正を戻して確認しても、結果はその場限りで残らない。

解決策として、失敗したときにPassと判定されるVitestのtest.failsを使い、再現テストだけのPRを先に作る。「今のコードではこのテストは落ちる」という主張を、CIが検証できる形で宣言し、その上に修正のPRを積む。

呼称は著者の造語で、TDDのRed-Green RefactorとGitHubのStacked PRを組み合わせたもの。2026年9月時点でGitHubのStacked pull requestsとgh stackはPublic Previewであり、仕様やCLIが変わりうる点にも触れている。

ドメインモデル貧血症は怠慢の結果ではなく、構造的なトリレンマから生まれやすい、というのが結論。判断するために何が必要かを型で返せば、型の制約を保ったままトリレンマを解けるとしている。

戦術的パターンの目的にはモデル駆動設計、不変条件の保護、テスタビリティ、交換可能性の4つがあるが、この記事が扱うのはモデル駆動設計だけ。ここでのビジネスロジックは業務上の規則そのものを表す条件分岐を指し、err != nil のようなインフラの失敗やリクエストの形式検査は含めない。

層の数は同じで違うのはifの置き場所だけであり、domainに寄せればDB無しでテストが書け、仕様変更の反映先が1箇所に収まる、と整理している。

React JSON Schema Formで作られた管理機能40画面近くを、デザインシステムを作った上でReactコンポーネントの直書きへ全面的に作り直す試み。JSON Schemaから画面が生成されるためAIが完成形のDOMを想像できず、不具合と手直しが多かったことが動機になっている。

進め方は画面ごとに、要件の洗い出し、別Agentによる要件レビュー、新規実装、新旧の挙動比較テストの4ステップ。Main Agent、Test Agent、Backend Agentをそれぞれ独立したClaude Codeとして起動し、セッション間通信で問い合わせる構成にした。

最初の試みは翌朝に「N画面中M画面終わっています。続けますか？」で止まっており、完了したはずの画面もテストや問い合わせが抜けたまま放置されていた。途中でcompactionが走り最初の指示が薄れたためと見ている。

現在のキューブの状態と過去の手順を受け取り、次の1手を自己回帰的に生成するモデル。学習後は初めて見る局面の99.83%を1回の生成で解いた。

ルービックキューブの状態数は約4.3×10^19。depthが1増えるごとに状態数は急増し、depth 6までの累計は約824万局面で表引きに近い形でも覚えられるが、depth 7だけで約1億局面あり丸暗記では厳しくなる。God's Numberは20。

状態は54面で表せるが、毎ステップで54トークンを挿入すると生成系列の大半が状態表現になってしまう。そこでState Encoderで1つのベクトルへ変換してTransformerへ直接入力し、状態からactionを生成しては世界が変わるWorld Action Modelとして扱っている。

Claude Codeに実装させるとコメントが長くなるため、「コードから復元できない情報だけを書く」というルールを .claude/rules/ とグローバルの ~/.claude/CLAUDE.md に置いた。

しかし期間と本数を広げて測り直すと、PR 1本あたりのコメント比率の中央値はルールなしで18.5%、rulesに表形式で21.0%、CLAUDE.mdに禁止リスト形式で19.1%と、ほとんど減っていなかった。前回の記事で報告した21.1%から8.8%への低下は再現しなかった、と訂正している。

そこでPR作成に使う /pr skill に、git diffからコメント行を抽出して1行ずつ残すか消すかを判定させる手順を足した。判定表の中身はCLAUDE.mdの禁止リストとほぼ同じで、変えたのは思い出すものから必ず通す手順にした点だけだという。

GTX 1060とRTX 2060からRTX 5060 Ti 16GBへ移行し、ローカルLLMに再挑戦した記録。3090以上は30万〜90万円になるため10万円程度が上限だったと説明している。

Qwen3.8 27Bの量子化モデルを一覧で比較しており、公式のQ4_K_Mは17.77GBで16GB VRAMに収まらず、Q3_K_Mが14.61GB、Unsloth Dynamic量子化のUD-IQ3_Sが12GBという収まり方になっている。

もう一つの対象がQwen Flash-Next。アクティブパラメータが6BでVRAM 6GB程度でも動くが、重みをRAMに置く仕組みのためメインメモリ128GBが必要とされる。--ngram-ssd でRAMではなくmmapでSSDへ逃がす方式もあり、OSのページファイルより速いという。

上から順に効きそうなところを試す構成。ただし .dockerignore、マルチステージビルド、ベースイメージの軽量化、ビルドキャッシュの活用はビルドやpull、コンテナの再作成と起動の時間に効くもので、稼働中のページ応答を直接速くする対策ではないと最初に断っている。

第1段はリソースの掃除。docker system df でRECLAIMABLE列を確認し、数十GB単位で溜まっていれば docker system prune で未使用のイメージ・コンテナ・ネットワークをまとめて削除する。

第2段はボトルネックの特定で、docker stats --no-stream のCPU %とMEM USAGEを見る。1つのコンテナだけ突出しているなら、Docker自体ではなくそのアプリケーション側に原因がある可能性が高いとしている。

実装時間は短くなっても、生成されたコードを理解するのに時間がかかるため開発全体は期待ほど速くならない、という実感が出発点。最初に作ったレビューガイドでは個々の処理は追えても、それらがどうつながり、なぜその構成なのかまでは理解できなかったという。

原因は読み方ではなく依頼前の準備にあると考え、全体像と実装範囲を先に自分の言葉で説明できる状態にする方針へ切り替えた。範囲が曖昧なまま依頼すると想定外の例外処理や抽象化が混ざるが、依頼した側も完成形を描けていないためそのズレに気づけない。

AIとの壁打ちで要件と実装範囲を整理しADRに残した結果、レビューの指摘が減り、自分の意図を説明しやすくなり、AIとのラリーも減ったと報告している。

Claude Codeはセッションのタイトルを2種類持つ。ai-titleは1往復目の後に自動生成され、--resume の一覧やターミナルのタイトル、/status に出る。custom-titleは /rename やフックで明示的に設定し、入力欄の右下のチップにも出る。

自動生成されたai-titleは ~/.claude/projects/ 配下のセッションごとの .jsonl に {"type":"ai-title","aiTitle":"..."} という行で書き込まれているが、チップが読むのはcustom-titleだけであり、文言はすでに作られているのに表示される場所へ渡されていない。

そこでUserPromptSubmitフックで所定のJSONを標準出力に返し、ai-titleをcustom-titleへ移すことでセッション名の自動化を実現している。

Reactの勝利が新たな問題の始まりだったという立て方で、Create React AppがSPAしか作れなかったところから話を始める。SPAの三重苦として、巨大なバンドルサイズ、当時の検索エンジンがJavaScriptで生成されたコンテンツを扱えなかったこと、画面遷移ごとのローディングを挙げている。

構成は、一人のハッカーの挑戦、Next.jsの6つの原則、ISRとGatsbyとの競合、Vercel時代のテレメトリ問題、App Routerの混乱とRSCの脆弱性、という流れ。

最後に、なぜ開発者はNext.jsから離れられないのかを扱う。同じ内容の動画解説も併載されている。

未経験からIT業界を目指す人と話す中で、「効率よく学びたい」が「できれば自分で考えずに答えだけ知りたい」に変わっている場面がある、という指摘から始まる。効率を求めること自体は自然であり、同じことを繰り返すより良いやり方を探すのは悪いことではない、と前置きしている。

最短ルートを知りたいと思うのも、調べるほど情報が増えて迷うのも当然だとした上で、分からないことが出てきたときにすぐ答えを探すのか、少し自分で触るのか、なぜうまくいかないかを考えるのかを問いかけている。

採用担当が見ているのは何を勉強したかだけではなく、分からないことにどう向き合うかでもある、と結ぶ。IT の仕事では毎回答えが用意されているわけではないから、という理由が添えられている。自社の採用ページへの導線を含む記事。

AWSの個々のサービスは知っていても全体構成が掴めない人を対象に、実務でよく使われる構成を一例として説明する記事。要件や規模、コスト、セキュリティポリシーによって最適な構成は変わる、と最初に断っている。

全体は、インターネットからのリクエストを受け付けるパブリックサブネットと、外から直接触れさせないプライベートサブネットに分かれる。ALBがリクエストを受けてプライベートサブネット内のECSタスクへ転送し、ECSやLambdaのアウトバウンド通信はNAT Gatewayを経由する。

RDSはデータを永続化するDBサービス、VPCエンドポイントはAWSのマネージドサービスへの通信をインターネットを介さずに行う仕組み、と役割と理由をセットで説明する構成になっている。

本番でマジックリンクからログインできないという報告があり、リンクを押すと一瞬Ciscoのリンクが開くという証言から調査した記録。原因は利用者側で導入されているCisco Secure EmailのURL解析機能が、利用者より先にリンクを開いて1回限りのトークンを消費していたことだった。

構造上の原因は、GETリクエストに認証トークンの消費という副作用を持たせていた点にある。HTTPの仕様上GETは安全なメソッドと定義されており、クローラーやプリフェッチ、リンクプレビューはその前提で先読みしてくる。

同じ構造はパスワードリセット、招待メール、退会確認にも当てはまる。検証環境はNext.js 15.5.23のApp Router、better-auth 1.6.30、Node.js 22、AWS(CloudFront + ALB + ECS)。