從誕生至今，形式化驗證（Formal Verification）方法一直與“小眾、冷門”等字眼掛鉤。有人說形式化驗證方法是一種“軍用級別”的防黑客手段，更是為這項技術增添了一...
發簡信
IP屬地：江西
-
Don’t Test, Verify. | 哪個故事真正符合你對形式化驗證的想象？ -
對類型理論(Type Theory)的理解
作為程序員的我們用不同編程語言寫程序多年了。 我們是否反思過，為什么需要程序，為什么我們需要編程語言，究竟什么是編程語言，它們是怎樣運作的？同時，函數式編程范式現在是一門很熱...
-
大話數據結構讀書筆記一、數據結構緒論 邏輯結構與物理結構邏輯結構：集合、線性（一對一）、樹（一對多）、圖（多對多）物理結構：順序存儲結構、鏈式儲存結構 抽象數據類型 （Abstract Data...
-
[整理]Python垃圾回收機制--完美講解!雖然是自己轉載的但是是真的好的一篇圖文并茂的對垃圾回收機制的講解!!! 先來個概述，第二部分的畫述才是厲害的。 Garbage collection(GC) 現在的高級語言如...
-
你后悔曾經的某個選擇嗎？圖片來自Jambo 作品-開往春天 這兩年，我的朋友圈里多了一些未曾謀面卻感覺早已相識的朋友，從他們的世界中我看到了很多不一樣的風景，也給生活帶來了更多的思考。 某天，有個在...
-
為什么說名校畢業等于零？多年前，我還在上大一，讀了一本書，叫做《北大畢業等于零》，這本書震撼著當時剛剛被985院校錄取的我，至今還可以感受到這本書帶來的余震。那本書，對于剛入大學的我，無疑是當頭喝棒...
-
職場大佬告訴你，如何正確的寫郵件
上個周五，我收到了一封CC全公司的郵件。這份郵件之前我都有看過，只是沒有太在意，今天再次出現的時候，我覺得對于自己，對于經常需要寫郵件的職場人士來說，都是價值千金。這是我們集...
