阳光是金色的

摘要： 上回有介绍Power Shell脚本自动完成操作，比如登录网站，打卡，签到等。但是脚本的执行需要手动执行命令就太没意思了，如何按照一定的规则自动执行呢。 本文介绍一下Windows任务计划的基本使用。 一、启动 Windows 任务计划。 右键点击 “我的电脑”（还有，此电脑、这台电脑等翻译），点击 阅读全文

摘要： 生活中有很多事情是低效益，重复性。比如每天上某些网站，先登录再签到打卡，比如每隔一段时间清理回收站的文件等等。一个成熟的软件工程师应该想到用软件解决他。 对于这些简单的小任务，一般用脚本实现。比如Python脚本或者JavaScript脚本等等，不过还得装运行环境。如果能在电脑上直接用就好了，那么有 阅读全文

摘要： Tampermonkey，Greasemonkey，这种扩展可以让我们的浏览器自动运行我们自己定义的脚本，然后就出现了相关网站（比如https://greasyfork.org/zh-CN）让大家在上面分享自己写的脚本，实现各种各样的功能，就像是一个扩展商店。此前他们只支持Webkit和Blink内 阅读全文

摘要： 微软在推出Edge浏览器之初，就把能够使用扩展（extension）作为一个重要功能。在Win10一周年更新版(1607)中，这项功能正式向广大用户推出（当然，Insider用户早就测试了一段时间了）。在Build2016上，微软表明，为了简化开发者的工作，正在准备推出一款专用工具，用于将Chrom 阅读全文

摘要： 由于各种原因，老师希望我学习Android系统源码以应对可能参与的项目。我只好深入曹营，刺探军情了。 定位服务是手机上最常用的功能之一，据说也是相对比较简单的服务，所以从这里入手。其他系统服务的架构都是类似的。明白其中一个之后，再去理解其他的会容易得多。下面以 Android 源码为基础，大致分析了 阅读全文

摘要： 最近又开始和Trusted Zone打起了交道，需要把Linaro开发的开源安全系统optee os移植到实验室的老板子上。不过导师要求我先开发一个应用，在普通环境和安全环境分别有一个程序，称为host与trusted application（简称TA）。让我在这个过程中了解一下这个系统。 opte 阅读全文

摘要： 这篇文章分享一下UWP开发的一些零散的小知识。 1.设置应用的最小尺寸 主要用在PC上，UWA在PC可以被鼠标随意摆弄，可大可小，界面的响应式设计是一大特点。不过有些时候还是要考虑，我们的App界面元素不少，窗口再小就放不下了，就不好看了。下图中， IT之家的扁长条尺寸是每个UWA默认的最小尺寸。 阅读全文

摘要： 在程序运算或者数据转换的时候，由于各种数据类型有各自的范围，运算的时候，其结果如果超出这个范围，就被称之为溢出。熟悉C#的同志们应该了解用来解决溢出（Overflow）问题的checked，unchecked这两个关键字。而VCC也有类似的设定。溢出是有规律的，有时候代码原本的设计就是要利用溢出这一... 阅读全文

摘要： 接下来是第二种注释语句类型Assumption。语法_(Assume E), 这个表达式是让VCC在接下来的额推理中，无视表达式E, 直接认可表达式E。例：int x, y;_(assume x != 0)y = 100 / x;在没有那条assumption之前，VCC肯定不会通过验证，因为x可能... 阅读全文

摘要： 推断操作符在VCC中，==>符号意味着逻辑推理结果，即离散数学中的蕴涵关系。P==>Q等价于(（!P）||(Q))。是非常常用的操作符。量词(quantifier)关于量词，这里指的是全称量词(universal quantifier)和存在量词(existential quantifier)。在V... 阅读全文