Pinnedneuecc@neueccAug 28MessagePack for C# v4、Draft Round7出しました!Source Generatorを強化し、様々な新機能(C# 15 union, unknown fields, surrogate, circular-reference, require/nullable validation)と、mapでのパフォーマンスの驚異的向上を実現しました! MessagePack for C# v4: Round7 by neuecc · Pull Request #2294 · MessagePack-CSharp/MessagePack-CSharpFrom github.com6606.9K
neuecc@neuecc8hコード操作もSyntaxTreeで操作したほうが無駄なくトークンも節約できる、と思いきや、一周回ってgrep最強に落ち着いた。情報はSyntaxTreeの外に転がっている!単純なリネームですら、コメントとか、色々なところに編集対象があるので、LSP的リファクタリングでは足りない。 Blender MCPよりComputer useの方が高性能?その理由を考える|npakaFrom note.com1142.5K
neuecc@neuecc23hUnsafe EvolutionはCode Contracts的な結末になる可能性もなくはないんじゃないかなあ、とは思ってる。やりたいことや理想はわかるんだけど、落としどころがうまく探れてない雰囲気を感じている。直近C#11でもParameter null checkingが一瞬入って最終的に消滅したこともあるしね。162.2K
neuecc@neuecc23hrequire, ensure, invariant、こ、これはCode Contracts……!(15年前にC#に搭載され最終的には消滅した機能)。Z3もできたのその辺りの時期なんですよね。 アルゴリズムの実装に MoonBit の Formal Verification を活用する | 株式会社メイツ エンジニアリングチームFrom eng.mates.education3232.4K