日記
- GitHub Copilotは解決済みにした会話にも対応してしまう（2026年3月1日）：GitHub CopilotにレビューさせるとコメントについてImplement suggestion
- DependabotがGitHubのリポジトリシークレットを読めるようにした：Dependabotがリポジトリシークレットを読み取れずにワークフローが失敗していた。GitHubリポジトリの設定にDependabot用のリポジトリシークレットの設定が別で用意されていたのでそれを設定した。
- Google DriveとGitHub Actionsの連携でMDXファイルを管理：当サイトのMDXファイルをGoogle Driveで管理するようにし、GitHub Actionsで自動的に同期して更新する仕組みを構築した。
- Node.jsのRust製バージョンマネージャーfnm：久しぶりにNode.jsのダウンロードページを見に行ったら新しいバージョンマネージャー fnm というものが推奨されていた。
- Honoのvite開発サーバーで拡張子を付けると404 Not FoundになるのはMDXファイルに拡張子を含めれば解決した：Honoのvite開発サーバーで拡張子を付けると404 Not Foundになって不便だった件について、MDXファイルに拡張子を含めることで解決しました。
- HellPotでクソボットアクセスを捕らえる（2024年10月16日）
- VSCodeの統合ターミナルのPowerShellのコードページをUTF-8に変える（2024年4月11日）
- Lean 4の直和型―number | number ≠ number!?（2024年3月28日）
- 『Theorem Proving in Lean 4』読了（2024年3月23日）：定理証明支援系Lean 4による定理証明の方法を勉強しました。
- サイトをHonoXでリニューアル（2024年3月20日）：Rakuで自作していたサイト生成機構をHonoXで作り変えました。
- 2020年7月20日の日記：SSH先の開発環境のコードを手元のVisual Studio Code上で編集できるようにした。
- 2020年7月4日の日記：浜弓場双先生の作品展に行ってきた。
