0%

git push环节有时会出现以下报错:

1
fatal: unable to access 'https://github.com/*/*.github.io.git/': Failed to connect to github.com port 443: Timed out

在排除网络/代理/配置问题后,一种可能是github.com及子网站时常更换IP地址,但本地的DNS缓存未必及时更新。

因此解决方案是刷新DNS缓存。Windows下的操作为:

  1. Win+R,cmd呼出terminal
  2. 执行ipconfig /flushdns

附注:部分地址解析网站会给出错误的ip,十分抽象。想通过改host直连时需要小心。

参考:Paolo Aluffi, Algebra Chapter 0。以下内容对应原书第一章的前两小节,包含集合论、函数两方面内容。

阅读全文 »

以下介绍几个重要的拓扑性质:分离性、可数性、紧致性、连通性,对应尤书的第二章。

这一篇介绍前两个特性,以及其可以导出的一些深刻结果。由于拓扑的定义较弱,因此这两个特性通常作为“附加公理”,弥补拓扑本身的不足。

阅读全文 »

接续“实用微分几何2”中的拓扑内容,继续补完点集拓扑的一些基本概念。

参考:尤承业编著《基础拓扑学讲义》

阅读全文 »