原创 蘋果Mac新品國內開賣：13寸視網膜屏幕12488起
11月30日從手機搜狐網科技頻道中獲悉，蘋果2012款新品Mac電腦在國內（香港有的產品今天10月就開始銷售了）正式開售，此次發佈的產品包括： 13英寸Retina MacBook Pro，起價12488元； 21.5英寸新iMac一體機
2020-06-16 15:49:26
原创 Ubuntu/windows下Go語言環境安裝以及VS Code開發環境搭建
一、Ubuntu Go環境 操作系統：Ubuntu 14.04.5 LTS 1、在終端輸入如下命令執行安裝 sudo apt-get install golang-go 2、查看go版本 go versio
2020-06-16 15:49:25
原创 Linux Socket編程（不限Linux）
“一切皆Socket！” 話雖些許誇張，但是事實也是，現在的網絡編程幾乎都是用的socket。 ——有感於實際編程和開源項目研究。 我們深諳信息交流的價值，那網絡中進程之間如何通信，如我們每天打開瀏覽器瀏覽網頁時，瀏覽器的進程怎麼與we
2020-02-21 12:10:38
原创 什麼是一階邏輯（First-order Logic）
實際上，一階邏輯是一種形式系統（Formal System)，即形式符號推理系統，也叫一階謂詞演算、低階謂詞演算(Predicate Calculus）、限量詞（Quantifier）理論，也有人稱其爲“謂詞邏輯”，雖然這種說法不夠精確。
2020-02-21 12:10:37
原创 從「命題邏輯」到「一階邏輯」的過渡
數學就是不斷抽象的過程。。。 我們來看個例子： 所有的人都比 madao756 帥，你是人，所以你比我帥 在之前的「命題邏輯」中，我們只能把它抽成三個「簡單命題」 p：所有的人都比 madao756 帥 q：你是人 r：你比我帥 符號化以
2020-02-21 12:10:37
原创 程序員的一生
已是奔3的年紀了, 依然沒有找到能奮鬥一生的目標，轉載這篇文章的目的，是希望所有跟我一樣的程序員，早日確定目標，踏上征途，獲得成功~~~！ 第一章：一個目標 一艘沒有航行目標的船，任何方向的風都是逆風
2020-02-21 12:10:37
原创 如何嵌入PhxPaxos到自己的代碼
如何嵌入PhxPaxos到自己的代碼 PhxPaxos概述 你好！ 這是你第一次使用 Markdown編輯器 所展示的歡迎頁。如果你想學習如何使用Markdown編輯器, 可以仔細閱讀這篇文章，瞭解一下Markdown的基本語法知
2019-08-13 18:33:14
1
原创 2019年1月份GitHub上最熱門的開源項目
開源最前線整理了1月份GitHub上熱門項目的排行榜，以供開發人員參考 1、professional-programming https://github.com/charlax/professional-programmingStar
2019-02-19 06:53:21
原创 搭建Ubuntu Kotlin Eclipse開發環境
搭建環境：Ubuntu 16.04 ×64 1、安裝jdk 請查看：搭建Ubuntu Java Eclipse開發環境 2、安裝eclipse 請查看：搭建Ubuntu Java Eclipse開發環境 3、安裝Kotlin插件 STEP
2019-02-19 06:42:41
原创 搭建Ubuntu Java Eclipse開發環境
搭建環境：Ubuntu 16.04 ×64 1、搭建jdk1.8運行環境 1.1、下載jdk1.8 使用的版本：jdk-8u121-linux-x64.tar.gz 1.2、安裝jdk1.8 STEP 01, 解壓安裝包 tar -z
2019-02-16 19:22:43
原创 SDN必須知道的十大問題
SDN之所以能夠發展的如此之快，其中開源社區的貢獻不容忽視。隨着SDN 各類社區的不斷髮展狀大，開源項目也在不斷增多，從控制器到交換機再到網絡虛擬化，開源項目一度讓小編眼花繚亂。可能你熟悉OpenDaylight、RYU、Floodlig
2019-01-17 00:03:15
原创 【轉】無鏈之鏈：R3 Corda帶來的新視角
著名的金融領域分佈式賬本R3項目由於有衆多金融機構的參與和支持，並且獲得了數千萬美元的融資，自宣佈之日起就受到整個區塊鏈生態環境的矚目。從公佈的一些新聞稿、白皮書中，人們已經瞭解到：R3的最大特點之一，就是一個沒有區塊鏈的“類區塊鏈”系統
2019-01-11 00:02:03
1
原创 SHA512/384 原理及C語言實現(附源碼)
https://blog.csdn.net/u011280717/article/details/79430408 閒來無事，造個哈希輪子，SHA384/SHA512這兩者原理及實現一樣的，只是輸出和初始化的向量不一樣。 原型 hash_
2018-12-24 00:21:11
2
原创 【國密算法那點事兒】解讀DES和SM4、RSA和SM2及SHA和SM3
-- from http://www.wtoutiao.com/a/844743.html -- 另外，在個人資源裏有搜到的一個代碼，測試可用 安全是智能卡的核心，而算法是安全的基礎。 國密算法由國家密碼局發佈
2018-12-24 00:21:11
6