方永、南天紫雲

道亦有道

March
29
2025

JCG Q30 PRO 从23.05升级到24.10

JCG Q30 PRO , 已刷入immortalwrt 23.05 custom U-Boot layout 的固件，要升级到 OpenWrt 或 immortalwrt 24.10 ，有一些小波折，在此记录一下。

更多…

September
05
2024

理解单子是自函子范畴上的幺半群（五）

那么如何与编程语言相对应？

更多…

August
29
2024

理解单子是自函子范畴上的幺半群（四）

概念已凑齐。

更多…

August
29
2024

理解单子是自函子范畴上的幺半群（三）

上篇已经定义了单子。

更多…

August
29
2024

理解单子是自函子范畴上的幺半群（二）

函子是范畴间的态射。

更多…

无题
〔宋〕 了元
一树春风有两般，
南枝身暧北枝寒。
现前一段西来意，
一片西飞一片东。
分類
鏈接

©2009-2025 方永、南天紫雲 |Powered by Zola