びしょ〜じょ

前回の続きを書きました｡ 実装はやったんであとはパッションて感じになりました｡ 型システムを使ったりeffect handlerをガチャガチャやるテクでDDDを実践するという内容です｡ OCamlでgRPCサーバは､書けます｡ 依存関係をエフェクトで文脈に持ち上げる - lilyum ensemble nymphium.github.io/2025/12/28/ddd…

claude code extra usage ワケ不明

ちょっと気を抜いたら日が暮れる時間がだいぶ長くなって夕方感がまだない

様々な存在に意味の在処を問いただすのはある意味で強い暴力なので、基本的にはあらゆるものに無関心というスタンスを意識すべき、またあるいは関心を寄せている自分の状態を

春休みなのだなあ

reCAPTCHAが難しくなった結果ログインするモチベが問題を解く熱意を超えられなくなりログインできなくなった

@potetisensei ｲｲﾈ･ 私はらいりゅうさんと沼duoしたあとフルパでボコした

@Nymphium ちな前に @katsura_jp とやった

これ本当に生きた心地がしなかった ドアマン（だっけ？）、アプデで意味分からんぐらい理不尽になってて普通に無理なんだけど。2連戦初戦だと本当に無理に近い

@potetisensei うん!

@Nymphium 今度な

プロポーザルを出した。関数型成分は少ないけどよろしくお願いします。

正直 @Nymphium さんのこれとかぶってるけど、俺は理論の話ができないが泥臭い話は得意なのでそういう側に寄せたい fortee.jp/2026fp-matsuri…

たしかにRustのようなdropのある言語で末尾呼び出し最適化は…と思ったが引数で使われるかどうかでdrop or moveでよくない？たぶんそんなに単純じゃないので困ってそう、deferのある言語などもデザインによりますね。

そういえばLua言語の主要な処理系通称PUC-LuaのVMには末尾呼び出し専用の命令があって末尾再帰する関数はコールスタックを消費しませんね

ジジイなんで友達と会ってもぼくらのウォーゲームがサァ！攻殻機動隊がサァ！エウレカがサァ！しか話さなかった。 マンガやアニメは思想のフレームのインスタンスなので共通の言語として機能すればなんでもOKです。

いや、いま改めて見るAKIRAいいな…

AI時代に再解釈するAKIRA、マジでおもろいね…

4KでAKIRAを観た。

@totsugeki_tai 俺達は…コーラフリークス…

@Nymphium コーラフリークス

LLMに適当に書かせた型システムの実装に対してコア言語を出させて導出木を書かせてレビューさせたら実装バグを発見してくれてよかった。よいのか？俺誰？

まあ言語とかでなくてもウェブアッピなどの状態遷移をある程度定式化させて人間とLLMで激詰めするというプロセスで思わぬ罠が発見できそう。

textscがKaTeXにもMathJaxにも未だに無いのちょっとウケるね