我總算找到寫週記的感覺了。
- 不斷的在 Obsidian-Media 裡面紀錄
- 寫週記時，圍繞音樂、日常、思考為主題寫文章（對，程式設計是我的日常之一 🤓）
- 過程中不斷翻閱自己的各種痕跡來找靈感
音樂
あらためまして、はじめまして、ミドリです - ミドリ
原本我只聽過他們的 ゆきこさん，所以以為這就是一張龐克專輯，但我錯了，整張專輯超出我的想像，把爵士和龐克這兩者融合的恰到好處。後藤まりこ也是真的瘋子，到底是誰唱歌唱到一半會拿麥克風狂砸自己的頭啊！
Midori - Sayounara Gotou-san 2010 (Gokui De Samba, Anta wa dare ya, POP)
題外話，就在我寫週記的現在，我鄰居在自彈自唱《殺死那個石家莊人》，他已經唱了一個下午了 …
怎麼說呢，真的很難形容。後藤まりこ穿著可愛的水手服在台上發瘋、流血，唱歌唱起來特別像一個精神分裂患者在台上碎碎念，然後居然還唱的「很好聽」。吉他彈出來完全沒有旋律，就是個噪音產生器。然而在這麼瘋狂的情況下，鋼琴和低音提琴居然還能靠著他們優美且流暢的線條主宰整首歌曲。鼓點如此之複雜且密集，聽起來卻一點也不壓迫，非常好的掌控了歌曲的節奏，非常驚人。
不知道耶，你們自己聽聽《ちはるの戀》、《ハウリング地獄》和《かなしい日々。》就知道了 … 其中我特別推薦《ちはるの戀》，律動感真的很強，我感覺我真的在墳墓前面跳舞。
告訴我他們都在本來的什麼地方 - 當代電影大師
整張專輯，聽起來很明顯有兩個部份。上半張，主唱咄咄逼人的語氣，尖銳的批評社會的種種荒謬現象；而下半張卻又溫柔的轉向內心獨白（且頗有透明雜誌的味道），就像一位，在深夜與你探討生活與掙扎的摯友。
譬如〈我不想聽我不想聽被寵壞的搖滾明星〉、〈我看見庸才自命不凡〉、〈我知道他們是假貨〉⋯⋯等新歌，頻頻辯論著藝術創作的真偽，態度時而戲謔，時而冷酷，其實是一根手指指向別人，三根手指指向自己。「你看到你看不慣的事，結果最後反映在自己身上。你之所以對一件事有情緒，想到最後卻是回應了自己的缺陷。這些是我現在面對到的問題，然後把它寫出來。」阿懋說。
如果你也很喜歡對真實和虛偽的二元辯證，可以聽聽看這張專輯。或是你也很喜歡以下這些樂團：
如果你想聽，可以先聽聽看《告訴我他們都在本來的什麼地方》、《我知道他們是假貨》、《長歌》。
《我知道他們是假貨》
累的時候我和他們談藝術／不和他們談真實／但我知道如果不談真實／我們就是在談和藝術無關的事
ランプ幻想 - Lamp
很明顯，這禮拜我聽了一些日本區域的專輯，尤其是 City Pop，而這張專輯我聽了特別多次。一直聽是因為它聽起來特別放鬆，而且很像那種適合在咖啡廳當背景音樂的專輯，沒想到這對他們來說，是一種嚴重的誤讀，真的很抱歉 …
Our first album was pretty much just bossa nova and I guess people had this “stylish” image of us. But we’re actually really not the café-going type at all. (laughs) On the contrary, we much prefer the sceneries of more rural Japan over the big cities. So in the past some people didn’t think our music and the (artwork) visuals were a great match — that’s because they figured what we were doing was “café music,” and I just thought to myself “that’s not it at all…” In that sense, it feels like our recent material has become a better match for the visual aspects.
是說這個人做了很多 Lamp 的專訪，有興趣的可以看看！
其中我最喜歡的是《夕暮れ》，不知道耶，因為特別契合我的日常狀態吧。
Clean-Video
稍微改了一下我的 Clean-Video 專案，現在它上字幕更厲害了。
整個專案的流水線是這樣的：
- 用
faster-whisper的tiny模型識別說話的空檔，如果該空檔小於$gap秒，則將其快轉壓縮至$gap秒內。 - 用
faster-whispe的$model模型生成 SRT 字幕 - 用 Gemini 清洗 SRT 字幕，分成三個階段：
- 用 Gemini 3 Pro 參考影片、字幕檔、附加檔案，總結這部影片的重點
- 開
$thread_num個執行緒，用 Gemini 3 Flash 讀取每行字幕，給它適當的提示詞、字幕上下文，請它去除裡頭的贅字。 - 開
$thread_num個執行緒，用 Gemini 3 Pro 以$chunk行為單位，給它附加檔案、參考影片，請它修正字幕裡有誤、格式可優化的地方
基本上就這樣，現在它可以生成出這種鬼字幕了：
其實贅字、可讀性都還可以再進步，不過我整部影片看下來，覺得品質已經和我在 YT 上看過的所有影片字幕差不多了。我覺得最厲害的地方，大概是它數學式都可以不靠 KaTeX ，單靠純文字完美的生出來，真的太神了。
文學程式設計
之前偶然接觸到文學程式設計（Literate Programming）的概念，此概念在 1984 年由 Donald Knuth 提出。
一般來說，程式設計師必須強迫自己，按照編譯器的順序撰寫和閱讀原始碼，再從中解讀背後的思考邏輯。在這種方式裡，程式設計師強迫自己遵循編譯器的結構。但文學程式設計則是反過來，它讓我們可以用自己的方式「書寫」程式，再讓編譯器順著遵守文件的結構編譯程式碼。整個過程，真的就像在寫書一樣。
具體範例：Write your Own Virtual Machine（或是任何 Donald Knuth 寫的程式）
具體來說，這整套書寫語言和系統被稱為 WEB。WEB 使用者負責編寫一份文件，WEB 會自動把它處理成兩個不同系統的原始語言。WEB 會把文件 WEAVE 成一份可讀文件，還會 TANGLE 成一份機器可以執行的程式。
照現代流程比喻的話，就像是寫一份 Markdown 文件，然後 WEB 負責把它文件裡頭的 Snippet of Code 拼湊成一份完整的原始碼。
I enjoy the new methodology so much that it is hard for me to refrain from going back to every program that I’ve ever written and recasting it in “literate” form. I find myself unable to resist working on programming tasks that I would ordinarily have assigned to student research assistants; and why? Because it seems to me that at last I’m able to write programs as they should be written.
It’s yet another knuth idea that nobody understoood.
我有試著用這個概念寫個簡單的程式（With a program called Literate），真的可以自己怎麼舒服怎麼來，完全不用管編譯器怎麼想。下面有個很直觀的小例子：
@title Hello world in C
@s Introduction
This is an example hello world C program.
We can define codeblocks with `---`
--- hello.c
@{Includes}
int main() {
@{Print a string}
return 0;
}
---
Now we can define the `Includes` codeblock:
--- Includes
#include <stdio.h>
---
Finally, our program needs to print "hello world"
--- Print a string
printf("hello world\n");
---
我甚至覺得，這是最適合和 LLM 協作的程式設計方法。不過這還有待商確，等我有更進一步的心得再說。
工作區調整
這禮拜也有整理、思考一下我的工作區塊。由大到小，自頂向下介紹大概會是。
Ubuntu Workspace 負責區分不同性質的任務，像是打字、畫圖、瀏覽、娛樂會放在不同地方。
Tmux Session 負責打字的區塊分類
- 寫程式（專案名字）
- 寫作（Notes, Linear）
Neovim 負責做好編輯、查詢、預覽相關的角色，還順便整理了我 Neovim 的外掛。我原本只想用資料庫的 CRUD 四項度審視他們，但我後來發現會不自覺的加上「看」這個維度。像是我裝了很多 Markdown 的渲染外掛，什麼語法、圖片、KaTeX 之類的，然後就鑽進了這個無底兔子洞。
應該說，我一直很想用 Neovim 把 Obsidian 換掉，所以才會這麼在意那些顯示問題 … 還是我應該要直接換到 Doom Emacs 呢？是說當我在和這些工具纏鬥時，我總會想到，我有個朋友正在 Discord 上作筆記。他的信念很簡單，只要能讓我打字，那我就能在上面記筆記。我已經會用 Discord 了，那我就在上面記筆記。追求「最好用的工具」沒什麼意義，因為這就是個無間地獄，你永遠找不到「最好用的」，你只會不斷的追求下一個「更好用的工具」。
我想我先暫時接受我得用 Obsidian 記筆記的事實好了。
IoT Hacking
現在進到路由器的 UART 了，把韌體提取出來，然後就沒然後了 ._ . 這禮拜在 Hacking 上進度近乎為零耶，HackTheBox 連打開都沒有打開。
思覺失調
可以看到各種各樣的東西是互連網的優點，同時也是缺點。最近一直看到讓我頭很痛的東西，我就不貼上來殘害各位了。總之，有要把機器人從二進制換成十進制的詐騙公司，還有自稱自己做出了 ASI 超強人工智慧的中二少年。說真的，前面的我還可以理解，賺錢嘛，不寒磣；但後者看他的社群媒體，真的已經是思覺失調的程度了 …。
原本我一直很討厭把別人貼標籤，覺得會限制對他人的認識。現在發現，為了身心健康，貼標籤還是有好處的。這些帳號就應該他媽被貼上神經病的標籤，從此從我眼前消失，幹。
整理房間
這禮拜還有去逛寶雅，其實原本只是想去買髮箍，結果逛一逛發現好多生活用品要買，然後就順手整理自己的房間了。
如果是網購，那我房間只會和以前一樣亂。網購就是一次精準購物，搜尋、點擊、比較商品、下單，沒有太多目標外的東西干擾你。但到了實體賣場，不需要的、需要的、可能需要的，各種東西都在那裡。但它們卻能啟發我，讓我做了「整理房間」這個我覺得超讚的決定。
當然，這都是權衡。如果我選擇網購，我快速下單髮箍，剩下時間省下來做其他事情。而我去逛賣場，花了我走路時間、逛街的時間，我之後還花額外時間整理房間（做我最初沒規劃好的事情）。
《小王子》
「你好。」小王子說。 「你好。」商人說。 這是一位賣解渴藥丸的商人。
只要一個星期服用一顆，整個星期都不會想喝水。「你為什麼買這種東西呢？」小王子問。「因為它們可以節省大量的時間。專家計算過了，每週可以省下53分鐘的喝水時間。」商人回答。 「拿這53分鐘要做什麼？」 「高興做什麼就做什麼嘍⋯⋯」 小王子心想：「如果我有這53分鐘，我會悠哉悠哉走到泉水旁去。」
那會不會查資料也是一樣的道理呢？ LLM 就像網購，能精確回答你的問題。而查閱文章、書籍就像是逛賣場。
假設知識是一片海，那麼你的問題提供 LLM 一個方向，比如東邊，那它就只會告訴你東邊有什麼。但也許你往西、往北、往南，其實也有很多你需要，但你想不到的東西。在這裡我們都假設大語言模型沒有幻覺，且能精確回答你的問題。那這樣，反而是它會被我的回答限制住吧？
我一直覺得，一 篇好的文章、一本好書，應該要能啟發讀者，給他們一些「意想不到」的思考。而 LLM 的回答越是精確，就越難做好這點。效率很高，但很難有啟發性。
不過，我常常在線性讀完一本書後，卻發現自己吸收到的內容竟然只剩寥寥幾句話。以為自己能勾勒出基本觀點，深入反思後卻發現想不起相關細節，甚至發現自己其實從未真正理解過那個觀點。作為一種媒介，書本在傳遞知識這方面，其實做的非常糟糕。
甚至不只書籍，各種「線性敘事」的媒介都差不多，包括影片、演講、書籍等等都是。知識並不是「講師說出描述某個概念的話語；學生聽見這些話，或許還在筆記本上塗鴉；接著學生就理解了這個概念。」這是以前就被推翻的認識論。所以現在在演講、閱讀以後，還會加上活動讓大家參與，像是寫題目、考試等等。而當這些媒介確實發揮作用時，其實通常是因為讀者有自己的回饋迴路，「這個想法讓我想起 …」、「我應該問什麼問題？我該如何總結這些內容？」，這就是後設認知（metacognition）。然而，這整個過程極其耗費心神，且許多人並不具備，也沒意識到應該要有這種能力。
作者說明，如果要設計一種不同於書本，而能讓人類自然吸收的媒介，等同於在思考「理解所需的必要過程」。作者並沒有在這方面繼續著墨下去。但他指出，在線性吸收時，如果工作記憶超載，就很難再吸收新的教材。
我覺得從費曼身上可以有些不錯的延伸：
- 在大腦中建構明確的藍圖，再不斷反過來修正腦中的藍圖
- 不要迷戀文字遊戲，如果不能類比出自己的模型，就代表還沒有懂
- 請誠實面對自己
- 注意力是有限的資源，與精力強正相關。沒了精力，也就少了自控力。請珍惜你的注意力
書本就像是博物館
我覺得書本就很像博物館，策展人安排順序，讓你從入口走到出口。如果只是跟著人群走馬看花，沒有駐足思考。走出博物館後，你大概只會記得「我看過很多很厲害的東西」，可卻絕對無法詳細說不出任何一件展品的歷史脈絡。
可是看博物館就應該是想看什麼就看什麼呀！為了「看懂」一個瓷器，翻閱手上的簡介、看看瓷器旁的說明、詢問附近的導覽人員。就算走出博物館，我只看了幾件展品，那我也覺得值得。又或許，就應該把兩者結合，在逛博物館時，先單純走馬看花，只是要建立索引，知道有這些東西存在。可一但發現了關鍵概念、或自己有興趣的主題，就對它展開 Rabbit Hole Learning。
目前這還只是個概念。說來慚愧啊，我這輩子好像思考過很多事情，但科學方法的四步驟裡，我全都只停留在「提出問題」的階段，假設、實驗、結論從來沒做過。哀。
寒假
寒假已經過了 3/9 個禮拜了 … 好快啊！！！！
- 預習編譯器、資料庫的課程，主要是把書粗略看一遍就差不多了
- 剪輯演算法的影片，主要是動態規劃、貪婪演算法的部份
- 狂幹 HackTheBox Academy，當然希望可以直接把 CPTS Path 的所有 Modules 都看完
- 制定專題《基於多維度漏洞挖掘之 IoT 設備安全審計與更新機制研究》的總體大綱
然後我還想玩玩看《極樂迪斯可》，感覺很有趣。