やるぞやるぞと言いながら1年が経過．Yulangがひとまず完成したのでまた作る話，サイトのエンジンを変えた話，研究が捗っていてどうしようもない話など
稼働しました．Algebraic Effects and Handlersに衛生性という謎概念がくっついており，マクロのような仕上がりになっています．バチクソに重いので再制作中です．謎に7 starsついています．マジでどっから見つけてくるんだこの人たち．
物持ちが悪いので当時の戦利品は全て紛失しました．引っ越しが何もかも悪い．当時あった方々には色々と失礼をしました．またやります．
最近はAIというものが流行っていて何を実装したいかだけ伝えれば作ってくれるというわけで「プラグインとブログシステムの関係ってプラグインの比重がありすぎるからもはやライブラリとRustコードとかの方が綺麗だよね」って言ったらloam-ssgが生えました．
自分で作ったエンジンなので，サイトのCSSを綺麗に読み込んでなんのフォントで何の文字が使われているか全て判定してクリティカルなサブセットフォントが作成可能．めちゃくちゃ表示が速くなりました．
妹の夫がTailscale/RustDeskを使いこなしていて嫉妬したのでどうせCloudflareを使っているならということでMyDNSという素晴らしい老舗を離れてCloudflaredを導入．めちゃくちゃ接続が速くなりました．
こういうところで小学生の心を取り戻していこうな．
$200プランに課金しないと研究もまともにできない時代になってきました．別に課金したらまともに研究ができるなんて誰も言っていないことに注意せよ．
ChatGPTのネタは好評なのだがCodexの筆運びが共同研究者からするとありえないくらい読めないそうで，ハーネスの作り方に苦心しています．これは未だに直らない．
Mozkey（もずきー）は内部でAIを使いつつ，実際の利点はMacのように変換候補をライブ的にガンガン表示することの方が大きい．嫌だったら1秒待つとAIが文脈を考慮した変換に直してくれる．意味がわからんくらい便利．胃袋どころか指を掴まれたらパソコンカタカタ勢はもうAI漬けになるしかありません．この記事もMozkeyで書いています．
ただ個人的にはtypoしたときにそれを直してくれないのが良くないなと思っていて，ここらへんの英字とひらがなの境界を直してくれるあたりは将棋AIみたいな探索手法が役に立つんじゃねえのみたいなことを妄想してみたりしています．
エクスプローラが重いので代替品をGPUIで作らせています．当然AIに．最近GPUIがタッチに対応し始めた（けど案の定Windowsには対応していない）のでプルリクを出してフォークしてタッチ対応などをしています．
ChatGPTで週200通送るのはとてもよいのだけど，コーディングにすると一番高級なプランですら1週間持たない．たまに大域的矛盾が存在しないかとかそういうところでお世話になるしかない．正直Solを要所要所で使う程度で問題が全て解決し，会話相手はTerraで良い．私の頭がAIに追いついていないのが主要因だと思っています．
先ほど某の妹の夫がTailscaleを使っていて妬ましかったという話をしましたが，こちらも導入しました．便利すぎる．個人的には家にサーバとサーバ兼作業マシンがあるのですが，こいつをスマホから操作して画像生成を出先で暇つぶしにやったりするのが簡単になったのがデカい．あとSyncthingも若干高速になる．
RustDeskも前は「ip打たないと繋がんないのかよ！」とか思っていたのですがTailscaleだったらipがちゃんと付与されるのでなんの問題もないことに気づき，最近3分くらいしか使わせてもらえなくなったTeamViewerに見切りをつけました．でもここらへん無料なの頭おかしいよな．Cloudflareもそうだけど……．
私の9年半の大学生活も終わりを迎え，ついにプーになりました．求職もしていないのでニートということになるでしょうか．嘘です．
フリーターをやらざるを得ないのですが，知り合いが雇ってくれました．ありがたみを噛み締めていきます．うまい飯など知っていたら教えてください．悔しがります．
というか同じ分野の研究者がAIをまともに使っていないので問題だけ解けてしまってマジで頭を抱えています．立ち回り方がわからない．論文にするのはまあ良いのですが，クオリティ担保のためにかなり大変な思いをしています．マインスイーパがソルバで溶ける部分を勝手に解かれてしまって運ゲーだけ押し付けられてるみたいな気分．
「それで研究として楽しいのか？」とよく聞かれるのですが，まだ「AIにとって良い質問」「要所を捉えた質問」という数学能力に依存する部分がかすかにのこっていて，そういうのがクリティカルヒットして答えがジャラジャラ出てくるというのがパチンコみたいで楽しいし，論文生成は工場ゲー・放置ゲーに近い楽しみがあります．健全ではないです．
Webプログラミングを真面目にやるということでサイトを真面目に更新しだして，私のリンクも貼ってくださいました．バナーがないのが悔しいので作りました．
人間を学校という狭い場所にぶち込んだら喧嘩するのは当然だと思っているのですが，インターネットという狭い場所に全員ぶち込んだらやはり喧嘩になるにきまっています．ここに来て人間のリンクが意味をなす．
人間が手で貼れるリンクなんてインターネット黎明期に思い描いたリンクと比べたら疎もいいところで，しかしこの持て余す広さこそがグローバルでなく人と仲良くする真髄なのではないかというきもします．インターネットで猿の群れを作ってダンバー数を守っていこう．
知り合いの大学や自分の大学でセミナーをするのは間違いないのでそれの準備はあるんですが，今しがたCodexのレートリミットに到達し，最大級の暇が訪れました．なんとかしてくれ．
またしばらくしたら会いましょう．