2013年12月24日 星期二

[Minecraft] NEI Dump Cleaner

一不注意又很久沒寫了,天氣冷,考試多,做報告,補進度……時間總是不夠用。

這是一個把 NEI dump 出來的 csv 檔,整理成比較好看的小工具。

點我

2013年11月25日 星期一

Second Principle of Mathematical Induction

前幾個禮拜我有堂課沒去上,在圖書館念書。那節課老師證了各種Principle的等價,我在放學後也有做一點,不過只有MI的部份。今天有題題目是要用PMI去證SPMI,我看同學是用LNNP來做,下面試著做做看,不確定是否正確。

2013年11月20日 星期三

段考@計概課

這幾天舌頭前端超痛,剛剛去買吃的,發現已經嚐不出甜味了,囧a。希望是睡眠不足的關係,真的痛到爆,接觸到空氣就像灼燒一樣……

下午是計概期中考。我得承認,我作業沒做,書也只看了一點,然後考試時還走錯教室。題目看得出來都是從課本後面的習題出的,以拿分數而言好像還不錯,不過我認為考些需要用到頭腦的題目會比較好。其中有題是翻譯,竟然是「QoS」,這我還真的不會,不知道是不是要直接寫「服務品質」。後面還有個問答,要你寫出「aBc」的ASCII Code……。還有題是翻譯「byte」,考慮了一下,我寫了「計量單位,等於8個bits」,交卷後才想到好像要寫「位元組」……

總之就是一翻折騰,早知道是非題就都猜O就好了。

我都在想,學這些東西的效益到底在哪裡。感覺很少有機會可以跟別人炫耀「欸我知道世界上第一台電腦是XXX」或是「欸你知道1997年Google的創辦人是在念博士嗎?」「不對哦他們那時在休學」之類的東西。平常如果有人問 byte 是啥,也不會回答「位元組」啊。就算把ASCII表背下來,用到的機會也是少到不符合背它的時間成本(雖然常用就記起來了……),更別說大部份人都不會用到它呢。我不太能揣測老師出這張考卷的心態,是想說單純給我們賺分?還是覺得這些知識值得拿來考?還是單純這樣的考試就是種傳統?或是只是要我們多背書?

感覺再打下去要變成抱怨文了。接下來進入第六章後好像就是有關於程式運作的流程什麼的,希望有趣點啊!

2013年11月9日 星期六

[Firefox] Addon List (Firefox 25)

  • Adblock Plus - 擋廣告
  • Add to Search Bar - 新增搜尋引擎
  • Charset Switcher - 對特定網站設定編碼
  • DOM Inspector - 開發工具
  • Download Dialog Tweak - 下載功能增強,神套件
  • Downloads in Tab - 將下載管理員移至分頁,像Opera
  • DownThemAll - 批次下載大量連結
  • IdentFavIcon - 幫沒有favicon的網站設定icon,神套件
  • LastPass - 密碼管理工具
  • Open With - 以其它瀏覽器開啟..
  • Organize Search Engine - 管理搜尋引擎
  • Pocket - 稍候閱讀服務
  • ReDisposition - 修復檔案下載檔名亂碼的問題,神套件。這玩意解決了多年來下載百度網盤一直都有的困擾。
  • Referrer Control - 修改HTTP來源,神套件
  • Restart Button - 重新啟動Firefox...
  • Scriptish - UserJS套件
  • Snap Link Plus - 一次開啟多個連結
  • Sort Tabs by URL - 依URL排序分頁,神套件
  • Stylelish - UserStyle套件
  • Tab Mix Plus - 分頁管理套件
  • Image Picker - 集圖工具

2013年11月8日 星期五

[Elsword] 萬聖節Cos時裝

這幾天都在打艾爾活動,一共五支角色。結果算是非常開心,大概花了15E左右湊齊了全套時裝(還包括拉錯的XP)。白手起家到現在一年,也算是個里程碑了。下面放圖︰

2013年11月1日 星期五

數學 in 數學系

我念國高中的時候,就覺得學校教育非常的「考試取向」。數學尤其明顯。

所有的基礎科目當中,只有數學是比較不具有知識意義的。數學課教的東西是一種工具,而不是資訊。然而我們學它的目的只是為了考試,所以會看到各種補習班打著「速算」「解題技巧」「必背十大公式」等等的標語,然後家長就惶恐的向這些在街上發傳單的人求助。最後我們養成了一種習慣,那就是考古題。要怎麼寫數學?不……應該說,要怎麼在數學考卷裡拿高分?很簡單,給你無限的考古題,把它全部做完就行了。這種習慣讓解題目成為一種反射動作,缺少背後的思考。

當進了數學系,這種做數學的方法幾乎完全崩壞。在過去我們講求答案的正確、快速,但現在我們對於每題的証明講求的都是邏輯推演、詳細的過程,相較起來答案的正確與否就不是那麼重要了。這篇文章主要是記錄我在寫數學証明時遇到,或是猜想別人可能遇到,各種卡住的「點」。

2013年10月30日 星期三

我的興趣是騎單車

(此篇主要目的是做個測試,順便想知道我寫一篇文章需要多久)

身為一個用腳踏車作為交通工具的人,真的無法理解「我的興趣是騎腳踏車」到底是什麼意思。

腳踏車,就和摩托車、公車、轎車、火車一般,是個日常生活用,從一個地點到達另一個地點的交通工具。當每次聽到「我的興趣是騎腳踏車」,真的很想回答他「那我的興趣是坐公車」或是「我的興趣是搭捷運」,然後有相同興趣的人就可以組個社團「今天社課是從基隆坐火車到台北車站」「然後明天的社課是坐相反方向」……等等諸如此類。

不可否認的,騎單車也被歸類到休閒活動的運動之中,並且所有的休閒活動都能成為一個人的興趣。不論是打電動、逛街、爬山、或是看書,這些都經常的成為人類的興趣之一。我曾經和別人閒聊時,向對方提到我的興趣是寫 code ,結果被對方反嗆「根本不懂寫程式」。後來經過仔細的思考,發現我的興趣不是寫 code ,而是在享受完成一件事情的成就感,並且其中的邏輯思考是令人愉快的。或許以後和別人聊天時應該這麼說「我的興趣是思考,而且我喜歡寫程式」,這樣表達的就比「我的興趣是寫程式」清楚多了。

也許是個轉折點

10/30,差不多是前年開始打算休學的日期。

最近看了許多書,思考了很多問題,我決定要在部落格上寫些東西。什麼是寫些東西?過去我一直把部落格當作 code 的備份工具,所有的文章都是「啪!」地丟在部落格上,但是從今天開始(雖然不知道能維持多久),我會寫些筆記、書記、心得。不過這意味著原本就很少的資訊類文章會變的更少,我也同時意識到,一項語言,如果不去使用它,大概一個月後就完全生疏,而且一個月後,曾經學過、有限的知識就過時了

總而言知,我要做個挑戰,那就是來寫部落格。主要有兩個原因,其一是想訓練自己的文筆,其二是想對自己的思想做一些紀錄。另外我要改個版面,現在的版面要閱讀長段的文章還挺痛苦的……。

2013年10月13日 星期日

2013年9月24日 星期二

[Minecraft] 1.5.2 MOD List

以下列出無conflict本人在用的MOD。

Forge版本5.2.23.737對應Minecraft 1.5.2

2013年1月9日 星期三

Tab轉空白

這標題不知道要怎麼下。Encode?Escape?