/ddddddiary

ひとしきり AtCoder やる。C++ はちょっと慣れてきた。明日からもう一回、仕事の実装に戻るか・・・。会社の飲み会？的なのに出る。自分のテンションが高かった。余った料理を一人で全部持って帰る（と思ったら会社に置き忘れていた）。

AtCoder やる。C++ 慣れない。

Claude 3.5 の評判がいいので契約してみる。API は別料金なんかい。WebCatalogとかいう怪しいアプリ使って、ChatGPT と Claude がショートカット一発で立ち上がるようにする。色々試してるが、自分の用途では今のところ GPT-4o と大した違いは感じられない。というか GPT のほうがいい気がする。

超絶久々に人と会って飲む（自分は常にフリーです）。やっていくことしかできない。

CI とかマイグレーションの仕組みとかがやっと完成した。疲れた。テラフォーム（一番好きなフォームです）はローカルで実行して、CI で普通に update-function-code するだけ。

田中敦子亡くなったのか。。。早すぎるな。。

---

• https://nix.dev/tutorials/nixos/deploying-nixos-using-terraform.html
  • Nix と Terraform 組み合わせて宣言的に VPS 構成する　ええやん NixOS で自宅サーバ作りたい
• Dagger.io
• dagger で可搬性の高い CI/CD 環境を構築する｜クラウドテクノロジーブログ｜ソフトバンク
• Solving the “Works on my Machine” Problem - Dagger
  • Dagger、良さそうな気がする（流行ってないけど）
    • act 使わなくてもローカルでテストできるのは最高そう
• The Dhall configuration language
  • Dhall、JSON とか Yaml を吐き出せる設定ファイル用言語（型付き）
    • こういうの知らなかったけど色々あるらしい（Google 製の Cue, Jsonnet 、Apple 製の Pkl … ）
    • Dagger 設定ファイルはかつて Cue 言語だったらしい（そら流行らんわ）

うああ〜　Lambda とジョブキューで SQS つかうかもしれんから terraform で一気に作るか → でも Lambda って開発環境と本番どうやって分けるんだ → API Gateway でステージ作って Lambda の方で作ったエイリアス紐づければいいのか→っていうか関数動かないんだけど → API Gateway と Lambda 組み合わせると Lambda に来る値がプロクシされてキモいことになってた → めんどさいから API Gateway やめて Function Url にする、 Lambda 本番と開発二個つくる→ Github Actions 書く → あれなんか CI で terraform apply するたびにステージが消えるんだけど → っていうかこういうの（複数の環境に配置されたリソースを選択的に更新する）って terraform に書くべきじゃない？ → 意味のない terraform だよ

テラフォーム最高！一番好きなフォームです。

っていうか完全に過集中状態になっていてやばいモードに入りつつある。

---

• https://blog.nijohando.jp/post/2020/partially-managing-lambda-with-terraform/
  • -> Lambdaには、他AWSリソースと連携して動作するピタゴラスイッチ的なギミック、関数コードと依存ライブラリを元にビルドしリリースが必要なアプリケーション、という二つの側面がある。前者はまさにTerraformによる管理を必要とするところだが後者は逆にTerraformで管理すると辛くなるという二面性がある。
    • その通りすぎ