天上的星星

兩篇和 PL 相關的文章。


[浅谈国内高校编程语言教育](https://zhuanlan.zhihu.com/p/43914842)

[浅谈编程语言研究与程序分析](https://zhuanlan.zhihu.com/p/45208498)

留言

張貼留言

這個網誌中的熱門文章

[Antergos] disable touchpad

在 windows 10 更新後 ASUS 的硬體驅動軟件也失效了，所以不能 disable touchpad 變成了遺珠之憾。 使用 Antergos 後，自然想喚回這功能，遂記文章一篇，以示經歷。 我是用 gnome 桌面，所以找到了 這篇  ，它告訴我可以裝 gnome extension，所以就到 這邊 照指示裝了。 一切正常。裝好了，就是這麼容易（我是照 terminal 裝法，terminal 輸入約三條指令，Alt+f2 , 輸入 r 回車） 然後我發現我不會 enable 它，囧。 看了看，不像其他的 extension ，沒有 short cut ， 只有 xinput , Gconf method 可以 switch，所以我就想啦，這倆是啥鬼？ Gconf 找到了 這篇 ，我沒裝 gconf-editor，不想折疼，卒。 上 github 看 issue ，發現作者被建議說 default 採 xinput，他也採納了。 這也加強我不入 gconf 的坑的想法。 關於 xinput 我找到可以 在 terminal reenable touchpad 的方法 。 甚至附有直接在 terminal disable touchpad 的方法。 心中各種草泥馬奔騰，我裝插件做啥？ xinput list 查看完 id 直接下兩個 alias 了 alias tpdd='xinput set-prop 14 "Device Enabled" 0' alias tpde='xinput set-prop 14 "Device Enabled" 1'   然後你以為這樣就結束了嗎？沒有，我閒著沒事，又找到了可以 新增簡易 gnome App 的方法 我就用這方法設定 usb mouse，也成功了。差不多就玩到這裡了。 如果要 Toggle 的話就寫個 script。可以參考 這篇 。
閱讀完整內容

[Editor] 入坑 Atom => Markdown 轉 PDF

因為作業需要 PDF，由於不喜歡開 Word，而漸漸用 Markdown 繳作業的我， 開始去找 Markdown 轉 PDF 的方法。( 會學 Markdown 是因為寫部落格也會用到 ) 別問我為什麼不用 LaTex，因為我還沒學 ( 懶得學 )。 於是我就找到了 Atom。GitHub 上開源的一款編輯器。 Atom 的宗旨就是不要讓你花精力在調教上。 所以囉，小小 try 了一下，就裝起來了。 不過比較麻煩的事可能要開 cmd 到 Atom 資料夾下的 bin，下 cmd。 因為插件需要 compile，所以他需要知道各種編譯器的位置。 cd C:\Users\你的使用者名字\AppData\Local\atom\bin apm install --check 如果需要 python 就裝 python , node 就裝 nodejs，c/c++ 應該會教你裝 vs 的 compiler 吧。 反正我下完 check 後就什麼都找到了，我原本就什麼都有裝了。 點開 package 頁面，我是下載 Markdown-PDF 這個插件。 安裝完後，直接開一個 Markdown 檔案， 快捷鍵 ctrl + shift + c 直接在 Markdown 檔案相同位置產生 pdf 檔。 不然就是點視窗上面有 package 的 menu，到裡面去找那個插件。 我把 Atom 當成轉檔用的軟體，主要編輯還是在 Vim 。 這樣上比較習慣啦～
閱讀完整內容