Leslie Lamport 講 Paxos 與 TLA+

在「The Paxos Algorithm or How to Win a Turing Award」這邊看到 Leslie Lamport 在今年七月時親自講解 Paxos 這個經典演算法的錄影。另外一個有提到的主題是講形式規範的 TLA+,也是他的力作...

Leslie Lamport 是 2013 年的 Turing Award 得主,除了上面提到的事蹟外,LaTeX 也是他弄出來的東西,軟體名稱開頭的 La 就是他本人...

花些時間聽看看還不錯 (去聽看看他怎麼描述),不過現在的新軟體比較常實做 Raft,Paxos 比較少人選擇了...

音樂著作的授權架構

TorrentFreak 上看到「YouTube Copyright Complaint Kills Harvard Professor's Copyright Lecture (Update)」這篇文章提到了 YouTube 下架了「William Fisher, CopyrightX: Lecture 3.3, The Subject Matter of Copyright: Music」這部影片。

有兩件事情吸引我,第一件是,這是哈佛法學院的教授 William Fisher 的課程在說明音樂產業的著作權以及授權架構的線上影片,被 SME (i.e. Sony) 透過 YouTube 的 ContentID 以侵犯版權給下架了... XDDD (瞬間把板凳給拉出來坐著等)

第二件事情是在這個影片恢復後跑去看而發現的,發現描述音樂產業的授權模式講的相當清楚 (以美國的觀點),尤其當你身在這個產業裡 (yeah yeah),要因為這些授權架構不斷的改變,去修改現有的資料庫設計以配合授權架構,就會更有感覺了。

這個影片另外一個值得讀的地方在於他有手工翻譯的英文字幕可以看,有興趣看這個產業裡的各種複雜的授權架構的人,絕對值得觀看這 24 分鐘的影片: