正態分佈

任正非:面對美國的壓力,我們決不能妥協

聚是一團火,散是滿天星。 2017年華為上海戰略務虛會議在決定是否縮減電信軟體CRM業務時,爭論很激烈,老闆內心焦慮,以至於中途離開會場去花園散步。但最終決定壯士斷腕,作出戰略取捨時,馬上又面臨上

看懂火星文(三)

感謝 本文參考《正則表示式迷你書》 分組和分支結構 分組 括號可以提供分組的功能。/a+/, 標示a出現多次。/(ab)+/, 則是將ab作為一組,表示ab出現多次。 分

BASE理論

BASE理論 BASE是Basically Available(基本可用)、Soft state(軟狀態)和Eventually consistent(最終一致性)三個短語的簡寫,BASE是對

架構師技術棧體系

整理的一份架構師進階課程思維導圖,內容來自於咕泡學院的Java架構師培訓公開課程。圖片下面包含匯出的文位元組點,需要的同學可以匯入到自己的腦圖中。 image.png

一文徹底搞懂面試中常問的各種 “鎖”

前言 鎖,顧名思義就是鎖住一些資源,當只有我們拿到鑰匙的時候,才能操作鎖住的資源。在我們的Java,資料庫,還有一些分散式的環境中,總是充斥著各種各樣的鎖讓人頭疼,例如“公平鎖”、“自旋鎖”、“

LCS,給你一個不一樣的模糊匹配

LCS(longest-common-subsequence problem),又名最長公共子序列問題 給定兩個序列X和Y,如果Z既是X的子序列,也是Y的子序列,我們稱它為X和Y的公共子序列 比如X={A,B

什麼是動態規劃

我們知道 的思想就是將大問題拆分成小問題進行攻破; 比如鋼條切割問題: 給定一段長度為n的鋼條和如下的價格表,求切割鋼條方案,使得收益最大 我們很容易想到

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

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

看懂火星文(一)

感謝 本文參考《正則表示式迷你書》 模糊匹配 橫向模糊匹配 什麼是橫向模糊匹配? 正則可匹配的字串的長度不是固定的。例如**/ab{2, 5}c/**

1746072851.2081