Alice @alice@mstdn.maud.io

my new 鈍器……

wip

あとは DJ をやっているという感じです（近況） https://www.twitch.tv/videos/514455571?collection=C-jd7y3X2xU_vQ

実装をバグらせるとコンパイルが通らない

型レベル演算の "テスト" https://github.com/fsprojects/FSharpPlus/blob/7045b794eb1b47c567d0d862b985cabce751de15/src/FSharpPlus.TypeLits/TypeNat.fs#L125-L207

https://github.com/fsprojects/FSharpPlus/blob/7045b794eb1b47c567d0d862b985cabce751de15/src/FSharpPlus.TypeLits/Matrix.fs

最近作ってるもの

最近DJばっかしてる

昨日の VRChat

論文・教科書リーダー兼電子ノート兼 DJ ツールとしてあいぱよほしい

昨日のVRChat（2時間連続でDJしてました）

ノエルくん懐かしい

昨日の VRChat

おとといの VRChat

Dijklmnopqrstra

Dedekind

Dedekind cut

こけ on Pay

yay