[ { "href": "https://kokic.github.io/smaragdina/mourn-lawvere", "text": "我在此补充 Lawvere 的著作集, 见 https://github.com/mattearnshaw/lawvere." }, { "href": "https://kirisamemagicshop.github.io/posts/mirrored/714743580/", "text": "Oleg Kiselyov 原文 “an associative binary operation which has a unit (also called zero) element.” 的这一段可谓恶意满满, 他使用了一个不交换的群运算, 按照约定这个运算应该被记为乘法, 相应的乘法单位是 1. 而当我们说一个群上的加法的时候, 往往是指这个群是交换群, 相应的运算的单位是 0. 但他下文又说这个运算不必交换, 可见他实际上讨论的是乘法. " }, { "href": "https://kokic.github.io/daily-surf/wolfram-engine", "text": "吐槽一下, 作为 Electron 应用的 WLJS 目前在 GUI 的缩放适配上做的并不合格, 而且几乎每次打开都在更新, 除此之外还有不少小问题, 整体下来很影响使用体验. " }, { "href": "https://kokic.github.io/smaragdina/hypodoxia-bob", "text": "这是一条用于测试的评论, 仅用于展现评论区能正常工作. " } ]