程式語言、邏輯學

出自Tan Kian-ting的維基
於 2024年10月7日 (一) 23:59 由 Tankianting討論 | 貢獻 所做的修訂 →‎程式語言撇步
(差異) ←上個修訂 | 最新修訂 (差異) | 下個修訂→ (差異)
跳至導覽 跳至搜尋

Personal projects / 個人專案

邏輯學、型別理論

編譯器、直譯器

程式語言

程式語言撇步

Python

LaTeX

網路技術、通訊協定

一些小筆記

  • gensym - (generating symbol) 變數名稱產生器 (in OCaml)

編輯器

  • 視覺化2個文件的差分 (diff) vim -d 檔案1 檔案2