全文共計965字，預計閱讀2分鐘 布洛克科技按：朱蒂提亞(Justitia)公鏈是智慧合約“程式碼即法律”基礎設施建設者，Justitia是目前最安全的主鏈。系統形式化驗證，是航天航空的系統驗證技術；世界最

MySQL憑藉著出色的效能、低廉的成本、豐富的資源，已經成為絕大多數網際網路公司的首選關係型資料庫。雖然效能出色，但所謂“好馬配好鞍”，如何能夠更好的使用它，已經成為開發工程師的必修課，我們

在做前端應用的過程中，我經常發現元件之間、store的module之間關係錯綜複雜，扁平的結構並不能表示其關係，隨著元件和module的增加，程式碼越來越混亂，維護成本也越來也高。我對這個問題的解決進行了一系

對於軟體定義廣域網(SD-WAN)來說，用與用好還是有很大差別的。作為一種新興的企業組網解決方案SD-WAN，不僅能夠實現廣域網加速、節省頻寬投入成本、應用靈活外，實際上還有6種簡化網路管理的功能，包括集中管理

前言 Joakim Tendstrand是Clojure和Datomic的架構師和開發人員，最近向作者強烈推薦了自己團隊的產品Polylith ，這個名字結合了“很多”和“石

想用資料庫“讀寫分離” 請先明白“讀寫分離”解決什麼問題 有一些技術同學可能對於“讀寫分離”瞭解不多，認為資料庫的負載問題都可以使用“讀寫分離”來解決。 這其實是一個非常大的誤區

原文地址： http://www.dalbll.com/Group/Topic/ArchitecturedDesign/4947 Uber的Greenlight Hubs(GLH)在全球擁有超過700個

2017年12月，在所有DDD (領域驅動設計) 專家及DDD愛好者們共同的努力下，首屆【 領域驅動設計中國峰會 】於北京國際會議中心成功舉辦。2017年的峰會成功吸引了海內外諸多DDD方法的領導者和實踐者參加，豐

作者簡介 許鵬，攜程高階研發經理，負責機票大資料基礎平臺的構建和運維。 機票業務看起來簡單，實際上整個流程的處理鏈條很長，呼叫關係也非常複雜，上下游涉及的各類日誌種類約60個，每種日誌都有獨立格

之前有網友說想看架構師升級的文章，所以寫了本文。先給本文中架構師做個定義：第一，能力上達到（似乎是廢話），第二，公司肯承認，不僅能給架構師的頭銜，更能按架構師的標準發工資。 對於程式員來說，架構師是職業發展

是因為我們無意識崇拜覆雜嗎？ 本文來自艾伯哈德沃爾夫 ： 軟體開發並不是真正的程式設計。任何人都可以寫一個十行程式。真正的挑戰是複雜的系統。如果一個系統如此之大，以至於單個人無法理解並進一步開

趙小姐姐 如果說昨天什麼最火，估計就是“官宣”了吧，趙麗穎結婚據說某新浪微博甚至還癱瘓了一陣子。 傳說上次有人說微博內部調整，現在已經支援八個明星同時出軌併發，那

目前，雖然說教育已經儘可能地普及化和大眾化，但是“優質教育”仍然屬於稀缺資源。教育早從孔子時期到今天，形式變化其實不大，那麼如何做好新教育行業的“服務商”，如何實現教育行業的SaaS化程序呢？本文中，校寶線上技

對於資料視覺化，實際上我在16年就寫過資料視覺化的文章，大家可以先參考: http://blog.sina.com.cn/s/blog_493a84550102w9v5.html 在這

當你手裡有把錘子的時候，看所有的東西都是釘子。 有時候程式員往往會陷入為了寫程式碼而寫程式碼的怪圈，沒有意識到程式碼是為了解決現實問題的。當問題有更簡便的解決方案時，寫程式碼未必就是必須。記住： 你不是別