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