Search
不好意思又要炫耀一下，這種稱讚讓人雀躍！
隆重介紹一下：
凱婭·喬丹·格伯 （Kaia Jordan Gerber）
生日2001年9月3日美國模特兒，生日同一天！
她的媽媽更有來頭，辛蒂克勞馥（Cindy Crawford）80年代最具代表的名模之一！
https://www.facebook.com/ChanelTW/videos/1242382675963541?sfns=mo
一般人用真的是沒差啦 但政府機關高層在用的話 確實不妥~
--
那你會問：為什麼華為產品不能用，其他美國公司產品就可以用？道理不在科學，在於商業模式。一般公司的目的是賺錢，一旦被發現做了壞事它就賺不了錢了，所以它不會去做。而中資的公司很多都有政治目的，它們不一定要賺消費者的錢，而是可以為政治服務。如果是一般民生產品也就罷了，但資訊網路骨幹這種設施，我是絕對反對使用中資公司的產品的。
看到很多人認為資安要把關只要做好檢測就好，這是對電腦科學的基本原理認識不足。
除了「formal verification」（請查維基）之外，沒有任何檢測能測出軟體（包括韌體和作業系統）「完全沒有問題」。這些檢測都是測試產品「有沒有做該做的事」，以及一小部份「在某些情形下沒有做不該做的事」；不可能測出「永遠不會做不該做的事」。華為的產品絕對不可能通過 formal verification。至少兩個基本原因：只要有物件導向程式，就不可能通過；只要有自我修改（包括升級）的能力，也就不可能通過。這方面可以去請教 jserv。
關於理論基礎，電腦科學有一個非常重要的基本定理，叫作 Halting problem。它的意思大致上是：沒有一個程式可以判斷出「任何程式在任何情形下是否能執行到完成」。連「判斷是否完成」都做不到，那更不可能「判斷是否做壞事」了。
要談實戰經驗嗎？我1999-2003在 Lucent Bell Labs 寫電信交換機軟體。這方面我懂。
那你會問：為什麼華為產品不能用，其他美國公司產品就可以用？道理不在科學，在於商業模式。一般公司的目的是賺錢，一旦被發現做了壞事它就賺不了錢了，所以它不會去做。而中資的公司很多都有政治目的，它們不一定要賺消費者的錢，而是可以為政治服務。如果是一般民生產品也就罷了，但資訊網路骨幹這種設施，我是絕對反對使用中資公司的產品的。
至於工研院禁止華為手機連上內網，大部分是宣示意義，但也有一小部分實質意義，就是減少間諜設備刺探的機會。但要達到這個目的，還應該完全禁止在院內使用中國設備才對。為什麼不禁？因為會造成同仁不便，就這麼簡單。
對一些其他人的不正確評論，我就不一一反駁了。任何人還要說華為設備可以用的，請先把 halting problem 的證明寫一遍，再把 formal verification 的定義寫一遍，再來跟我說。
萬一還是想用華為設備呢？只要華為願意把所有原始碼（包括作業系統和編譯器）、電路圖（包括 Gerber）、生產程序、以及維護工具（包括升級伺服器）交出來，交給台灣的 HITCON 團隊 +jserv +CIH 去檢查六個月，都找不出問題，那我就接受。這應該很合理吧？外國公司去中國營業，不是也都要把技術交出來嗎？
美國PRISM計畫早就曝光的前提下，還可以假設美國公司不受政府利用？
這算是真實世界認識不足嗎？
此人說的誘因如果存在於中國，自然也會存在於美國乃至於任何其他國家政府。
說穿了，此人根本就是以預設立場在發展整套自我矛盾的論述，根本假設在「美國好棒棒，中國好壞壞」這個完全違背現實的基礎。
而現實美國涉入透過情報組織顛覆他國政府與發動戰爭上，其壞記錄都是罄竹難書。
更好笑的是，這位翟神也僅談到軟體層面，絲毫沒談到現實物理中，一個人造裝置要偷偷傳遞訊息必然會有電氣反應也必然要消耗能源。傳輸資料量越大，則此二者無可避免的物理現象也將越容易被察覺。
試問有任何證據證明華為的硬體設施耗電量超過它廠？反過來，如果華為能在與它廠相同耗能前提下，達到同樣的傳輸功能再加上竊取資料能力，這技術未免過於先進到屌打所有同業吧？真實的華為有這麼神？
看到很多人認為資安要把關只要做好檢測就好，這是對電腦科學的基本原理認識不足。
除了「formal verification」（請查維基）之外，沒有任何檢測能測出軟體（包括韌體和作業系統）「完全沒有問題」。這些檢測都是測試產品「有沒有做該做的事」，以及一小部份「在某些情形下沒有做不該做的事」；不可能測出「永遠不會做不該做的事」。華為的產品絕對不可能通過 formal verification。至少兩個基本原因：只要有物件導向程式，就不可能通過；只要有自我修改（包括升級）的能力，也就不可能通過。這方面可以去請教 jserv。
關於理論基礎，電腦科學有一個非常重要的基本定理，叫作 Halting problem。它的意思大致上是：沒有一個程式可以判斷出「任何程式在任何情形下是否能執行到完成」。連「判斷是否完成」都做不到，那更不可能「判斷是否做壞事」了。
要談實戰經驗嗎？我1999-2003在 Lucent Bell Labs 寫電信交換機軟體。這方面我懂。
那你會問：為什麼華為產品不能用，其他美國公司產品就可以用？道理不在科學，在於商業模式。一般公司的目的是賺錢，一旦被發現做了壞事它就賺不了錢了，所以它不會去做。而中資的公司很多都有政治目的，它們不一定要賺消費者的錢，而是可以為政治服務。如果是一般民生產品也就罷了，但資訊網路骨幹這種設施，我是絕對反對使用中資公司的產品的。
至於工研院禁止華為手機連上內網，大部分是宣示意義，但也有一小部分實質意義，就是減少間諜設備刺探的機會。但要達到這個目的，還應該完全禁止在院內使用中國設備才對。為什麼不禁？因為會造成同仁不便，就這麼簡單。
對一些其他人的不正確評論，我就不一一反駁了。任何人還要說華為設備可以用的，請先把 halting problem 的證明寫一遍，再把 formal verification 的定義寫一遍，再來跟我說。
萬一還是想用華為設備呢？只要華為願意把所有原始碼（包括作業系統和編譯器）、電路圖（包括 Gerber）、生產程序、以及維護工具（包括升級伺服器）交出來，交給台灣的 HITCON 團隊 +jserv +CIH 去檢查六個月，都找不出問題，那我就接受。這應該很合理吧？外國公司去中國營業，不是也都要把技術交出來嗎？
海莉·畢柏收服小賈斯汀的「一週穿搭」►https://smarturl.it/32qgyw
【字幕更正】6:56 shout out 為致敬、致意的意思！為翻譯錯誤致上深深歉意！
在最新一集的 7 Days, 7 Looks 中，Kaia Gerber 帶 Vogue 走過她時尚生活的一週。
#時尚穿搭 #KaiaGerber #靴子穿搭
0:09 週一工作穿搭
1:01 週二朋友聚會穿搭
2:03 週三超模媽咪搭配穿搭
3:38 週四約會穿搭
5:31 週五健身穿搭
7:07 週六隨性出門買咖啡穿搭
8:39 週日出遊穿搭
【 其他熱門主題】
讓喜歡的事變生活！Good Job！ ► http://smarturl.it/r7si6s
芭蕾舞者們的血淚史 ► http://smarturl.it/uhot5l
唐綺陽12星座深入剖析 ► http://smarturl.it/in8eqp
美容編輯正芳隨你問 ► http://smarturl.it/zf5840
口音、服裝專家拆解經典電影 ► http://smarturl.it/zcbgmf
---------------------------------------------------------------
【追蹤 VOGUE TAIWAN】
★訂閱VOGUE TAIWAN Youtube：http://smarturl.it/xbtuuy
★VOGUE TAIWAN 官網：http://www.vogue.com.tw/live/
★VOGUE TAIWAN Facebook：https://www.facebook.com/VogueTW/
★VOGUE TAIWAN Instagram：https://www.instagram.com/voguetaiwan/
★VOGUE TAIWAN LINE：https://reurl.cc/V66qNn
★美人會不會 FB社團：http://hyperurl.co/rgfitl
▷ Make sure you subscribe to my channel and hit the notification bell, so you don’t miss any of my new videos → http://smarturl.it/xbtuuy
--------------------------------------------
※關於時尚，VOGUE說了算！自從1892年第一本VOGUE在美國出版以來，至今已有122年的歷史，始終被時尚專業人士所推崇，因此榮譽為Fashion Bible時尚聖經。
--------------------------------------------
※台灣VOGUE隸屬Condé Nast Interculture Group，相關國外影片皆由國外授權提供給台灣使用，台灣VOGUE秉持服務網友，讓更多中文語系觀眾可以看到國際影片跟中文字幕，所以在此頻道分享給大家，如果喜歡我們的頻道，請訂閱我們，我們將會持續努力帶來更多優質內容。
gerber意思 在 請問電路layout的gerber圖是指甚麼意思 - Mobile01 的推薦與評價
請問電路layout的gerber圖是指甚麼意思 ... 一般pcb圖檔直接給板子廠就好了吧，不太需要自己產生gerber檔。 不知你用哪一套，但應該都有產生gerber的功能。 ... <看更多>