Re:java面试题之----String的intern
很棒的文章，解决了我的问题。网上的许多关于String intern方法的内存分析不是含糊不清，就是内容错误。
Re:OO第三次博客作业
我认为作业中要用到并查集、Dijkstra这些算法没什么问题，这些本来就是很基础的一些算法，并且数据结构课中学过，即使忘了，上网一查也很快就能重新捡起来。 问题大概在于本单元的主要考察内容并不是很明确，导致作业的主要难点变成了算法。虽然是希望我们学习JML，但是从实践来看，似乎并没有什么大项目真正的在使用JML，JML的目的是为了自动化，但是如果为了自动化测试，架构师要花上跟写代码查不多甚至更多的时间去写JML，程序员要反复阅读JML才能理解一个函数要做什么，这样的时间成本似乎过于高昂。更何况有的时候架构师会写错JML，程序员会把JML中的括号看错，导致新的bug，从而花费更多时间。这样的投入和产出，大概也是JML没有大规模铺开的一个原因吧。 我认为，规格化是好事，但是没有必要追求极致的自动化测试（更何况实际上这一单元也没有几个人成功用JML进行了有意义的自动化测试）。有些东西用自然语言一句话就能说清楚，但是用形式化语言反而要很多语句进行组合，导致理解函数功能的时间成本大大增加，出错的风险也反而提高，这样未免本末倒置了。对于讲效率的互联网行业，这样的性价比不如把写JML的时间节省出来多写几个单元测试。所以我认为，规格不如放弃自动化这一点，把目标转向高效、准确的传达信息，自然语言更简洁的时候就用自然语言，形式语言更简洁的时候就用形式语言。
Re:（四）AppScan用外部设备（ios，安卓）录制app脚本进行安全测试
博主，请问一下，是安装了appscan的电脑上需要安装ssl证书是吗？还是手机端需要安装ssl证书？还有就是我电脑上的夜神模拟器设置了代理后，在模拟器中的浏览器访问http://appscan提示：
Re:分布式事务之如何基于RocketMQ的事务消息特性实现分布式系统的最终一致性？
是不是写的太粗了。这里面有很多问题。 producer执行成功了再发消息给Consumer，这其实已经串行化了。而且如果Consumer Recommit反复失败，难道一直阻塞在队列里？一段时间内Consumer连续失败其实很正常，repush没有时间间隔？
Re:windows 下安装 theano 及配置 gpu
你好，我下载了你的编译的gpuarray.dll文件后，报错是pygpu.gpuarray.GpuArrayException: b'Could not load "nvrtc64_102.dll":。我安装的CUDA也是10.1版本的，这是怎么回事。然后我按照您的步骤继续，只是把所有的101都替换成了102，成功运行了。可我使用nvcc -V看到我装的明明是cuda10.1，这到底是怎么回事。。。
Re:学习ASP.NET Core(04)-依赖注入与Autofac及环境配置
@C#小学徒 autofac容器会接管core自带的容器，使用的话就和之前一样，在controller的构造函数中注入程序集下的接口就行了
Re:Invalid bound statement (not found): com.bdqn.ssmgj.mapper.DepartmentMapper.insertSelective
感谢！
Re:从零开始入门 K8s | 手把手带你理解 etcd
干货