可線性化檢查：與 NP 完全問題做鬥爭
作者 | 夏梓耀 杏仁後端工程師，勵志成為計算機藝術家 本文的英文標題是：Linearizability Checking: Fighting With The
搜尋技術
開發與測試的日常（2）
我是一名測試猿，如果說程式猿是碼磚的，那我就是專門找磚縫和漏洞的。這世上，沒有我找不到的漏洞，再小的BUG（臭蟲，指軟體缺陷），也逃不過我的火眼金睛。這天，我精神飽滿輕鬆愜意的上班了。
010 Editor 使用elf dex模板
模板=》新建模板 貼上使用即可 ctrl+j(或者右鍵)可以開啟結果 以下是dex模板 //----------------------------------
乾貨 | 給工程師的 ETH 2.0 指南，Part-1
-特別感謝 Nic Carter 用 PowerPoint 繪製了這幅好笑的圖片- 什麼是以太坊 2.0？ ETH2.0 是以太坊的計劃升級方案。在接下來的幾年裡，ETH2.0 的
秒殺系統注意點（面試題記）
問題結構 問題結構主要是以下三個： 1、可能存在的問題 2、如何應對，儘可能的說出技術細節 安全性 不要提前暴露搶購連結 可以使用
[圖]微軟強化Bing的文字轉語音和視覺搜尋功能
利用Azure虛擬機器中的NVIDIA GPU效能，微軟對移動端的Bing應用進行了大幅調整。其中最值得注意的是，文字轉語音功能明顯改善，聽起來更加自然基本上和人聲沒有區別。微軟表示這主要得益於公司研發的神經
北半球迎來春天：谷歌在Pixel主屏搜尋工具欄上顯示特色塗鴉
昨日，我們報道了 Google 向南北半球推送了“春 / 秋”兩個不同版本的 Doodle 塗鴉的訊息。這一驚喜似乎僅限於桌面平臺，但實際上，谷歌也悄悄地為 Pixel 裝置使用者送上了春天的問候。
head 標籤裡有什麼？
head 標籤裡有什麼？ 每一個 HTML 文件中，都有一個不可或缺的標籤：<head> ，它作為一個容器，主要包含了用於描述 HTML 文件自身資訊（元資料）的標籤，這些標籤一般不會
5分鐘讀懂當今區塊鏈——構架
《中國區塊鏈技術和應用發展白皮書》中總結了共識機 制、資料儲存、網路協議、加密演算法、隱私保護和智慧合約等六類核心關 鍵技術。2018年以來，產業界、學術界持續加大對區塊鏈相關技術的研 究力度，六類核心關鍵技術
理解模板型別推斷（template type deduction）
理解模板型別推斷（template type deduction） 我們往往不能理解一個複雜的系統是如何運作的，但是卻知道這個系統能夠做什麼。C++的模板型別推斷便是如此，把引數傳遞到模板函式往往能讓程式
k8s隨筆 – service name的約束
公司的服務間呼叫是基於domain互相呼叫的，並且每個domain前面有4層負載，沒有使用服務註冊框架。 在切換到K8S方案後仍舊希望保持按domain互相呼叫，因此運維提出為每個服務建立一個servic
九思OA系統成功簽約廈門農商金融,助力企業運維服務再創佳績
日前獲悉，九思軟體成功簽約廈門農商金融控股集團公司OA運維服務合同。本次成功再合作無疑彰顯出九思是符合企業發展需求的辦公管理軟體，同時亦是九思 OA 在金融行業辦公實力的有一有力證明。
目前最好的口令建議（注意：這不是NIST指南）
口令短因此容易被破解，但長的話太複雜且容易重複使用？口令設定標準到底應該怎樣才合適？ 美國國家標準與技術研究院(National Institutes of Standards and Techn
微信智言奪冠全球對話系統挑戰賽，冠軍解決方案全解析
前不久，微信智言團隊奪得第七屆對話系統技術挑戰賽（DSTC7）Track 2 賽道的冠軍。 DSTC7 挑戰賽由來自微軟研究院、卡耐基梅隆大學（CMU）的科學家於 2013 年發起，旨在帶動學術與工業
2019 BsidesSF straw-clucher PWN
前端時間有機會做了這個比賽的題目，當時一直在看WaterDragon這道題目，比賽結束了也沒有做出來。straw-clucher和WaterDragon這兩道題目相對於一般的pwn題目而言程式碼量較大