Formal language 作業:nfa 轉 dfa

Posted on Tue 18 October 2016 in graduate school • Tagged with formal language, dfa, nfaLeave a comment

NFA

DFA

Continue reading

Lua 處理 UTF-8 字串

Posted on Mon 17 October 2016 in note • Tagged with lua, utf8Leave a comment

最近要用 Lua 處理 UTF-8 字串,但是 Lua 到了 5.3 才開始支援 UTF-8。

UTF-8 字串長度及複製

我的需求很簡單,只要判斷字串長度及類似 strncpy 的字串複製。所以直接利用 Lua 5.3 手冊 提到的 charpattern 來進行字串的操作。

[\0-\x7F\xC2-\xF4][\x80-\xBF]*

utf8len

function utf8len(s)
    _, len = string.gsub(s, '([\0-\x7F\xC2-\xF4][\x80-\xBF]*)', '%1')
    return len …
Continue reading

Pelican 裝 ligquid tags plugin

Posted on Mon 17 October 2016 in note • Tagged with graphviz, pelican, pythonLeave a comment

為了之後要畫圖方便,加裝了 ligquid tags 的 plugin。方法很簡單只要加入 PLUGIN_PATHSPLUGIN 即可。

PLUGIN_PATHS = ['../pelican-plugins']
PLUGINS = ['liquid_tags.graphviz']

之後底下的 dot 語言就可以畫出 graphviz 的圖了。

{% graphviz
    dot {
        digraph graphname {
            a -> b -> c;
            b -> d;
        }
    }
%}

但是

因為我用的是 Python 3 會因為 base64.b64encode 會輸出 byte string。這會導致 inline base64 encodeing 的格式跑掉,所以圖會出不來。改了一下程式碼發了個 PR #798

底下是 …

Continue reading

Lua 中的 ipairs 與 pairs 的差異。

Posted on Fri 07 October 2016 in note • Tagged with luaLeave a comment

PIL 7.3 – Stateless Iterators 中有提到

ipairs, which iterates over all elements in an array, as illustrated next

The pairs function, which iterates over all elements in a table

也就是說 ipairs 是遍歷 array (Lua 中以數字為 index 的 table, 1 為起始),而 pairs 則是遍歷 table 中所有的元素。

當你把 Lua 的 table …

Continue reading

lua 複製物件

Posted on Thu 06 October 2016 in note • Tagged with luaLeave a comment

之前踩到一個坑,因為沒注意到指定 array table 中的物件時是 reference 到原有物件,所以整個 table 中的東西都長得一樣,而且還牽一髮動全身。解決方式就是複製生出新的物件。

function deepcopy(orig)
    local orig_type = type(orig)
    local copy
    if orig_type == 'table' then
        copy = {}
        for orig_key, orig_value in next, orig, nil do
            copy[deepcopy(orig_key)] = deepcopy(orig_value)
        end
        setmetatable(copy, deepcopy(getmetatable(orig)))
    else -- number, string, boolean, etc …
Continue reading

聽哪些 podcast

Posted on Wed 05 October 2016 in note • Tagged with podcastLeave a comment

跟朋友聊天聊到我開車上下班的時候都聽 podcast,他就問我都聽哪些節目。整理一下聊到的內容。

中文

中文的大部分比較偏休閒但還有少許知識性。目前沒有聽到台灣的節目,以前有聽劉必榮在 MyAudioCast(已結束) 的節目。

  • 內核恐慌
    • IPN 旗下。一些技術類的閒談,更新時間不固定。
    • 如果要從這個節目得到新資訊就太慢了,當成同事閒聊就好。
    • 主播是兩位業內工程師。
  • 太醫來了
    • IPN 旗下。醫生談話類節目,接近每週更新。近期不穩定。
    • 聊一些中國大陸的醫療事件與現象,也有一些醫學常識。
    • 主播是兩位醫生。
  • 味之道
    • IPN 旗下。美食類節目。一週一檔新節目。
    • 聊各種食物、餐廰、主廚還有廚藝學校。我喜歡女主持人席妙雅的聲音。
    • 主播是餐飲工作相關人士。
  • 博物志
    • IPN 旗下。聊博物館、展覽與建築。每月兩至三檔新節目。
    • 主播是念博物館學的,另一位常駐的是建築師。
  • 選美
    • IPN 旗下。美國選舉觀察 …
