這裡收錄了啟發我的人、事、物
層層的知識?不!網狀的知識!
- 公理&公理系統
如果我們持續尋找支持命題的原因，便會陷入無限倒退的困境中，比如說：
A成立，為什麼A成立?
因為B成立，為什麼B成立?
因為C成立......
這樣會沒完沒了。
為了停止這一現象，我採納了基礎主義以及公理系統的方法，設定一個不證自明的命題，並將所有倒退止步於此。
從摺紙到數學，再到太空
-
Origami Simulator
這是一個摺紙模擬器，將符合規定的摺痕檔案(.fold/.svg)匯入，就可以直觀的看到摺出的樣態(不用手摺啦~)
它也有收錄許多範例，推薦看看三浦折疊，那是一種常用於人造衛星太陽能板的折疊方式，可以將大片的太陽能板摺得很小，以便放入火箭中。
(點Example→Tessellations→Miura Ori) -
BYU's Origami-inspired Antenna Self-deploys in Zero Gravity
這是 楊百翰大學柔性機構與機器人研究小組 發布的影片，這支影片講解了他們將摺疊與其他概念組合，並表達了應用於太空的願景
🌠
我不是要你的錢或隱私.......
-
Linus Torvalds
計算機科學界大佬，創造了Linux、Git等實用工具，佩服佩服
我推崇他的某些作為，比如對於創造系統的想法(just for fun)、對於開源社群的想法，以及對於批評能勇於自省的行為
大多數我是透過AI了解他的，尚未閱覽正式的文件，我認為我對他的理解可能還不全面
有機會再把這個區塊補齊 -
Red Hat, Inc.
紅帽公司，是一間以開源為宗旨的營利公司，他告訴了世人：開源，也能營利 -
開源與商業戰略
由Google開發的開源瀏覽器核心Chromium
和
由Meta開發的開源AI大模型Llama
看似免費送好康，其實背後有重大的商業戰略......
🌠
講人話
-
畢導
非常有趣的科普頻道，以歡樂的方式講解硬邦邦的科學，並將微小的觀察抒發成一篇篇深刻的見解。
推薦你去看! -
曼士
數學和計算機科學大佬。
自學動畫就為了做影片，手寫幾萬代碼帶給觀眾更直觀的數學感受。
偏硬，文科不適合。 -
kurzgesagt
以精美動畫著稱的頻道，講解範圍從科學、政治到哲學都有。
🌠
- LEAN
LEAN語言，專門為數學證明所設計的程式語言，非常精準，可用於校驗證明過程完整無誤。
受到當代數學界所推崇，尤其是以 陶哲軒(Terence Tao) 為首的數學家們，他們嘗試透過這個方式來減少數學研究中，使用AI造成的幻覺問題。
🌠