电子邮件和应用账户空白,Office提示“存储凭据已过期,请登录以便我们验证您的预订”

2020年4月2日

症状1: Office提示“存储凭据已过期,请登录以便我们验证您的预订” 点击登录后应用程序失去响应,但CPU占用约为0到1。 症状2: Windows 10打开设置->账户->电子邮件和应用账户,显示为空白。 Windows 10打开设置->账户->电子邮件和应用账户,显示为空白。 解决方法: 到 […]

中美戴尔买电脑差异

2020年3月24日

美国戴尔在线聊天,回复很快,消息提示明确,客服有没有在打字,很清楚。聊天结束后会把聊天记录发送到邮箱。如果要求进行特殊配置,客服会发一个带有customization id的链接给我,如https://www.dell.com/en-us/shop/deals/xps-desktop/spd/xps […]

psftp get unable to open

2020年3月20日

psftp>get a.tar local: unable to open a.tar psftp> lpwd Current local directory is C:\Program Files\PuTTY psftp> lcd B:\ New local directory is B:\ ps […]

IPSEC VPN配置方法

2020年3月17日

使用https://github.com/hwdsl2/setup-ipsec-vpn 如果Windows 10无法连接,按照“Windows 错误 809”修复。 添加删除用户:https://github.com/hwdsl2/setup-ipsec-vpn/blob/master/docs/m […]

主体类型与主体定型 principle type and principle typing

2020年3月3日

在类型理论, 类型系统有主体类型t,当且仅当对于任意的类型环境A和表达式e,A |- e :u,都可以从t推导到u。 例如λ演算λx.x,其主体类型t=α -> α,α为类型变量,类似Java或C#的泛型类型变量。若有A|-λx.x: int -> int,令α=int,则可以从主体类型t具体化为i […]

JavaScript async Promise应用篇

2020年3月1日

本文教读者实际编写一个async函数。 承接JavaScript async/await入门,JavaScript async函数必须直接返回Promise对象。显然,函数体必须有类似return new Promise(..)的语句。 p1 = function () { return new P […]

Git笔记

2020年2月22日

Push remote branch to a given sha 如图,我想要把origin/master移动到8ff881。 不能用简单的push命令,它会把origin/master push到local master (dafac0)的位置。应该用命令 git push origin 8ff […]

必须禁止Chrome自动更新

2019年11月1日

最近Chrome自动升级到版本78,更新很87(白痴),把标签页右键菜单的“关闭其他标签页”取消了。我频繁使用这个功能,一下子打乱了我的生活节奏。虽然有些扩展程序可以把这个功能带回来,但我又要多装一个扩展程序,非常麻烦! 前段时间Chrome也是自动升级到77版本,新标签页底部有广告(New Tab […]