第一抽屉原理 原理1： 把多于n+1个的物体放到n个抽屉里，则至少有一个抽屉里的东西不少于两件。 抽屉原理 抽屉原理 证明（反证法）：如果每个抽屉至多只能放进一个物体，那么物体的总数至多是n×1，而不是题设的n+k(k≥1)，故不可能。 原理2：把多于mn(m乘n)+1（n不为0）个的物体放到n个抽屉里，则至少有一个抽屉里有不少于（m+1）的物体。 证明（反证法）：若每个抽屉至多放进m个物体,那么n个抽屉至多放进mn个物体,与题设不符，故不可能。 原理3：把无 ...

beyond compare是个非常好用强大的比较工具。我们用BC来比较文件时常常会遇到一个情况，那就是明明两个文件内容是一样的，但是由于时间戳不一样，而显示为红色表示不同，如果一两个这样的文件还好办，如果很多的话就比较讨厌。那在beyond compare中如果ignore timestamp呢？ 很简单，只要通过一个设置就可以搞定： 首先选择两个文件（或文件夹）进行比较： 这是就有会话： 进入session(会话) ->session setting(会话设置) ...

Redis下载和安装，可以参考官网https://redis.io/download $ wget http://download.redis.io/releases/redis-4.0.8.tar.gz $ tar xzf redis-4.0.8.tar.gz $ cd redis-4.0.8 $ make 安装后在src目录下启动redis $ src/redis-server 客户端可以使用命令行来连接和测试 $ src/redis-cli ...

这篇是腾讯云的思维导图。腾讯云的产品分类显的更为清晰，也是大体三层机构，比较让人记忆更深刻。 大体分为7大类。 基础仍然是云的产品核心。 各项展开：                                           ...

数独是一种风靡全球的智力游戏，也称为Sudoku，Number Place。正规的数独题目需要保证每个题目仅有一个解。   数独规则 标准数独由9行，9列共81的小格子构成。 分别在格子中填入1到9的数字，并满足下面的条件。 每一行都用到1,2,3,4,5,6,7,8,9 每一列都用到1,2,3,4,5,6,7,8,9 每3×3的格子都用到1,2,3,4,5,6,7,8,9   Sudo1: htt ...

虽然使用了云主机已经五六年了，先后租用过电信的天翼云，腾讯的腾讯云，阿里的阿里云，仍然对云的理解还是个外行。最大的感触就是越来越便宜了。当初的天翼云一个1G1G2M的配置就要2000多，现在阿里的双核8G8G5M三年也只要1000出头点。腾讯云也在发力，不缺钱。京东云估计也不缺钱但缺人才。 本外行试图来分析一下当今云时代的各路枭雄的发展现状。先看看Azure, Google, AWS, 阿里云，腾讯云，最后再看看不起眼的Oracle云。 所有信息来源于各自的官方网站，先由表及里慢慢熟 ...

Besides ApplicationContextAware and BeanNameAware (discussed earlier), Spring offers a wide range of Aware callback interfaces that let beans indicate to the container that they require a certain infrastructure de ...

参考文档： 《通过 docker 搭建自用的 gitlab 服务》https://juejin.im/post/5a4c9ff36fb9a04507700fcc 《使用 Docker 搭建 GitLab》https://juejin.im/post/5cc1df885188252d6c43fd91   本文忽略docker的安装过程。   安装GitLab: docker pull gitlab/gitlab-ce:latest ...

