30分
Ghosttyの既存タブをtmuxなしで表示する — AX検証からTTYbirdへの実装まで
Ghosttyの既存タブをUUID指定で取得し、TTYbirdに選択時のプレビューを実装。AXの制約、非選択タブ・分割後の実測、クリップボードの限界を記録する。
続きを読むghosttyttybirdrustaccessibilityterminal
ブログ
技術記事、ソフトウェアエンジニアリング、日々の学び
29分
ISUCON14でCodexがClaudeの記録に届かなかった背景を、実装とログから調べた
Astra単体133,401点、Astra＋Sol協調48,123点。Claudeの過去記録との隔たりを、3時間内の変更、DB負荷、永続化条件、親子制御の失敗から分析します。
続きを読むisuconcodexclaudeai-agentsperformance
53分
Astra単体 vs Astra＋Sol：ISUCON11予選の3時間比較とCodex SDKでの再実行
Astra単体とAstra＋SolをISUCON11予選で比較し、Codex SDK・隔離workerで再実行。最高値と再起動後の差、親子の記録トークン、28分のworker枠占有不具合を、初回と区別して報告します。
続きを読むisuconcodexai-agentsperformanceaws
16分
ISUCON13を12,136点から445,684点まで改善した記録 — isutools・pprof・PGOで次の一手を決める
WSL2上のISUCON13 Go実装を、公式ベンチとisutoolsの同一区間計測で12,136点から445,684点まで改善した記録です。SQL・HTTP・pprof・PGOをどう読み、何を採用し、何を不採用にしたかを証跡付きで整理します。
続きを読むisucongoperformancemysqlpprofisutools
11分
VDA 5050の時系列障害を根拠付きで診断するOSS vda5050-lab
VDA 5050の単一メッセージ検証では扱えない再接続や状態遷移の問題に対し、証拠不足をINCONCLUSIVEとして扱う診断OSSを実装しました。1・2・5・10・50・100台の隔離MQTTデモとx/y traceによる検証方法を説明します。
続きを読むroboticsvda5050rustmqttopen-source
29分
ISUCON14を95,656点から567,276点まで改善した記録 — isutoolsで改善点を整理しながら
ISUCON14のGo実装を、isutoolsのSQL・HTTP・DB pool・CPU計測とベンチマーカーのcorrectness gateを使って95,656点から567,276点まで改善した記録です。割り当ての前後比較GIFと、traPの40万点実装との差分も整理します。
続きを読むisucongoperformancemysqlisutools
14分
isutools 開発日記 — Claude Code と Codex で1日でつくった ISUCON プロファイラ
ISUCON用プロファイラ isutools を1日でつくった開発記録です。発端はチームメンバーのSQLロガー。実装力も時間もない中でClaude CodeとCodexに頼り、設計書ファースト・TDD・ドッグフーディングで進めた過程と、「これで勉強になっているのか」「本番で差がつくのか」という正直な悩みを時系列で残します。
続きを読むisucongoossdevelopmentai
7分
isutools — 1行で組み込めるISUCON用オールインワンプロファイラ
ISUCONの計測はalp・pt-query-digest・pprof・topの行き来になりがち。isutoolsはsqlx.Openの1行書き換えだけでSQL・HTTP・nginxログ・プロセスCPU・DBスキーマ・pprofを1つのダッシュボードに集約するGo製OSS。計測オーバーヘッドは誤差内(-0.58%)。導入手順と全機能を解説。
続きを読むisucongoossperformanceprofiling
9分
League of Robot Runners 2026 に1人チームで出て、世界8位でした
Amazon Robotics 協賛のマルチロボット経路計画コンテスト League of Robot Runners 2026 Combined Track に1人チーム Rovnou として参加し、68チーム中8位(スコア5.55・完了134,905タスク)でした。Lifelong MAPF という問題、タイムスケール階層で設計した自作プランナー、1位チームとの差の分析を記録します。
続きを読むroboticsmapfalgorithmcompetitioncpp
26分
日本で小型ロボット実験環境を作るには——SO-101、Isaac Sim、群ロボットの実装と販売計画
SO-101 Followerの国内調達、STLからURDF／USDへの変換、NVIDIA Isaac SimとIsaac Labでの強化学習、Sim-to-Real、販売前の検証までを、未製作の構想として整理します。
続きを読むphysical-airoboticsisaac-simreinforcement-learningsim-to-real