Scyther-Semantics and verification of Security Protocol 翻译 (第二章 2.2.2----2.3)
2.2.2 事件顺序协议中的每个角色对应于事件列表，换句话说，在属于角色R的协议事件集上施加结构，总的排序表示为$prec$,如此任何角色R∈Role和$varepsilon1$,$varepsilon2$∈RoleEvent,这样Role($varepsilon1$)=R和role($v...
Scyther-Semantics and verification of Security Protocol
1、本书前一节主要是介作者自己的生平经历（读完感觉作者是个神童），目标明确作者13岁代码已经写的很溜了。自己也开了网络公司，但是后面又专注于自己的计算机基础理论，修了哲学的博士学位（不得不说很多专业的交叉真的可以创造新的起点），但是任何领域的开辟都是来自自己不辞辛苦的决心和坚韧不拔的毅力。 &nb...
DataGridView DataGridViewCheckBoxColumn编辑时实时触发事件
正常响应CellValueChanged()事件时，当改变checkbox状态时，只有当焦点离开该单元格时才能触发CellValueChanged()事件，如果要改变checkbox值时实时触发CellValueChanged()事件，需要借用CurrentCellDirtyStateChanged()事件来提交未提交...
SQL collate
我们在createtable时经常会碰到这样的语句，例如：passwordnvarchar(10)collatechinese_prc_ci_asnull，那它到底是什么意思呢？不妨看看下面：首先，collate是一个子句，可应用于数据库定义或列定义以定义排序规则，或应用于字符串表达式以应用排序规则投影。语法是coll...
Xcode intellisense meaning of letters in colored boxes like f,T,C,M,P,C,K,# etc
inXcodethisiscalled"CodeSense".AndtheseiconsalsoexistinXcode3.Red:macros#=macro(think #define)Brown:CoreData/namespaceC=modeled classM=modeled me...
NSURLProtocol的总结
NSURLProtocol是一个抽象类。NSURLProtocol是NSURLConnection的handler。 所有的通过NSURLConnection发出的请求都会走NSURLProtocol协议。UIWebView也是走NSURLProtocol。 NSURLProtocol通过+(BOOL)regi...
pygame-KidsCanCode系列jumpy-part17-mask-collide碰撞检测
这节我们研究下pygame的几种碰撞检测模式：如上图，左侧是默认的检测模式：基于矩形的检测(这也是性能最好的模式),右侧是基于圆形的检测(性能略差于矩形检测)。矩形检测法虽然性能好，但是缺点也很明显：检测不准确，上图中"飞机与目标"从视觉上看，根本没碰到。 为了改进，pygame给这二种模式，新增了xxx_r...
mysql: Illegal mix of collations (utf8_unicode_ci,IMPLICIT) and (utf8_general_ci,IMPLICIT) for operation '= 的解决
昨天把mysql里所有table的varchar字段的字符集，批量换成了utf8mb4/utf8mb4_unicode_ci，以便能保存一些emoji火星文,结果有一个sql语句执行时，报错如下：Illegalmixofcollations(utf8_unicode_ci,IMPLICIT)and(utf8_gener...
将爬取的网页数据保存到数据库时报错不能提交JPA，Caused by: java.sql.SQLException: Incorrect string value: 'xF0x9Fx98xB6 xE2...' for column 'content' at row 1
错误原因：我们可以看到错误提示中的字符0xF00x9F0x980x84，这对应UTF-8编码格式中的4字节编码（UTF-8编码规范）。正常的汉字一般不会超过3个字节，为什么为出现4个字节呢？实际上是它对应的是智能手机输入法中的表情。那为什么会报错呢？因为mysql中的utf-8并不是真正意义上的utf-8，它只能存储1...
OC Protocol 协议
一、概述协议就是委托（delegate）/代理，是指一个对象提供机会对另一个对象的变化做出反应或者影响另一个对象的行为。协议只能一个用途，就是为继承的类，声明出一堆方法的声明。基类遵守的协议，其派生类也要遵守其基类遵守的协议，也就是说父类的协议可以被子类继承。在OC中类不能多重继承，只能单继承，而协议却可以多继承。协议...
Android colors.xml
<?xmlversion="1.0"encoding="utf-8"?><resources><colorname="white">#FFFFFF</color><!--白色--><colorname="ivory">#FFFFF0</col...