创业公司选择停止融资的原因有很多。一些公司实现了财务可持续性发展，另一些公司直接倒闭了，还有一些公司通过收购或上市的途径完成了退出。 假设我们在美国随机选择1000家种子轮创业公司。这些公司中有多少家能获得A轮融资？在获得A轮融资的公司中，又有多少能融到B轮？你可以继续这样的追踪下去，直到只剩下极少的公司。 但是只关注创业公司在不同轮次的存活率是不够的。更重要的问题是那些没能获得投资的创业公司究竟发生了什么？除了创业失败，也有其他一些愉快的原因，创业公司选择停止下一轮融资。例如公 ...

  web.xml配置 <servlet> <servlet-name>springmvc</servlet-name> <servlet-class>org.springframework.web.servlet.DispatcherServlet</servlet-class> </servlet> <servlet-mapping> ...

 本文参考 https://www.cnblogs.com/ios9/p/8018227.html#_label0_0 1 -----基本数据字典及其说明 2 select * from dba_tablespaces;---关于表空间的信息 3 select * from dba_ts_quotas ;---所有用户表空间的限额 4 select * from dba_free_space;--所有表空间中自由分区 5 select * fro ...

如何对svn库中的文件更名？how to rename a file in svn？ 在workcopy中 svn rename wc(本地原来目录名/文件名) wc（重命名后的目录名/文件名）  svn ci -m “ ” 将重命名提交到版本库  在repository中 svn rename URL(版本库里原目录名/文件名) URL（重命名后库里的目录名/文件名） -m “ ”  ...

    《Spring Boot Micro-services, Containers, and Kubernetes - How To》: https://www.youtube.com/watch?v=Bcs-inRnLDc ...

Operating as a community of like-minded professionals, OWASP issues software tools and knowledge-based documentation on application security. Everyone is free to participate in OWASP and all of our materials are available under a free an ...

本文参考官方文档 简介      WebLogic Web Service是根据JSR 109: Implementing Enterprise Web Services规范来实现的企业级Web服务。JSR109定义了使用JAVA实现Web Service所需的标准JAVA EE运行架构。该规范还定义了一个标准的JAVA EE Web Service打包格式，部署模式，以及运行时服务。这些WebLogic Web Service都有实现。根据该规范定义， ...

http://stackoverflow.com/questions/9437584/what-does-webkit-min-device-pixel-ratio-2-stand-for http://stackoverflow.com/questions/16030041/media-query-pixel-density-and-max-width-together http://stackoverflow.com/questions/15975432/webkit-min- ...

官网：https://travis-ci.org/ "Test and Deploy with Confidence" Easily sync your project with Travis CI and you'll be testing your code in minutes! 这是Travis的宗旨。很多github上的open source都在使用travis。 我也是在学习开源项目tesseract的时候接触Travis. &nbs ...

字符串搜索问题之前没有好好想，正常使用自带API或者正值表达式，或者第一反应就是常规的暴力搜索。其实这里面有很多很好玩的算法。Robin-Karp算法比较容易理解，而利用有限自动机进行匹配就开始晕了，最后的KMP算法代码不多，但是计算前缀的方法真是很神奇，静下心想了好久才开窍。神奇！神奇！很神奇。 本文讲一个很神奇的搜索字符串中以某一位开始的最长回文的算法。问题可以简化为从字符串首位开始的最长回文。 问题分析： public String getLonggestLeftPa ...

dd --help 常用dd来创建大文件，如dd if=/dev/zero of=/mybigfile bs=128M count=0 seek=24 参数： 1. if=文件名：输入文件名，缺省为标准输入。即指定源文件。< if=input file > 2. of=文件名：输出文件名，缺省为标准输出。即指定目的文件。< of=output file > 3. ibs=bytes：一次读入bytes个字节，即指定一个块大小为by ...

虽然使用了云主机已经五六年了，先后租用过电信的天翼云，腾讯的腾讯云，阿里的阿里云，仍然对云的理解还是个外行。最大的感触就是越来越便宜了。当初的天翼云一个1G1G2M的配置就要2000多，现在阿里的双核8G8G5M三年也只要1000出头点。腾讯云也在发力，不缺钱。京东云估计也不缺钱但缺人才。 本外行试图来分析一下当今云时代的各路枭雄的发展现状。先看看Azure, Google, AWS, 阿里云，腾讯云，最后再看看不起眼的Oracle云。 所有信息来源于各自的官方网站，先由表及里慢慢熟 ...