Facebook Page


SR-71 The Complete Illustrated History of the Blackbird – Col. Richard H. Graham

7th Feb 2019 - 11:23pm 書評
黑鳥是世界上最快的飛機,雖然已經退役多年,但其三倍音速的最快飛行記錄,至今仍然未被打破。上次去西雅圖飛行博物館,看見館中展出的黑鳥,很想知多些關於這台飛機的資料,於是便上Amazon訂了這本書…

Driving Excellence – Michael J. Jones, Steve Sanghi

24th Jan 2019 - 11:01pm 書評
正常情況我是絕不會浪費時間看這本書,基本上絕大部份商管書都是垃圾,講來講去都是那三幅被,把常識以不同方法重新包裝,然後就當是新慨念再賣一趟。我公…

建豐二年 – 陳冠中

22nd Jan 2019 - 10:26pm 書評
文學我怕悶不愛看,陳冠中是少數我會看的文學家。《建豐二年》是他的中國三部曲第三本,我很喜歡《盛世》近科幻的題材,《祼命》講西藏我沒有興趣看,這部《建豐二年》副題是新中國烏有史,講如果國民黨打贏共產黨,不存在的歷史會如何。 全書分為七章,時間的切入點從七五年到七九年,以個不同人的回憶,去從七方面講述新中國的發展。第一章是逃亡到香港的老左學者口中,探討如果共產黨打贏了的話,除了現實版本的黑暗統治外,還有其他比較溫政權出現的可能性。第二章是從國軍將軍口中,講當年如何打敗共產…

USS Midway America’s Shield – Scott McGaugh

20th Jan 2019 - 10:36pm 書評
去了去聖地牙哥旅遊,到訪軍武迷必遊的中途島號空母博物館朝聖。參觀完去艦上的禮物店,原本想擇件形仔的飛行員皮褸,一看價錢牌打消念頭,求其買了…

Literary Theory, A Very Short Introduction – Jonathan Culler

24th Nov 2018 - 01:03am 書評
早陣子我有幸參與王偉雄與鄧小樺在面書上關於文學的筆戰,於留言中在教授旁搖旗吶喊,質疑對家提出無理的論點。可是我是讀哲學出身,完沒有修讀過文學課,對家拋出幾個文學…

The Politics of Design – Ruben Pater

11th Jun 2018 - 11:08pm 書評
我有一個習慣,每個學期開始之時,會找個時間去逛逛大學書店,看看有什麼有趣的課本。今個學期有一本小書吸引我的目光,這本《設計的政治》是傳理系其中一門課的指定讀物。細細本二百頁都不到,…

Head First Python

2nd Jun 2018 - 11:16pm 書評, 電腦
說到要學電腦程式語言,Python相信是近年最炙手可熱的語言了,一來Syntax易學易用,二來library支援眾多,更是近期最熱門人工智能的主要語言,我最近因工作需要也要學Python。以前我讀大學時程式入門課教C,然後過幾了年進化為教Java,不過最近陸續轉為教Python了。公司新請回來的大學生個個都懂Python,吾等老海鮮也要與時並進才不會被淘汰。 原本公司內部個…

Embedded Linux Primer 2nd Edition – Christopher Hallinan

30th Nov 2017 - 01:23am 書評, 電腦
在PC上安裝Linux很簡單,上網下載個今期最新最流行的distribution,然後跟著畫面步驟照做就可以,基本上與安裝Windows同樣方便快捷。在embedded system上安裝Linux,就沒有這樣簡單了,embedded system規格千萬化,就算是使用同一塊晶片做CPU,不同的開發板也有不同設備。若果是熱門多人用的開發板(如Raspberry Pi, BeagleBoard等)還好,用家社群可以找到不同package的Linux系統,有些冷門的開發板…

How Linux Works – Brian Ward

8th Nov 2017 - 10:40pm 書評, 電腦
接觸Linux大大話話都有廿幾年,從最初唔知買乜鬼雜誌送CD,自已裝來裝去到搞唔掂個graphics driver,到後來Linux一統江湖,日日返工都在Linux上寫code,到最近因工作需要自己compile Linux,才發覺我從來沒有認真學習過Linux。日常使用Linux跑程式,砌機灌OS裝Linux那…

Formal Verification – Erik Seligman, Tom Schubert

21st Jun 2017 - 10:56pm 書評
這篇不是書評,這本書亦不是一般自學程式設計的電腦書,是一本涉及非常專門的知識,只有設計晶片才會用得上的技術課本。非行內人完全看不明白,這篇只是我學習formal verification(形式化驗證)的心得和筆記,所以我亦不期望有什麼讀者。 什麼是Formal Verification?首先要講什麼是dynamic verification,設計晶片不同寫程式,寫程式有bug很簡單,除錯出patch沒有什麼大不了。晶片有bug就很大件事,因為要更正問題,就要重新t…