aws云服务提供了非常完善的服务，移动设备的消息推送服务也非常不错，且费用极低、性能良好。
虽然aws官网上有很详细的步骤说明，但是偶还是走了一大圈弯路，主要由于对于Google的接触实在太少，以至于在使用Google cloud message方式发送消息的时候绕了个圈圈。
首先，aws官网文档说明：http://docs.aws.amazon.com/zh_cn/sns/latest/dg...
分类：
移动开发 时间：
2015-01-30 17:47:49
阅读次数：
203
1. An Axiomatic Basis for Computer Programming. 1969年的一篇论文，主要讲用公理基础证明计算机编程的正确性，包括赋值/递推/组合/循环等。不是那么容易读懂，特别是一些数理符号，想要完全看懂估计得查不少书。扫过重要的部分，关键就是
P{Q}R， 即前置条件满足assert(P) 为true，Q是一段程序（可以是多个子程序的组合），后置条件R是人们...
分类：
其他好文 时间：
2015-01-30 15:54:24
阅读次数：
201
Deep in the Amazon jungle, exceptionally tall trees grow that support a rich biosphere of figs and juniper bugs, which happen to be the culinary delight of brown monkeys.
Reaching the canopy of these trees requires the monkeys to perform careful navigati...
分类：
其他好文 时间：
2015-01-29 09:35:41
阅读次数：
209
分布式文件系统架构GFS、HDFS、TFS、Haystack
分布式文件系统很多，包括GFS，HDFS，淘宝开源的TFS，Tencent用于相册存储的TFS (Tencent FS，为了便于区别，后续称为QFS)，以及Facebook Haystack。
分布式文件系统通常可以作为底层存储，如GFS作为Google bigtable的底层，EBS作为 Amazon ...
分类：
Web程序 时间：
2015-01-28 21:28:07
阅读次数：
577
最近我发现了一个很严重的问题
在亚马迅上, a.zn
http://profile.amazon.cn/gp/pdp/profile/ATI675FC144SI/ref=cm_cr_dp_pdp
他们没有做任何提示
就公开了，用户所有的购买后点评的记录
我没有查看更多。
这个问题，可能会更严重。
没人关心你什么时间购买的单次记录。
但是你最近几年购买过的卫生巾的次数，数量，时间，都...
分类：
其他好文 时间：
2015-01-26 17:00:53
阅读次数：
149
选择了EC2(Amazon Elastic Compute Cloud)。选择的是最经济便宜的Amazon Linux AMI系统t2.micro型(前期免费)。因为是基于Red Hat的发行版本的系统，操作和在实验室的centos类似，本文结合了上一篇搭建NodeJS环境，并包含安装MongoDB...
分类：
其他好文 时间：
2015-01-22 10:58:39
阅读次数：
335
一个iOS 框架介绍：MKNetworkKit分类：iPhone开发2013-10-04 12:1112838人阅读评论(5)收藏举报ASIHTTPRequest (作者：BenCopsey) 是一个使用简单，可用于各种从简单到复杂的 HTTP 请求，或者可用于处理 Amazon S3、Racksp...
分类：
移动开发 时间：
2015-01-21 18:07:17
阅读次数：
248
基于Spring设计并实现RESTful Web Services 在本教程中，你将会使用Spring来创建一个具有生产力的RESTful网络服务。 为什么用RESTful网络服务? 从和Amazon Web Services的整合，到聚合多个数据源，RESTful网络服务遵从了Roy Fie...
分类：
编程语言 时间：
2015-01-18 21:09:39
阅读次数：
258
