故事是這樣子的，很早以前曾經看過 understanding computation 這本書
，
這本書第二章的內容，是利用操作語義（operational semantic）的方式，自訂一款極簡程式語言，非常簡單但已經有 if 判斷式，while 迴圈等功能。
最近剛修完 coursera 上面的 programming language
，
其中有一個作業也是用 racket 的操作語義定義一款程式語言， 這個程式語言更複雜，在資料結構上支援 pair -> list，同時還支援函式，這是之前 Understanding Computation 沒有實做的部分。
前些日子開始修了 coursera 上 stanford 大學開的 Introduction to Logic，修完而且有學到東西，其實個人習慣上滿常亂加一些 coursera 上的課程，有些聽一聽覺得無聊就沒聽完，沒聽完的就不會在這裡推薦就是。
基本資訊：
| 課程名稱 | Introduction to Logic |
| 開課學校 | Stanford University |
| 授課教授 | Michael Genesereth |
| 開課時間 | 10 周 |
| 教學方式 | 靜態講義 |
| 通過方式 | 每週完成指定的作業，下面會詳述作業內容。 |
故事是這樣子的，5 月的時候我把 Nand2Tetris 這門課給修完了。
剛好，我們同好們辦的 Code& Beer 需要題目，想說都修過了就來講（ㄔㄨㄢˊ）解（ㄐㄧㄠˋ）個 Nand2Tetris 吧，花了點時間整理了投影片，也要感謝在Yahoo 台灣大殺四方驚動萬教每月豪領100K的人生溫拿勝利組強者我同學 qcl 大神，幫我準備場地跟辦活動：
...三月時看到coursera 上，Nand2Teris 第二部分終於開課了，同樣給它選修下去；最近剛把最後的 project 寫完，完成這門課程。
課程基本資訊：
| 課程名稱 | Build a Modern Computer from First Principles: Nand to Tetris Part II |
| 開課學校 | Hebrew University of Jerusalem |
| 授課教授 | Shimon Schocken & Noam Nisan |
| 開課時間 | 6 周 |
| 教學方式 | 影片授課 |
| 通過方式 | 每週完成指定的作業，並上傳結果。 |
| 課程網址 | https://www.coursera.org/learn/nand2tetris2 |
五月的時候看到coursera 上了傳說中鼎鼎大名的課程：Nand2Teris，就給它選修下去了。結果後來遇到七月考N1，課程大停擺(yay，最近才慢慢一週週的把課程聽完。
下面是課程基本資訊：
| 課程名稱 | Build a Modern Computer from First Principles: From Nand to Tetris |
| 開課學校 | Hebrew University of Jerusalem |
| 授課教授 | Shimon Schocken & Noam Nisan |
| 開課時間 | 6 周 |
| 教學方式 | 影片授課 |
| 通過方式 | 每週完成指定的作業，並上傳結果。 |
| 課程網址 | https://www.coursera.org/learn/build-a-computer |
最近剛翻完 Understanding Cryptography 這本書，內容真的是淺顯易懂，每章的最後也都會附上相關的參考跟深入研究可讀的參考資料，是本適合當入門的好書。
看完之後，想通了雜湊、訊息鑑別碼與簽章三者的差別，在這裡筆記一下，這三個對應的英文分別是 Hash, Message Authentication Code (MAC) 和 Signature，都是訊息傳遞時，用來檢查訊息內容有無「問題」的演算法，三者相似但有些許不同，要對付的問題也不一樣。
在陰間為了殺時間，總要找點書來看，因為自知不能看一些會變的東西，例如程式 Rust；這種東西等我返陽搞不好都翻了兩翻，現在我主力放在兩個方向，一是修coursera 的cryptography 課程，二是閱讀Logan 大大推薦的 Enginnering a compiler，前一個 cryptography 1 課程剛結束，這裡記錄一下心得。
下面是基本資訊：
| 課程名稱 | Cryptography I |
| 開課學校 | Stanford University |
| 授課教授 | Dan Boneh |
| 開課時間 | 6 周 |
| 教學方式 | 影片授課 |
| 通過方式 | 每週完成指定的作業並完成線上測驗。 |
密碼學中，有一種極簡的密碼，就是stream cipher(流加密XD)，對各式的明文，隨機產生一組和它一樣長的 key 並和明文 xor 起來，就是一個夠好的加密，只要該密鑰是隨機產生，如同上一篇
所說，密文也會夠隨機。
在實務上，通常不會用真的 random 密鑰，因為這會讓密鑰的長度要跟訊息一樣長，不實用，你能想像要先交換一組GB等級的密鑰嗎？我們會用pseudorandom generator，把短密鑰生成為長密鑰，來解決這個問題。
小弟最近消失了好一段時間，都沒在更新文章，其實小弟是掉到陰間去了，在陰間時間變很少，都不寫code（也沒電腦Orz），也不再看相關的東西，例如 rust 的文件了，因為我知道一年後出來，rust-lang 搞不好都翻了兩翻，而且看了也不能直接練習，看了等於白看。
最近把時間花在一些比較不會變的東西，像是計算理論、密碼學、數學等等的東西，請我的好友強強林寄列印的書給我，利用放島休的時間聽 coursera 上 stanford 的 cryptography，就算在陰間還是要定期充電，不然出來都變白痴了（雖然說本來就非常弱）。