从事组合优化或信息安全方向的研究人员，基于SMT研究，需要快速学习SAT求解器的基本原理和方法。以下是快速入门的几点体会： 1.理清需要——是完备求解器还是不完备求解器 完备求解器 能给出SAT、UNSAT、unknow三种确定的答案，尤其是UNSAT结论能给出证明推导过程，指出导致矛盾的关键路径。 ...
分类：
其他好文 时间：
2020-04-07 12:46:45
阅读次数：
528
标签（空格分隔）： 竞争力 传统测试工程师师应该具备的核心竞争力 试工程师要具备的七项核心竞争力， 包括：测试策略设计能力、 测试用例设计能力、 快速学习能力、 探索性测试思维、 缺陷分析能力、 自动化测试技术 良好的沟通能力。 或许，你感觉测试策略设计能力、探索性测试思维等对资深的测试工程师来说更 ...
分类：
其他好文 时间：
2020-03-28 17:44:56
阅读次数：
79
Dimple的粉丝都知道，我现在在做的几件事情：组建了两个学习小组（Java和Python入门），每周共同翻译一篇英语文档（欧阳和我寻找素材），时不时地分享我学习的心得（后续在视频号里做简短介绍），就这样我开始了新一年的公众号运营。 很多小伙伴都在按部就班地学习着，也坚持学习输出，都在为进一步提升自 ...
分类：
其他好文 时间：
2020-03-03 11:09:24
阅读次数：
75
原文格式可以访问： "https://www.rockysky.tech" 分布式系统的基本操作 1. 主节点选举：在绝大多数分布式系统中，都需要进行主节点选举。主节点负责管理协调其它节点或者同步集群中其它节点的数据。为了确保集群中一直存在一个主节点，需要有主节点的选举机制。但现有主节点无法访问的时 ...
分类：
其他好文 时间：
2020-02-27 20:36:59
阅读次数：
48
2020年小白学习web前端应该知道的学习路线 2020年是充满机遇与挑战的一年，这一年注定不平凡。随着5G商用、传统产业数字化转型加快，我们完全可以想象到互联网行业即将迎来自己的“高光时刻”，因此，现在学习web前端正当时。 那么，对于零基础小白而言，如何才能快速学习web前端呢？下面，小编就为大 ...
分类：
Web程序 时间：
2020-02-11 11:41:49
阅读次数：
78
最近闲暇时间在bilibili看了大胖的程序员如何学习一门新技术视频教程，总结了一下几点 第一步：看官方API(2天左右的时间) 第二步：找实战教程(自己可以去各大资源网站上购买) 5天时间 第三步：推动新技术在工作中的使用 不建议使用新技术到公司的主营业务中，不然到时候没弄好就得走人 第四步：看G ...
分类：
其他好文 时间：
2020-01-31 00:55:16
阅读次数：
87
成绩出来的当晚痛痛快快的睡了个好觉，等了几个晚上终于等到自己的成绩，从不失眠的我，一晚竟然2小时醒一次，清晨收到邮件的那一刻反而很淡定一切释然，虽然感觉能过，但还是得等这最后一刻的宣判。时间回到5个月前在51CTO刚开始备考，给自己定好学习计划，早上起来看书，晚上回去看视频。开始对照群里的学习计划明显感到吃力发现进度跟不上，后面把视频调到1.5倍速度来听，由于自己每天坐班车去公司，就在路上戴上耳机
分类：
其他好文 时间：
2020-01-19 09:51:12
阅读次数：
93
原文:WPF 窗体快捷键(热键) 前言：在WPF项目开发当中，遇到了需要用到快捷键的需求，于是对热键做了一个快速学习，但是这方面的资源很少。。。 热键大致分为三种场景，下面用QQ的使用场景举例： 全局热键：QQ的Ctrl+Alt+A截图。 焦点热键：QQ消息栏的Shift+Enter文本换行。 窗体... ...
前言：在WPF项目开发当中，遇到了需要用到快捷键的需求，于是对热键做了一个快速学习，但是这方面的资源很少。。。 热键大致分为三种场景，下面用QQ的使用场景举例： 全局热键：QQ的Ctrl+Alt+A截图。 焦点热键：QQ消息栏的Shift+Enter文本换行。 窗体热键：Alt+F4关闭QQ的窗口。 ...
总结：以实用为主，快速学习。而不是拿到一个东西就系统性的去学习。当然，深度钻研还是需要的，但是后边再说，尽快上手工作是第一位的。交流沟通很重要，不懂就问，不能闭门造车。在Microservices时代，我们更建议外部化你的软件产品差异化配置管理，尽量减少Profile的滥用甚至不用。可以多看官方文档 ...
分类：
其他好文 时间：
2019-12-21 21:04:06
阅读次数：
79
