[toc] 简介 Maven是java中非常有用和常用的构建工具，基本上现在大型的java项目都是Maven和gradle的天下了。 因为JDK的版本现在以每半年一次的速度在飞速发展。不同的JDK版本就有不同的java路径，我们在使用Maven的过程中，可能经常会需要切换JDK的版本。 一般来说我们 ...
分类：
Web程序 时间：
2020-05-23 09:38:33
阅读次数：
76
JML理论基础： 在大一的离散结构课程中，我们学习叻关于谓词逻辑的相关知识。作为一名周六还得补考离散二的菜鸡，我只能爬。我个人理解上JML语法格式是谓词逻辑和java的生动结合，让读者在理解与讨论的过程中收获极大的欢乐，并基于契约化编程的思想来解放程序员于bug之中->如果完全按照规格实现，那么WA ...
分类：
其他好文 时间：
2020-05-23 00:09:49
阅读次数：
58
在软件开发中针对用户的输入往往不是我们所期待的那样（不满足前置条件），有时候软件内部往往也会出现一些我们不易察觉的错误，针对这种情况，一些人持有乐观的态度，而另外一些人则从一个其他的事情中得到了启发：即由防御式驾驶而想到的防御式编程。 所谓防御式编程，指的就是这样一件事情：即我们假定使用者都是白痴， ...
分类：
其他好文 时间：
2020-05-22 22:57:42
阅读次数：
96
:horse:Python之路 函数进阶?? 程序员三大美德： 1. 懒惰 因为一直致力于减少工作的总工作量。 2. 缺乏耐性 因为一旦让你去做本该计算机完成的事，你将会怒不可遏。 3. 傲慢 因为被荣誉感冲晕头的你会把程序写得让谁都挑不出毛病来。 大家好??, 现在让我们一起来学习一下函数进阶部分 ...
分类：
编程语言 时间：
2020-05-22 21:19:49
阅读次数：
64
一、什么是消息队列MQ(MessageQuene):翻译为消息队列,通过典型的?产者和消费者模型,?产者不断向消息队列中?产消息，消费者不断的从队列中获取消息。因为消息的?产和消费都是异步的，?且只关?消息的发送和接收，没有业务逻辑的侵?,轻松的实现系统间解耦。别名为消息中间件通过利??效可靠的消息传递机制进?平台?关的数据交流，并基于数据通信来进?分布式系统的集成。二、为什么要使用MQ1.解耦现
分类：
其他好文 时间：
2020-05-22 19:14:52
阅读次数：
54
1.什么是 Java 虚拟机？为什么 Java 被称作是“平台无关的编程语言”？ Java 虚拟机是一个可以执行 Java 字节码的虚拟机进程。Java 源文件被编译成能被 Java 虚拟机执行的字节码文件。Java 被设计成允许应用程序可以运行在任意的平台，而不需要程序员为每一个平台单独重写或者是 ...
分类：
微信 时间：
2020-05-22 17:16:27
阅读次数：
123
经过两三个月的时间终于把资料整理齐全了，现在是时候拿出来分享一波了 ...
分类：
编程语言 时间：
2020-05-22 16:53:49
阅读次数：
125
有一种对软件开发者的偏见是：他们都是无趣的极客，是学校里的数学天才，每天都要在计算机屏幕前花费多个小时去写代码。 没错，开发者确实会在计算机屏幕前花费多个小时去写代码。但是，每天的工作中还有很多比写代码更重要的事情。就我个人而言，开发者意味着有机会自己做出很酷的东西。 想要搞开发？开发可不像你想得那 ...
分类：
其他好文 时间：
2020-05-22 16:44:32
阅读次数：
59
每个互联网工作者，心中都有一个大厂梦，毕竟在自己的职业生涯里，如果没有大厂的经历，总会觉得留下了遗憾。 大厂意味着什么 ？ 进入大厂，意味拥有更高的薪资、优质的人脉以及令人羡慕的工作环境和福利待遇。 但是，大厂虽好，它的竞争却也非常激烈，漫长的面试流程，就已经让很多人望而却步了。 而内推，却能够让你 ...
分类：
其他好文 时间：
2020-05-22 12:44:45
阅读次数：
69
说句心里话，小编在从事码农之前。就是干金融的！而且还是三年“万金油” 多金多油 金融行业工资高？ 我们当初在金融行业做业务，常常会说这样一句安慰话：三月不出单，一单顶半年。 可想而知，这个薪水是真的让人眼红，高薪程序员瞬间就黯淡了。 但我为什么又转行做程序员？ 一：金融行业就是从去年315开始下滑了 ...
分类：
其他好文 时间：
2020-05-22 11:22:00
阅读次数：
50
