也有 HTML 網頁版：https://www.lysator.liu.se/mit-guide/mit-guide.html

ASCII Art 是一種用純文字以及排版來「作畫」的藝術形式，這個網站有非常豐富以及分門別類的各種 ASCII art。大家若想要用「不是圖檔的圖像」幫自己的終端機或是網站增加個性化風格，可以參考裡面的作品，在尊重原作者和作品完整性的前提下分享或使用（詳細請閱讀網站內的FAQ）。

這裡大概不少人有追蹤 Tantacrul，MuseScore 與 Audacity 的設計目前就是由他負責

數學家陶哲軒把自己已經寫好的證明轉換成輔助證明的程式語言 Lean，在過程中抓到一個原本證明不慎忽略的例外。 有時候忍不住覺得，可怕的不是新技術會怎麼取代自己，而是在頂尖人物如陶哲軒+新技術的組合下，自己這種食物鏈底層該何去何從 😱

LBRY Inc. 因為在與 SEC 的官司中敗訴，公司遭到強制解散了。LBRY network 與 Odyssey 在技術上並不會受到直接影響，但難以預期 LBRY network 在失去核心開發團隊後，在未來還能否持續下去。

提到近期 AI 對 DAW 未來的發展可能性，還提到一些新的 AI 音樂工具。

在好檸檬的 Q&A 聽到 WiWi 討論用 OSM 取代 Google Maps 的可行性。不過現在 Meta, Apple, Amazon, Microsoft 等大公司都靠 OSM 來維持不少服務的運作，同時也高度參與 OSM 的更新。在企業有高度參與編輯的地區，個人編輯已經從 2017 的 70% 左右跌到 2019 的 25% 以下。

所以用 OSM 雖然不像 Google Maps 會讓自己貢獻的資料變成 Alphabet 所有，但無可避免地還是會讓資料變成科技大廠的生財工具，同時每個使用者也還是一定程度依賴科技大廠提供的資料。目前雖然沒什麼好的替代選項 （我也愛 OSM），但還是要意識到即使用 OSM，我們與科技大廠的彼此依賴還是不小