18:17:32
icon

Firefish 1.0.5-rc とりあえず deb だけは作った。そのうち試す
https://github.com/mizunashi-mana/firefish-dist-pkg/releases/tag/v1.0.5%2Brc-d2023112900-beta

Web site image
Release v1.0.5+rc-d2023112900-beta · mizunashi-mana/firefish-dist-pkg
17:27:13
icon

Elasticsearch のリテンションポリシーも作らなきゃな

17:26:57
icon

Firefish 1.0.5-rc とりあえず deb は作るか

10:48:16
icon

圏論学んでるって言ってる人なら米田の補題の直感ぐらい持っとるやろ(?)

10:47:04
icon

たまにそういうことしがちなので、もうちょっと self-contained にいきたいが、他の人たちがどういう requirement 持ってるのか分からないという問題があるんだよなあ

10:45:11
icon

モナドを自己関手によるモノイダル圏のモノイド対象と呼ぶのと同じそう。その直感が持てる知識がある人に、わざわざモナドを教える必要はないんだよなあ()

10:41:20
icon

米田の補題の直感がある人に、表現の直感は説明しやすいが、問題は表現の直感を持ってない人の中で米田の補題の直感を持ってる人などいないってことだよな()