でも Zed でも頑張って拡張機能を書けば診断を表示させることはできるらしいので今度書いてもらおう。Gemini に。
Gemini に 4～5 時間教えてもらい、ようやく Agda の LSP が Zed で動いたものの、型ホバーは出るが診断は出ないという悲しい結果になった
コードについての LLM の正確性はすごいなあ。コード書けないまま人生を終えそう。
また生活がハチャメチャになってきた
おかしいっスよ ホント…
三不粘をエロい目で見るなの動画、ちゃんと見たらかなり音 MAD だった
Gemini のやつ 100 円分のカード利用のお知らせが来たけどこれなんだろう
Google Gemini の学生無料特典をはじめた
ぬー
PreTeXt っていうのもあるのか
