author/Mac應用軟體

分散式事務有自己的架構語言嗎?TLA +簡介

TLA +是一種正式的規範語言。它是設計系統和演算法的工具,然後以程式設計方式驗證這些系統沒有嚴重錯誤。它是相當於藍圖的軟體。通常用於設計分散式事務系統,亞馬遜等公司普遍使用該語言規範設計他們的分散式事務中介軟

ST001 | 移動 App 應用測試方法與思路

分析三種主流的移動 App 型別,並給出和普通web測試不同的地方,給出測試的思路,並給出部分場景組合。 附:安卓 App 測試常用 adb命令和 money 命令 移動端測試還是 PC 端測試,業務測試其

點分治小結

演算法介紹 點分治,顧名思義,是一種對點進行分治的資料結構。(樹上的點) 多用於在樹上進行有限制的路徑計數。 比如:求樹上長度小於$ k$ 的簡單路徑條數。\((n \leq 10000)

輸出1~n之間的所有質數

寫這篇文章,主要是因為面試的時候碰到該問題,當時沒有反應上來,錯過一個機會,後來思考很久,算是找到一個合理的解決方案,記錄一下。 1. 基本概念 首先,明確一下質數的概念: 質數,又

從偷拍事件,看民宿參差不齊的監管病

提起民宿,瞬間出現在你腦海的或許是那些美好的詞:文藝範兒、無拘無束、青山綠水……似乎拋離傳統酒店住宿後,民宿能給人帶來“詩和遠方”。在共享經濟浪潮之下,傳承當地人文風貌和鄉土人情的民俗正呈現高歌猛進之勢。民宿

我們一起造輪子 - RxDownload

基於RxJava打造的下載工具, 支援多執行緒和斷點續傳 專案地址 RxDownload 主要功能: 使用Retrofit+OKHTTP來進行網路請求 基於RxJava打造,

安卓新功能曝光:或可通過應用商店更新手機系統

作為一名安卓手機的使用者,你可能對如何更新手機系統瞭如指掌——不就是進入設定,找到關於手機附近的系統更新然後接受OTA嘛。這樣的操作可能在一些使用者當中養成了習慣,不過這樣的習慣有可能在未來發生一些改變。 根據外

荷蘭對蘋果App Store應用商店展開反壟斷調查

據彭博社報道,荷蘭反壟斷機構“荷蘭消費者與市場管理局”(NACM)已對蘋果公司的App Store應用商店展開調查,以評估蘋果是否濫用其在App市場的主導地位。為此,NACM還呼籲開發者提供相關證據

每日一算--零錢兌換

給定不同面額的硬幣和一個總金額。寫出函式來計算可以湊成總金額的硬幣組合數。假設每一種面額的硬幣有無限個。 示例 輸入: amount = 5, coins = [1, 2, 5] 輸出: 4 解釋: 有

如何畫出一張合格的技術架構圖?

接下來,阿里巴巴技術專家三畫,將分享自己和團隊在畫好架構圖方面的理念和經驗,希望對你有所幫助。 當我們想用一張或幾張圖來描述我們的系統時,是不是經常遇到以下情況: 對著畫布無從下手、刪了

科學家粉絲團(陪伴你的第163天)

科學家粉絲團 (陪伴你的第163天) 1.李想:IPO是水到渠成的事 對理想ONE銷量不做預期 【如果沒有車輛的數字化和智慧化,他們可能連競爭的機會都沒有,因為這個市場發生改變以後才有了一個進入的機會】

1751869318.4055