Continue reading

dropbox 保存密碼的安全措施筆記

Posted on Sat 24 September 2016 in note • Tagged with dropbox, security, passwordLeave a comment

Dropbox 寫了一篇文章來告訴大家他們如何安全地保存用戶的密碼。我認為蠻有趣的,有一些是我沒有接觸過的。

保存密碼的方式

簡單用一行來寫

AES256(bcrypt(SHA512(PASSWORD)))
  • AES256 加密用的是另外存的金鑰 (global pepper),每個用戶都一樣。
  • bcrypt 做 hash 的 salt 是每個使用者分開的,強度是 10
    • 這是引起我細讀的地方

bcrypt 是什麼

bcrypt是基於Blowfish所發展出來的 hash function。因為有 salt 的關係,所以可以對抗 rainbow table 的攻擊。

同時,bcrypt 的 cost (上面寫的強度)會以 2 的 cost …

Continue reading

docker 更新 jenkins

Posted on Tue 13 September 2016 in note • Tagged with docker, jenkinsLeave a comment

因為自己家的 jenkins 是用 docker 裝的,紀錄一下自動更新 weekly 版本的方式。

安裝 jenkins

照著 jenkins 自己的正式文件來做。

docker create -v /var/jenkins_home --name jenkins_data jenkinsci/jenkins
docker run --volumes-from jenkins_data --name jenkins_container --restart=always -d -p 8080:8080 -p 50000:50000 jenkinsci/jenkins

我的選擇是建一個 jenkins 專用的 volume container。run jenkins container 的時候再掛上來 …

Continue reading

如何轉換跑道去寫程式

Posted on Fri 09 September 2016 in ama • Tagged with programmingLeave a comment

因為 準備資工所考試的心得 貼在 PTT 的研究所板(graduate) 然後就被問如何轉換跑道去寫程式的。其實我的答案就只有一個

怎麼開始的

  • 小時候在小叔叔的 APPLE II 前用 BASIC 寫出九九乘法表,當時候還先把程式碼寫在習作簿上面之後,再一個字一個字打進去。
  • 為了玩電動,去書店看書背 arj 指令,然後回家解壓縮。找資料改 CONFIG.SYSAUTOEXEC.BAT,來讓記憶體可以玩遊戲還可以多重開機來選不同遊戲!
  • 為了修改遊戲,在使用遊戲修改大師的時候學會了十進制與十六進制的轉換,小時候一直不能理解明明十進制的 999 在十六進制下明明是 0x3E7,但是遊戲修大師就是要填 E7 03。一直到後來學到 endian 才明白真正的原因。
  • 為了找資料,學會了 modem 撥接上 dial-up BBS。
  • 為了玩 MUD,買了當時有名的黑皮書學安裝 …
Continue reading

準備資工在職專班考試

Posted on Thu 08 September 2016 in graduate school • Tagged with nctu, ncu, nccu, yzuLeave a comment

從 2014 年底決定要考資工在職專班開始到現在要開學也已經過了一年多,記錄一下自己當初準備的方向。同時也期許自己在這樣子忙碌的生活中可以達成目標。

結果

我總共報了四間學校,交大資工、中央資工、政大資管及元智資工。台大資工因為上課時間無法配合,就沒有花錢去報名了。

  • 交大:直接正取,無需口試。
  • 中央:正取,無口試。
  • 政大:正取,有口試。
  • 元智:正取,只有書面審查。

背景

我大學本科是學心理的。因為自身的興趣在畢業後找了一個新創公司上班。寫程式解決問題的工作一做就做了十年了。 心中還是一直想要進入研究所完成碩士學業。

工作內容是無線網路設備嵌入式系統為主的軟體開發,做過 kernel 的模組及 wireless driver,設備中 user mode 的 各種程式 (SNMP agent, device control flow, configuration system, etc.)、使用者介面 (CLI …

Continue reading