原创 Redis之父的“退役”感言
Redis之父Antirez今早發佈了一篇文章，題爲《The end of the Redis adventure》。多年以前深入學習過Redis，這個最流行的緩存解決方案。當時驚歎於其近乎“變態”的性能表現，簡直就是一個性能猛獸
2020-07-03 05:53:53
原创 測試驅動開發下的軟件生長
測試驅動開發下的軟件生長 1.前言 最近讀完了《Growing Object-Oriented Software, Guided by Tests》，這本在豆瓣上高達9.5分的好書。事實證明，羣衆的眼睛是雪亮的。除去中間那個很長的
2020-06-23 12:14:59
原创 深入學習關係理論
週末陰雨連綿，在家閒來無事，抽空讀了《Database In Depth: Relational Theory for Practitioners》這本評價不錯的關係理論書的開篇。作者C.J.Date是關係理論之父Codd的好友，
2020-06-23 12:14:59
1
原创 數據庫引擎學習導讀
因爲目前項目涉及到數據庫查詢引擎的實現，所以近來愈發覺得數據庫引擎開發是一個很好的技術領域。首先，一個數據庫引擎與傳統編譯器很像，可以細分爲三大部分，前端、中端和後端。所謂前端，就是一個SQL解析器把用戶的SQL語句轉換成語法樹（
2020-06-23 12:14:45
1
原创 Linux Mint從HDD升級到SSD
Linux Mint從HDD升級到SSD 兩年前的黑五，幾乎不到五折入手了Thinkpad P50，一款非常不錯的個人工作站。可因爲當時預算有限，所以買的是“乞丐版”配置，處理器、內存、屏幕、背光鍵盤都還是次要的，最主要的是沒有固
2020-06-23 12:14:44
39
原创 三本有趣的科普書
1.《The Joy Of X》 第25章—— 最孤獨的數 Computers have found twin primes at unbelievably remote parts of the number line. Th
2020-06-23 12:14:38
原创 GitHub Action開啓自動化
這周突然發現公司項目的GitHub代碼庫多了一個Tab頁，叫做GitHub Action。於是瞭解了一下，發現這就是大家期待已久的自動化功能。自動化不只是我們常說的CICD（持續集成和持續部署），通過定義一個yml文件我們可以實現
2020-06-23 12:14:38
原创 對《如何解題》思路的補充
1.前言 《如何解題》（《How to Solve it》）是波利亞的經典著作，列舉了很多數學問題，總結了解決問題的主要思路和步驟，即定義問題，設計方案、實現、驗證。雖然全書主要是以數學問題爲例，但其思路適用於生活和學習的其他方面
2020-06-23 12:14:37
原创 程序員如何學數學
最近在找一些傳統離散數學以外的數學書，想從其他角度補習一下計算機科學相關的數學知識，偶然間就看到一些人都推薦了這篇文章Math For Programmers，通讀了一遍果然不錯。但文章有點長，所以沒逐字逐句地翻譯，只是對每個部分
2020-02-21 23:50:30
原创 當你編碼時你在做什麼：談編程的本質(二)可愛的樹
憋了好久的一篇，主題有點大一直沒有寫完，中間隔了很長時間現在已經有點撿不起來了，索性先發出來吧。至少個人覺得，完成的部分還是總結了一些有用的東西。關於Tree之上的屬性、遞歸算法等，只能等狀態回來了再補充了。 I think
2020-02-21 23:50:30
原创 遲來的2019年總結
2018年的個人總結內容很豐富，2019年也已經過去兩週了，想提筆寫點什麼卻好像素材不多。 這一年最大的收穫應該就是，一直在做的主項目3月份在GitHub上開源了。以前對GitHub上如何開發和協作一點都不瞭解，沒想到在Amazo
2020-02-21 23:50:30
原创 程序員的八重境界
看到一篇有趣的文章The Eight Levels of Programmers。以前似乎看過不少這種程序員的多少個級別、境界，但這篇語言很風趣，而且分類比較細化，讓人覺得挺合情合理、無法反駁的。絕大部分人想成爲一名優秀程序員的人
2020-02-21 23:50:30
原创 Grammarinator:基於ANTLR4語法自動生成語句
Grammarinator是一個基於ANTLR 4的grammar文件，自動生成語句的開源項目：https://github.com/renatahodovan/grammarinator。從語言的grammar生成語句或者所謂的
2019-10-28 05:14:57
5
原创 瘋狂的羅素
原書《Logicomix》，中文名《羅素的故事》或《瘋狂的羅素》。講述的是邏輯學家、哲學家羅素追尋真理的故事。以羅素的回憶爲主線，穿插了許多史實和一些虛構的情節，比如羅素與一些人物的會面和對話。主要內容上與《邏輯的引擎》類似，畢竟
2019-10-25 22:03:13
3
原创 超越離散數學
早些時候曾寫過一篇程序員的數學修養，介紹了一些程序員可以學習的數學分支。雖然與編程有一定的相關，但自學起來也不是一件容易的事。所以本文再推薦一些專門爲程序員寫的數學書，可以用作入門。有了一定基礎知識，可以再根據需要去學習和選讀一些
2019-10-25 22:03:13
5