author/極客互聯

基於學習的快取一致性協議帶參驗證

一、背景 帶參系統存在於許多應用領域中,比如快取一致協議等。因為它的研究價值,驗證這樣的系統的也就吸引來了形式化驗證、模型檢測和定理證明等社群的關注。要想驗證帶參系統的正確性,就必須驗證任意例項大小的系統中

《中國物聯網報告》,IoT的未來在哪裡?

我們是Kr8: 36氪創新諮詢團隊Kr8 是36氪媒體下的專業創新團隊,致力於為大企業連結創新技術以及商業模式,將未來場景帶入現實商用社會。 背靠36氪在亞洲(中國、新加坡、日本)

增長黑客之從裂變到增長組合拳

從道與術來講,更多的是具體的案例,即術。這樣也好,一個是方便總結模仿,一個是在模仿熟練後,由量變到質變,自己可以更深的去思考道的東西。 一、從3種裂變方式講起 網際網路就是這樣神奇,運營玩法層出不

選擇物聯網協議:深入瞭解LoRa,Cat-M和NB-IoT

選擇正確的物聯網協議對您企業的物聯網專案可能意味著一切。 自1982年第一臺非官方的物聯網(IoT)裝置——卡內基梅隆汽水機問世以來,已有超過30年的歷史了。該裝置被改裝成向一群大學生報告其飲料餘量,這些學

如風達快遞頻繁賣身 越混越慘直到徹底涼涼

作者:龔進輝 提起如風達快遞,不少人的印象還停留在凡客時代。當年凡客風頭正勁時,其屬於凡客自建物流部門,被視為內部重要資產,就像京東物流之於京東。不過,隨著凡客在2013年逐漸走向衰

龍網被盜,損失超600萬美元

編者按:本文來自36氪戰略合作區塊鏈媒體 “Odaily星球日報 ”(公眾號ID:o-daily, APP下載 ) 北京時間 3 月 24 日凌晨,DragonEx 交易所錢包遭受黑客入侵,導致使用者和

家電市場迎來AI+IoT變局,蘇寧強勢殺入目的何在

原本古井不波的家電市場,正隨著AI+IoT風口的到來而變的洶湧澎湃。剛剛過去的上海AWE,以AI+IoT為核心賣點的家電產品在令人目不暇接的同時,也正式宣告家電市場一個嶄新的時代正式來臨。一面是傳統家電企業的A

IP跨界3.0,開啟互動營銷新時代

你以為房產品牌營銷就是比鄰遠山做閒人的主題海報,就是餘韻悠長的魅力文案?是時候轉化思路,玩點不一樣的。 繼支付寶錦鯉大火後,前不久從遊戲圈火到社交圈的“新錦鯉”事件一時間引發了熱議。 玩遊戲就

1752059507.9311