星期一, 2月 03, 2025

Youtube 遊戲頻道:柴丸

連結

最近把塵封已久的文明帝國六白金版拿出來玩,不愧精神時光屋之名,一局難度六超大地圖花了 20+ 小時,中間刷了 N 次地圖。對第六代完全不熟,信仰存了一陣子才發現這代大先知不是靠信仰。然後別人射火箭沒有明顯通知,開科技勝利條件才知道別人火星探險隊都已經走過半路了,好險自己主城 + 打下 AI 主城雙太空中心雙噴太空競賽建築,最後關頭驚險逆轉,勉強 400+ 回合拿下超慢的科技勝利。

打過這盤後就開始找影片學習。這代很多機制大改,例如獨立區域還要講究建築學,才能取得最大收益。連結的「柴丸」頻道就是無意間找到的,我看到建築學影片讓工業區爆發 +50 生產力收益大為讚賞,點進頻道看發現是文明學家,果斷收藏 XD


全文連結

星期二, 1月 21, 2025

實變函數聽課心得

影片

社會人士資工自學計畫又有了新進展,值得紀錄:終於完整「聽」完一次實變函數課。

聽課前就聽聞這門課高難,所以一開始就決定 easy 模式破關就好,B 站逛了一圈挑了一門評價高、純用中文、老師刻意講白話,好聽懂的課(我就廢 :P 即使如此,實變也是我聽過最 hardcore 的數學課,沒有之一。第一次聽課能聽到物理性眩暈。

這門課的難度每個章節都指數提昇,一開始介紹集合論、De Morgan’s law、上下極限這些章節覺得抽象但好像還行?後來講基數、伯恩斯坦定理的證明就開始腦疼,但這些在接下來測度論、 Sigma 代數的面前又黯然失色,一路上到課程最後講勒貝格積分、葉戈羅夫定理、法圖引理這些重要理論時,大腦開始反覆熱當,一個影片重播兩次是家常便飯,到最後進入勒貝格積分微積分基本原理及其限制這些大後期課程我其實已經跟不上,只是抱著聽懂多少是多少的想法勉強把課聽完。

修這門課也是第一次發現,原來數學課還可以上到情緒跌宕起伏。有堂課老師檢討習題,題目是「一間大學的學生以及全國的大學生,何者的基數較多」老師用非常痛苦的語調指出她本意是送分,但竟然有 20% 的學生答「一樣多」,聽到這我就樂了,學這玩意學成智障的不只我一個 XD

另一個印象深刻瞬間,是老師介紹完勒貝格測度,開始講勒貝格積分的第一節,老師用非常颯爽的聲音說「前戲終於介紹完了,可以開始進入正題」,這一瞬間真的有想砸爛螢幕的衝動,看影片彈幕,有這想法的並不少人 XD

整門課聽完後,很悲情的發現,單學實變好像根本沒用,只是有了修其他課的資格而已。不過聽這門課也只是為了未來深入理解機率、統計做鋪墊,至少可以試著解讀那些用測度論語言包裝出來的高等機率論,不至於第一張投影片就開門秒殺。

但一切前提是先鞏固所學,影片指定程其襄老師的書太精簡看不懂,三步一個「顯然」五步一個「請讀者自證」讓人絕望。Folland 那種英文硬書更是連 introduction 都啃不下去 orz 好在根據網路評價,程的中文書並不是最簡單的,還有更簡單更適合新手周民強老師版 XD 決定找最簡單的中文書,過例題就好,至少課程不要白聽,至於實變習題 CP 太低果斷放棄。

之後不大想碰這麼純理論的數學課了 orz 老師還推薦集合論、拓樸學上起來很有趣,老師請猜猜我信不信?XD

全文連結

星期五, 1月 17, 2025

狼途 GK 65 入手

今天順利入手狼途GK 65。新筆電天選 5 pro 現在用得很滿意,螢幕大顏色漂亮、有獨顯、重量可接受,就是輸入設備受限於筆電先天限制。難用的觸控板已經用外接滑鼠替代,但難按的薄膜鍵盤一直沒很好解決,機械鍵盤保證好按,但出遠門帶鍵盤太麻煩。

後來靈光一閃,想到帶小鍵盤,就決定 68  配列挑一把,這是有方向鍵(方便玩遊戲)中最小的配列了。這把狼途 GK 65 在淘寶買含運不到 NT$600,就想都不想入手了。1/10 下單,1/17 就收到貨囉,啪的一聲很快啊,本來還擔心趕不上月底出門玩。

拆開後,紙箱外觀非常一般,充滿廉價感,不過考量到非常低價就不要求,裡面除了鍵盤、填充物就只有一張說明卡和貼紙,實在精簡。鍵盤入手後馬上發現有怪聲,今天吃完尾牙花時間拆開發現底層有個冗餘螺絲,移除後怪聲消失,想想只賣 NT$600 還是不計較了。

我買的版本為金軸,查了下是段落軸,聲音偏大,大到會不好意思在醫院高速打字,打感非常清脆。整體大小則非常滿意,跟原本 98 配列狼蛛 F99 比又小非常多,大小應該可以塞進背包了。

下次出遠門找機會帶出去,如果能放背包,就能實現筆電用外接機械鍵盤打遊戲的夢想 XD

全文連結

星期六, 1月 11, 2025

星期日, 1月 05, 2025

淼論文工具組合拳

我好像發現很有用的廢文產出工具組合:Word 聽打、ChatGPT 機翻、DeepL Write 選字,最後丟進 Grammarly 專業版改字改文法,順便做抄襲和 AI 檢測。

Word 聽打是新發現的速度起飛關鍵,只要會唸口語化中文,中間可以貼點別人的英文,像這個  sentence 中英 mix together 口語化  is fine,不用考慮太多,慈祥的ChatGPT 都看得懂,祂,都懂。記得prompt指定「學術用」英文,依必要做 paraphrasing。後面 DeepL Write + Grammarly  專業版大改,再段落重排,從口語論述順序改成論文和證明的論述順序,一坨原創文章就完成了,而且什麼抄襲或 AI 檢測都找不到問題,真被 highlight 就請 GPT 想十個 alternative 加上自己破英文修改,Thesaurus 是什麼?好吃嗎?
 
至於所謂「研究用GPT」工具根本沒必要。我只用 NextChat  搭配 API 呼叫。Prompt 最後都寫在 Autohotkey 裡,要用時跟超魔專長一樣全部瞬發,那些工具只要看一下它們的 prompt 就好,沒必要還得自己裝 Python,弄環境,處理一堆問題。Grammarly 貴可以找網拍找 Business 版團購。其他替代工具,例如 Quillbot,用起來效果很差,機翻不如 GPT+自製 prompt,選字改文法不如 Grammarly,用不到三天果斷退費。DeepL 免費版翻出來的內容則不像學術用英文。

用了這套組合拳,淼 paper 速度又比以前更快了,這陣子瘋狂趕稿,光今天就用這套方法噴 1.2k 個字。

當然,這個方法無法治療研究 idea 本身的貧乏以及研究者本身素質低下,例如某兼差 researcher 只會稍微改問題,用 unique data 在稍微不一樣的問題做大樣本 validation,方法原理數學一概不懂,做不了底層創新,除了工人智慧和舌燦蓮花更無別法。寫到 5.6k 字的稿子給指導者看,馬上就被定 reference 數量不夠、因此 literature review 以及 discussion 也不夠。

題外話,這次寫稿還趕上生病,請假回來後 atopic dermatitis 又發在臉上,還好現在有所改善。應該慶幸不是在放假時生病,至少「趕稿」和「生病」這兩件事可以排在一起只佔一份時間。比較擔心文章用的方法不夠 novel 問題不夠複雜,論文投不出去,希望修改和投稿順利 QQ

全文連結

星期日, 12月 29, 2024

書本購入:SRE 工作現場直擊,Stable Diffusion

 

這兩本書是這次去臺北天瓏書局買的。Stable diffusion和 SRE 都是我相當陌生的領域。 研究 Stable Diffusion 是希望有一天能畫自己的 Saber 老婆,無限 Saber 製光想都覺得香。SRE 則是為以後維護自己醫院內的服務做準備。這本書看起來算是最白話的入門書了。

全文連結

星期三, 12月 25, 2024

MSC 榮耀號日本跳島

這次休假,又和家人再一次搭上MSC榮耀號郵輪。

這次行程是日本跳島,只有去日本,地點為宮古島、那霸、石垣島。

第二次上郵輪,發現郵輪好像基本上沒什麼變化,佈景不能說大體相同,只能說一模一樣。餐廳部分,櫻桃餐廳還是非常高級,而且維持免費,但是份量非常少,主餐還變得不能無限加點。所以如果要吃飽,只能在櫻桃餐廳吃飽後,再去 15樓的Buffet吃量大管飽的便宜美式食物,像是披薩、麵條等

這次岸上旅行,宮古島部份因為島上交通不方便,我們又人生地不熟,所以我們選擇跟榮耀號的團,結果行程十分陰間。日本時間早上八點,相當於台灣早上七點就要起床,起床的時候就覺得整個人像是會動的殭屍,然後旅遊景點基本上有意義的只有一個天文台、一個漂亮的沙灘海岸,剩下就是在坐車、購物中心還塞了兩個,整體而言:差評。

那霸和石垣島就選擇了自助的形式,不過因為還是人生地不熟,而且兩者岸上交通都不方便,石垣島連電車都沒有,重要景點搭巴士都兩小時以上,就都只有玩郵輪附近鬧區而已。兩者基本上都是:下郵輪、坐接駁車或者是巴士、到鬧區然後吃東西、吃完附近街道看一下,然後就回去船上。不過石垣島有吃到道地石垣牛,入口即化,口齒留香,吃完喝個茶之後,嘴巴完全沒有任何殘留油膩味,超級好評。

船上娛樂設施種類也沒什麼變化,好像沒有明顯新增加設施,船上免費的倫敦劇院表演水準依然很高,但是一些曲目印象中好像上一次來的時候就聽過了,不曉得舞蹈部分有沒有換。之前覺得很有水準的娛樂總監好像換掉了,整個節目長度好像也有稍微縮短,不曉得是不是cost down

下船當天,又再度要早起,然後在台北玩了一天,看了動漫,天瓏書局、然後回房間水點 paper,就回來收假上班。

桃林寺 
 
桃林寺  
正宗道地石垣牛,超級好評  
 
輪船免費櫻桃餐廳,好吃但超級少的食物
 
全文連結

Whispering

連結

最近為了寫 paper,又開始在找語音輸入程式。雖說換了機械鍵盤以後,相比原本的薄膜鍵盤,輸入大量文字體驗已經好了很多,但久了還是會手指痠痛。Paper 的壓力又讓尋找 Speech-to-text app 的念頭蠢蠢欲動起來。

之前一直都是用 Word 內建的語音輸入,相比網路上找得到的一堆免費app,Word的語音輸入辨識正確度其實已經相當不錯,但是一次輸入大段文章,還是會有很多需要修改的地方,用久了以後覺得相比於自己手動打,節省的體力很有限。我最看好的是 Open AI 的 Whisper,但卡在沒有一個好的 Desktop client,所以一直就將就用 Word。

現在才再度注意到這款 Whispering App。這程式支援用 OpenAI API key 去做遠端呼叫語音辨識(電腦用 A 卡 QQ),之前這個 App 太陽春,後來就沒太注意。現在已經完善的非常多,可以做自定義Hotkey啟動、結束錄音。錄音的時候不要 always on top。錄完的時候可以自動貼到我要用的程式,用起來方便非常多,所以之後應該會改用它來做語音輸入,這篇文章就是用這個方法錄的

全文連結