最近Padawan（Github Copilot Coding Agent）をお仕事で使っているのだがめちゃくちゃ開発体験が良い。

• イシュー作成（要件、設計の記述、実装方針の指示）
• →コーディング（エージェントに丸投げ）
• →レビュー、修正指示

のサイクルが簡単に回せてしまうのが良い。まあ結局PRのレビューの手間はかかってしまうわけで人間相手にレビューしているのと同じだけの大変さはあるのだけれど。

サールという哲学者の有名な思考実験に中国語の部屋というものがある。

英語しか喋れない人を部屋に閉じ込めて中国語の文章を与えて応答させる。このとき閉じ込められた人には辞書などを与えるのではなく、特定の記号の列が来たら、別の特定の記号の列を返すという事例が載ってある手順書を与える。この記号というのは要は漢字であり、漢文を与えられたときに別の漢文を返す手順書だけが与えられているということである。つまり部屋の中の人は中国語の意味は理解しないまま機械的に応答することになる。この手順書に完璧な応答パターンが網羅的に記述してあれば部屋の中の人が文章の意味を理解するということなしに外部の中国語話者と会話できるであろう。

ずっと個人環境はラップトップのWindows機でWSL2を動かして使っていたんだけど、あるときArch Linuxの環境を構築していて、これだったらもう直接Linuxデスクトップを入れた方が早くないかと思ってしまったので久しぶりにLinuxデスクトップを構築することにした。

年末年始の休みを利用してチャットサービスを作った。特に理由は無い。強いて言えば今自分の中でやりたい技術の組み合わせというのがある程度固まったので何かアプリケーションを組んでみたいと思っていて題材としてちょうど良かったということがある。

このブログはHugoで生成した静的webサイトである。 静的ページなので当然ながら読み込みは早い。Github Pagesで配布しているのでGithubのコンテンツキャッシュも効いている。 また一応アクセス解析のためにGoogle Analyticsを入れていて、大してアクセス数があるわけではないがモチベーションにつながっている。 ただしせっかく静的ページで読み込みを早くしているのにGoogle Analyticsのためにページロードの時間が割かれることにちょっと釈然としないものを感じていた。 GA一つでそこまで遅くなるわけではないけれど、頑張ってチューニングしたのにサードパーティスクリプトに律速されるのはなんとなく面白くない。