文明帝国6笔记

人口
所需宜居度
可造区域

{{p}}
{{ Math.ceil((p-2)/2) }}
{{ Math.ceil(p/3-1) }}

加10人口

new Vue({
el:”#t1″,
data: {
population:10
}
});

经济卡精英政治:作用于已建成的区域,放置的区域不算。[……]

继续阅读

MySQL 8开启root远程登录步骤详解

本文阅读时间10分钟。你会详细了解MySQL 8开启root远程登录的步骤。如果你没空,建议你看其他资料,乱枪打鸟地去试

MySQL 8与MySQL 5的登录方式有所不同。版本8允许auth socket,在linux本地登录不需要密码。

首先登录mysql

mysql -u root
use mysql

检查当前的用户登录限制

SELECT user,authentication_string,plugin,host FROM user;
+------------------+-------------------------+-----------------------[......]

继续阅读

WordPress架站用apache还是nginx?性能实测!

apache和nginx是两大web服务器。听说nginx轻量、速度快,本站原来用的是apache,要不要改成nginx呢?

类似《Should I use Nginx or Apache for my WordPress Install?》《今天给你们分析一下WEB环境该选Apache还是Nginx》的文章很多,笼统地陈述了apache和nginx的优缺点,但到底哪个更好?有人《把WordPress从nginx迁移到Apache》,也有《WordPress从Apache迁移到Nginx过程》,但我看的文章里都没有说迁移后性能的改变是多少。

本站在VPSServer托管,web服务[……]

继续阅读

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

症状1:

Office提示“存储凭据已过期,请登录以便我们验证您的预订”Office提示“存储凭据已过期,请登录以便我们验证您的预订”

点击登录后应用程序失去响应,但CPU占用约为0到1。

症状2:

Windows 10打开设置->账户->电子邮件和应用账户,显示为空白。

Windows 10打开设置->账户->电子邮件和应用账户,显示为空白。Windows 10打开设置->账户->电子邮件和应用账户,显示为空白。

解决方法:

到控制面板->服务,启动Web账户管理器。

English

Setting “Your email and accounts” is blank. MS Office requires login, but no response.

You hav[……]

继续阅读

中美戴尔买电脑差异

美国戴尔在线聊天,回复很快,消息提示明确,客服有没有在打字,很清楚。聊天结束后会把聊天记录发送到邮箱。如果要求进行特殊配置,客服会发一个带有customization id的链接给我,如https://www.dell.com/en-us/shop/deals/xps-desktop/spd/xps-8930-se-desktop/xdvmstcs001s?configurationid=fa6274af-68d7-428f-be09-5621944bcb57 点进去就是官网配置页面,但多了定制配件。定制配件和其他标准配件的差价明确显示。有时候客服会给优惠价,优惠价低于官网价格。具体怎么用优惠[……]

继续阅读

psftp get unable to open

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:\
psftp> get a.tar
remote:/home/guqq0717/a.tar => local:a.tar

如果psftp的get命令出错“get unable to open”,运行lpwd,看看本地目录是否可写。[……]

继续阅读

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

在类型理论, 类型系统有主体类型t,当且仅当对于任意的类型环境A和表达式e,A |- e :u,都可以从t推导到u。

例如λ演算λx.x,其主体类型t=α -> α,α为类型变量,类似Java或C#的泛型类型变量。若有A|-λx.x: int -> int,令α=int,则可以从主体类型t具体化为int -> int。

类型系统希望具有主体类型,因为它可以对表达式确定一种单一类型,该单一类型可演化为该表达式的所有可能类型。如果类型系统没有主体类型,则一个表达式可能有多个互不兼容的类型。类型推导倾向于推导主体类型。

ML语言具有主体类型属性,ML表达式可以通过Robinson’s u[……]

继续阅读

JavaScript async Promise应用篇

本文教读者实际编写一个async函数。

承接JavaScript async/await入门,JavaScript async函数必须直接返回Promise对象。显然,函数体必须有类似return new Promise(..)的语句。


p1 = function () {
	return new Promise();
}

哪里写函数逻辑呢?Promise有两个结果,resolve和reject,分别表示正常执行和异常情况。所以


p1 = function () {
	return new Promise((resolve, reject)=>{ ... }[......]

继续阅读

Git笔记

还原子模块工作树的修改

问题现象:TortoiseGit日志窗口的工作树变更显示子模块已修改。右击该子模块,还原,但修改仍然存在。

修复方法:

git submodule update --init

如何查看提交中是否包含重命名或复制?

$ git log --name-status -M -C -1  
commit c04ecb6edd602a8463b5239a5fde900b2b3 (HEAD -> 256818)
Author: gqqnbig <gqqnbig@gmail.com>
Date: Wed Nov 15 10:45:17[......]

继续阅读