author/三分之一

華為P30挑戰三星S10,網友們會怎麼選?

前些天,華髮釋出了華為P30,不得不承認,華為P30的拍照能力真是太強了。所以這一下又引發了網友們的討論。那就是,現在是選擇華為P30好還是三星S10好呢? 其實關於這樣的問題,我相信每個人的答案都是不一樣

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

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

換個角度聊聊FaaS

Serverless/FaaS伴隨著k8s的熱度增加,也成為了熱門話題。相關文章介紹了很多,這裡筆者不一一贅述,而是從個人見解上聊聊關於FaaS的架構和意義。 FaaS可能的架構優化 從AppEngin

frp原始碼剖析-frp中的log模組

前言&引入 一個好的log模組可以幫助我們排錯,分析,統計 一般來說log中需要有時間、棧資訊(比如說檔名行號等),這些東西一般某些底層log模組已經幫我們做好了。但在業務中還有很多我們需要記錄

三星最強充電配件!國行25W快充頭現身,C口+PD協議

論綜合水準三星推出的旗艦手機確實是非常全面,從系統體驗到效能到拍照幾乎都做到了市面一流。但唯獨充電速度上一直都是明顯的短板,這麼多年以來仍然只給了QC 2.0標準(15W)的快充,在如今動輒40W、50W的時代中顯得

1746272228.5238