Lean 4 極簡教學 (Using VS Code on macOS)

 1. Install Lean Environment: https://lean-lang.org/install/ 試著完Step one, two, three 2. 在VS code下，建一新的project: 取名Hello_World 3. 嘗試執行Main.lea...

  • Photoshop CS2 破解攻略
    之前安裝photoshop CS2常常不能破解， 今天總算安裝成功， 原來是忘了執行"crack.exe"。 詳細step as follows: 1.安裝photoshop cs2，在安裝過程中，必須"一直按下一步"， 不能改目錄位置，也...
  • 大杯無鹽
    關羽跟張飛都掛了 劉備找孔明訴苦 劉備：「雲長魂歸故里，如今三弟也溘然長逝，真乃大悲啊」 孔明：「甜度？」 劉備：「大悲無言」 孔明：「我是問甜度，不是加不加鹽…」
  • 電影：一公升的眼淚
    今天中午，跟老姐一起看一公升的眼淚DVD， 後來老媽也加入來看， 看完之後，覺得還不錯， 劇中維持日劇一貫的風格，場景不多， 音樂非常優美，出場的人物不多， 主要圍繞在亞也、亞也他媽媽和醫生、同學間， 一公升的眼淚，是在1986年出的，現在也有中譯版了， 有興趣的網友可以去 博客...