从诞生至今，形式化验证（Formal Verification）方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段，更是为这项技术增添了一...
发简信
IP属地：江西
-
Don’t Test, Verify. | 哪个故事真正符合你对形式化验证的想象？ -
对类型理论(Type Theory)的理解
作为程序员的我们用不同编程语言写程序多年了。 我们是否反思过，为什么需要程序，为什么我们需要编程语言，究竟什么是编程语言，它们是怎样运作的？同时，函数式编程范式现在是一门很热...
-
大话数据结构读书笔记一、数据结构绪论 逻辑结构与物理结构逻辑结构：集合、线性（一对一）、树（一对多）、图（多对多）物理结构：顺序存储结构、链式储存结构 抽象数据类型 （Abstract Data...
-
[整理]Python垃圾回收机制--完美讲解!虽然是自己转载的但是是真的好的一篇图文并茂的对垃圾回收机制的讲解!!! 先来个概述，第二部分的画述才是厉害的。 Garbage collection(GC) 现在的高级语言如...
-
你后悔曾经的某个选择吗？图片来自Jambo 作品-开往春天 这两年，我的朋友圈里多了一些未曾谋面却感觉早已相识的朋友，从他们的世界中我看到了很多不一样的风景，也给生活带来了更多的思考。 某天，有个在...
-
为什么说名校毕业等于零？多年前，我还在上大一，读了一本书，叫做《北大毕业等于零》，这本书震撼着当时刚刚被985院校录取的我，至今还可以感受到这本书带来的余震。那本书，对于刚入大学的我，无疑是当头喝棒...
-
职场大佬告诉你，如何正确的写邮件
上个周五，我收到了一封CC全公司的邮件。这份邮件之前我都有看过，只是没有太在意，今天再次出现的时候，我觉得对于自己，对于经常需要写邮件的职场人士来说，都是价值千金。这是我们集...
