gitgub copilot

何か知らんうちに切れてる。Agdaだとそれほどうれしくもないんだが、たまにばっちり当てるので

neovimのpluginをgit pull して終わりですか

この前の財布騒ぎで、いろいろカード関係が切れたのを良いことに切りまくってます

GPT4もしばらく要らんかな。Claud3 も試してみてます

なんか来年度も授業が多いんだよな