评：舒尔的想法是美妙的，当然他本身也有很多意义，在机械化证明的理念里，它也占据了一方田地。 ...
分类：
其他好文 时间：
2017-08-17 14:22:25
阅读次数：
250
测试驱动android开发 在安卓模拟器或者真机上跑测试用例速度很慢。构建、部署、启动app，通常需要花费一分钟或者更久。这不是TDD（测试驱动开发）模式.Robolectric提供一种更好的方式。 可能你一直尝试在java IDE中使用junit或者testng直接跑测试用例，但是一直报java. ...
分类：
移动开发 时间：
2017-08-17 12:57:37
阅读次数：
170
在只压入一个元素的时候使用 $arr[] = $value 当可以同时压入多个元素的时候推荐使用 array_push。 注：如果是压入一个元素，使用$arr[]=$value效率高，因为可以节省调用函数的额外负担。 如果同时压入多个元素，使用array_push效率高，因为不用重复获取文件尾的指针 ...
分类：
其他好文 时间：
2017-08-17 12:56:19
阅读次数：
118
jenkins+ant+jmeter自动化性能测试平台 Jmeter是性能测试的工具，java编写、开源，小巧方便，可以图形界面运行也可以在命令行下运行。网上已经有人使用ant来运行，http://www.programmerplanet.org/projects/jmeter-ant-task/, ...
分类：
其他好文 时间：
2017-08-17 12:50:00
阅读次数：
126
sql注入解析 sql注入解析（一）基本语法 sql注入解析（二）执行注入 sql注入解析（三）数据库类型 sql注入解析（四）避开过滤 ...
分类：
数据库 时间：
2017-08-17 12:46:15
阅读次数：
194
样式表分为内联，内嵌，外部。 内联： 写在标签里面。 优点：控制精确，代码重用性差 内嵌：一般来说是嵌在head里面。样式表里面的注释语法是 /*样式*/ 优点： 代码重用性好（可以通过一个样式来控制n个标签） 缺点：控制没有内联的精确。 外部样式表：是一个单独的样式文件。（跟主页面不在同一个页面， ...
分类：
其他好文 时间：
2017-08-17 10:38:49
阅读次数：
94
返回顶部 楔子 假如我现在有一个列表l=['a','b','c','d','e']，我想取列表中的内容，有几种方式？ 首先，我可以通过索引取值l[0],其次我们是不是还可以用for循环来取值呀？ 你有没有仔细思考过，用索引取值和for循环取值是有着微妙区别的。 如果用索引取值，你可以取到任意位置的值 ...
分类：
编程语言 时间：
2017-08-17 10:26:18
阅读次数：
179
看图效果如下： 1.个人资料界面 2.点击头像弹出对话框 3.点击拍照 4.切割图片，选择合适的部分 5.点击保存，头像替换完毕，下面看从相册中选择图片。 6.点击相册 7.任选一张图片 8.切割图片 9.图片替换成功 亲测退出账户后重新登陆或者换模拟器登陆有效！！！ 图片已经上传到云端了！！！ 下 ...
分类：
数据库 时间：
2017-08-17 10:23:28
阅读次数：
272
Currently, patchValue doesn't support update FormArray. The workarround is you need to empty the form array first, then add items back. ...
分类：
其他好文 时间：
2017-08-17 10:22:39
阅读次数：
209
Given a sorted array, this array is rotated by some unknown times. Find if there is a pair in this array that sums to a given value. Solution 1. O(n * ...
分类：
其他好文 时间：
2017-08-17 10:20:09
阅读次数：
132
