终于换上 https 啦,新增 LAgda 子博客

by

前天有不少人向我反应(一开始我还开心了一下,以为是真的有很多人在看我的博客,后来发现只是因为刚更新了文章我到处在发导致的……), 我的博客打不开了。是因为我终于在两次尝试给博客开通 https 未果,终于想开了去联系了 GitHub 客服,把我的博客的 https 弄上了。

之所以之前失败了两次,是因为我的博客并不是 www. 开头的,设置 https 需要一个额外的步骤,感谢 Glavo 帮我把这事搞定了。 GitHub 客服态度也十分好,挺感动的。

以后这个博客就是强制 https 的了,经测试,在 chrome 中直接输入 ice1000.org 会跳转到 https://ice1000.org ,这很好。 我顺手更新了推和 StackOverflow 的信息,如果看到还有 http://ice1000.org 这种历史遗留的话请,如果不嫌麻烦可以提醒我一下, 谢谢了。

以后也请多指教了,另外最近弄了个子博客,欢迎阅读和斧正。我已经在里面放了两篇文章,分别是『把类型类做成语言特性』 和『写给有广义编程基础的同学的依赖类型传教文』,这周末还准备再写一个讲 SizedType 和 Copattern 的(对 Idris 教徒的信仰进行重度打击 www)。

这个子博客可以对里面的 Agda 代码进行跳转到定义,非常妙。

::...
免责声明:
当前网页内容, 由 大妈 ZoomQuiet 使用工具: ScrapBook :: Firefox Extension 人工从互联网中收集并分享;
内容版权归原作者所有;
本人对内容的有效性/合法性不承担任何强制性责任.
若有不妥, 欢迎评注提醒:

或是邮件反馈可也:
askdama[AT]googlegroups.com



自怼圈/年番新

DU21.7
关于 ~ DebugUself with DAMA ;-)


关注公众号, 持续获得相关各种嗯哼:
zoomquiet


粤ICP备18025058号-1
公安备案号: 44049002000656 ...::