7个凡是
- 凡是有工作,就要有目标(销售额、费用、利润)
- 凡是有目标,就要有计划(课题、标准、时间、成果、责任人)
- 凡是有计划,就要有执行(计划的培训、讲解、分解)
- 凡是有执行,就要有检查(建立检查领导小组)
- 凡是有检查,就要有结果(通报检查战报)
- 凡是有结果,就要有责任(区分好和坏)
- 凡是有责任,就要有奖惩(培养人才,树立正面的企业文化)
– Ken Thompson, Bell Labs
暴力法也称为穷举证明法、事例证明法、案例分析证明法或完全归纳法,是一种数学证明方法,其中证明待证明的语句被划分成有限数量的情况或等价的情况集,并对每种类型的情况进行检查。看看这个命题是否成立。这是一种直接证明的方法。
– Andy Huber, Data General Corporation
对称是物理系统和抽象系统的一个重要特性,它可以用更精确的术语来表示,也可以用更美观的术语来表示。对称的缺失或违背,无论是预期的还是期望的,都会对系统产生重要的影响。
– Roy Carlson, University of Wisconsin
– Peter Halpern, Brooklyn, New York
因为web的基础http协议是无状态的,每个http请求都是一个socket短链接,因此只能由客户端向服务端发消息,而服务端不能主动向客户端发消息,服务器需要主动通知客户端的时候就无能为力了,因此诞生了websocket。
websocket只是一种协议,实现这种协议的服务端有很多种,今天我要聊是基于python,tornado框架的实现。->中文文档<-
基于javascript的客户端
1 | var ws = new WebSocket("ws://xxx.ylkb.net:8080/ws"); |
顾名思义,网络代理就是指定网络的出口,让指定的流量走指定的代理服务器。
常见的网络代理有:HTTP代理,socks代理,vpn代理,反向代理,ftp代理,pop3代理等等
我们挑选最常见的两种协议来说:
针对http协议和https协议的代理,用来代理http协议的访问
一些搭建http代理的软件: