今年開源的一點貢獻

自己弄了個網站生成工具 tr
弄懂怎麼生成 induction principle
參與了一點 Yoxem 的 SICP 台語翻譯計畫
agda-mode-vscode 提示 unicode 符號輸入方式
讓 magic-racket 可以開啟 macro 展開過程的互動 GUI 用來除錯
racket-langserver 的維護，今年底突然獲得管理權限xd

然後我下定決心研究了 epub 檔案格式，讓我更清楚可以對這些書籍檔案做什麼xd。因為年初我自己立的目標是看懂 mirror symmetry，數學我今年大致上學了

mirror symmetry 的表示論前提
- $\mathbb{k}$ -linear category
- cochain complex: 一系列 vector spaces $C^i$ （或是 graded vector spaces）加上一個 degree 1 的 linear map $d$
- cohomology: $d$ 按組成取 $\frac{\text{Ker}\ d}{\text{Im}\ d}$ 也是一個 graded vector space，這就是 cohomology 了
- $A_\infty$ algebra 與 category
- Twisted complex
另外從微分幾何的方向看了一點物理學的對稱性怎麼用來描述費米跟玻色場。不過這些內容的意義為何？要解決什麼問題？似乎又回到需要代數幾何的基礎上，因此這裡得先放著了。
preadditive/abelian category
一點 commutative algebra
一點 Lie algebra

今年末尾嘗試寫了各種 agda，讀了點 HoTT 中的 higher inductive types 跟 synthetic geometry，結合上面需要代數幾何的部分，讓我想往 synthetic geometry 的方向試試，或許先看看幾篇相關論文的未來研究方向跟未解問題？

閱讀 [local-0]

監控資本主義時代上卷: 基礎與演進/ 下卷: 機器控制力量：除了這本書本身指出的極端情況，還有數個對現況的相關看法應該一起吸收，我應該會再寫一篇文章寫這方面的感想
萬事揭曉：打破文明演進的神話，開啟自由曙光的全新人類史：作者認為大眾對人類發展史的看法深受盧梭與霍布斯的遺緒影響，而考古與人類學證據足以駁斥這些觀點
慈禧: 開啟現代中國的皇太后：這是在 mastodon 上看別人看很有趣就去買的書，作者盡力基於歷史證據描繪了一個與學生時代課本所述完全不同的慈禧
不實在的現實：以演化為基本的公理的話，我們會推導出什麼樣的世界觀？我覺得有關聯、也很有啟發性的是訪談 Michael Levin 討論的事情
勤儉魔法師的中古英格蘭生存指南、侑美與夢魘繪師、翠海的雀絲、日煉者：嚴格來說日煉者我只看了一半，不過應該很快就能看完xd
裸顏（Till we have faces）：這本小說的劇情很明顯不能按照字面意思去讀，賽姬跟歐若要解釋成一個人或是兩個人都可以，而「神」的意義也明顯有多重意義，每次閱讀應該都會投射自己的人生感想進去吧xd

技術性的東西其實比較好寫，做到哪裡就說什麼。今年六月的時候去台中找朋友，雖然大罷免沒有成功，但很高興台灣有這麼一群人，民主的重點從來都不是政黨，而是表達意願、付諸行動的公民。台灣的未來、人類的未來，目前看起來都比較灰暗，我不會指望明年就會有什麼差別，但願我們能學會不輕視人文、理解不同的文化、解決共同的難題。