發現

最近自己的打字速度又比以前快上不少，連帶寫程式速度又變快了。

---
誰說壓力沒好處XD

utmpx

在大部分的linux下，是可以從"/var/run/utmp" 這個路徑得知現在使用這台伺服器的使用者資訊，資訊是開放任何人可讀，不過在Mac OS 10.5以後不支援這個檔案，而改採用NetBSD的utmpx，故資訊可從"/var/run/utmpx"這個檔案讀到。寫了一小段測試碼如下

#include <stdio.h>
#include <utmpx.h>
int main(){
    struct utmpx utmpx_entry;
    FILE* fp = fopen("/var/run/utmpx", "r");
    while(fread(&utmpx_entry, sizeof(struct utmpx), 1, fp)>0){
        printf("%s\t%s\t%s\n", utmpx_entry.ut_user, utmpx_entry.ut_id, utmpx_entry.ut_line);
    }
    return 0;
}

事實上我覺得使用起來沒什麼差別，不過細細比較utmp.h和utmpx.h之後，會發現struct utmpx記載了更多資訊，可能更符合現在的作業系統設計，畢竟現在的作業系統不是只有單純的command line了，而一個xwindow也是一個terminal，所以我覺得新增這些資訊還算蠻合理的。

---
事實上這篇重要性不大XD

期中考

一覺醒來與Clara說話，被提醒時發現，期中考近了...

---
做專題做到忘記期中考...Orz

測試

今天中午醒來，思考，如果unix system call都是C 寫成的，是否有辦法用class包起來呢，於是寫了一個小小的class測試一下。

class FileAttribute{
public:
    FileAttribute(const char* dir, const char* file){
        name = string(file);
        path = string(dir) + "/" + name;
        stat(path.c_str(), &buf);
    };
    FileAttribute(string& dir, string& file){
        name = file;
        path = dir + "/" + file;
        stat(path.c_str(), &buf);
    };
    const char* ab_file_path(){ return path.c_str(); };
    const char* file_name(){ return name.c_str(); };
    bool is_file(){ return !S_ISDIR(buf.st_mode); };
    bool is_dir(){ return !is_file(); };
    unsigned int size(){ return buf.st_size; };
private:
    string path;
    string name;
    struct stat buf;    
};

看起來成效不錯，其實效率很差，多一層包裝，就要浪費掉很多時間在此包裝上，不過如果在發展大型程式時，還是有其包裝的必要。
---
我真無聊，不過我喜歡XD

耐心

在越忙碌時，又記得這兩個字的重要性，若無此個性，則無法完成任何事

---
最近是磨練的好時期。

簡單、複雜、思考與證明

這段文字很早很早之前就想寫了，不過總是沒有一個好的著力點，不過我得先聲明，我數學和英文都不好XD。

我朋友問過我一個問題，為什麼總是有人要把一個很簡單的問題變的很複雜。此外也有等價的問題，有人跟我說過，要證明1+1=2是數學家無聊做的出來的事。

先回答第二個問題，因為比較簡單，在普遍狀況下，1+1=2是成立的，問題，我們如何證明+這個元素存在，又如何證明兩者等價，這在高等微積分好像有解答(我不會也沒修過，不要問我XD)。而且證明1+1=2的人是Bertrand Russell和另外一個人，花了320頁證明，他是用邏輯證明的，千萬不要小看這個證明，這個證明讓數學與哲學有了連結。他是一個哲學家。數學家和哲學家並不無聊，為了讓整個理性的社會存在，他們可是花了不少的功夫。

那麼為什麼總是要把一個簡單的問題變成很複雜。好問題，這對我學英文時也造成不少的困擾，雖然我英文從來沒有好過。我在用英文的時候想過一個問題。為什麼不能用簡單的字，而是要學很多很複雜的字。(這或許造成我某程度懶惰不背單字的原因XD)，在這些等價描述下，唯一要做的解釋就是...

嚴謹是一件非常重要的事。

人類之所以發明文字，發明思考方式，一切只是為了知識累積，讓後人可以站在先人的智慧上，做出更多的開展。人類的學習就像一個超高速齒輪一樣，剛開始會很慢很慢，到最後會越轉越快。於是，怎麼把知識做一個正確且快速的傳遞，變成一個很重要的事。於是乎，寫作要求嚴謹是一件很重要的事，那麼怎麼讓嚴謹做一個最好的呈現?

發明符號和語言變成相當重要，數學對於大部分的人可能落於算術這個部分，但是數學最迷人之處就是，如果你能夠用數學語言看到這個世界，很多事是垂手可得的，你用邏輯語言看懂了另外一個世界，就會發現，原來還有很多很多思考的方式。

不過最不幸的是，符號和語言是先人制定的，這兩件事往往成為門外漢(如我XD)學習最大的門檻，那麼為什麼要用最嚴謹的符號和語言來定義呢? 因為在知識的累積和展現上，不太能容許出錯或定義不明之處，這會讓承先啟後的人們顯的相當無助(發明人都做古時，去那問啊XD)，然而這在一般的狀況下卻不是很大的問題，因為肯在某個領域學習的人，往往可以很快的適應。如果學的會這些東西，可以為自己打開一扇窗，快速的學習與探索自己想要學習的東西，可謂是相當的快樂。

而我呢，大概只會程式語言吧，只是剛好有所機會看到一些東西，算是蠻幸運的XD

---
因為幸運所以偷懶嗎XD

寫

想寫點東西卻又不知道要寫些什麼...

---
Just that.