黄小柴的博客 | HXc's Blog

Happy New Year 2019

Happy New Year, Enjoy Blog

前言首先祝各位新年快乐。开博客也有一个月了，虽然没有写几篇文章，但还是很开心，能够有一个地方面向世界表达自己。2018年，我从学校毕业，经历懵懵懂懂，开始学习自己喜欢的东西。2019年，我会更加勤勉得学习Web技术，希望在这全新的一年完成蜕变。 2018年小结 2018年上半年在医院和学校度过。说实话，我对学医本身并不是特别感兴趣，甚至是有点厌恶。最开始，我讨厌一切需要死记硬背并且极其...

Posted by HXc on January 1, 2019

政治笔记

我的政治笔记

政治笔记四个伟大伟大梦想 —— 目标伟大斗争 —— 手段伟大工程 —— 保障起决定性作用伟大事业 —— 主题劳动是道德起源的第一个历史前提服务民族复兴、促进人类进步是我国对外工作的主线理论创新应建立在实践创新的基础上劳...

Posted by HXc on December 21, 2018

Markdown语法

一篇介绍Markdown语法的文章

主要内容 Markdown是什么？谁创造了它？为什么要使用它？怎么使用？谁在用？尝试一下正文 1. Markdown是什么？ Markdown是一种轻量级标记语言，它以纯文本形式(易读、易写、易更改)编写文档，并最终以HTML格式发布。 Markdown也可以理解为将以MARKDOWN语法编写的语言转换成HTML内容的工具。 2. 谁创造了它...

Posted by HXc on December 2, 2018

Hello 2018

Hello World, Hello Blog

前言从11.29-12.1，忙活了3天。从了解到github page到完成Jekyll博客，一个小白完成这些真是不那么容易。期间无数的问题得不到解决，最后只能放弃的无奈亦无人可知。好在皇天不负有心人，个人博客搭建完成。在此感谢@hux大神制作的主题。搭建博客的理由无论是记录自己的成长过程，还是分享身边的趣闻趣事，亦或是分享今天学到的知识，记录下的事情都是更难忘记的。从零开始的我更...

Posted by HXc on December 1, 2018

小白使用jekyll + GitPage搭建自己的Blog

Using jekyll and GitPage to establish your Blog

jekyll jekyll可以将文本转换为静态博客网站，里面的样式可以根据模板来变换，你只需要关注于你的内容，发布时提交到GitPage上就可以自动为你生成Blog 1. 安装环境准备（Mac） Ruby（2.25版本或更新） RubyGems Mac OS X NodeJS Python 2.7 2. jekyll的主要目录结构 _config....

Posted by HXc on October 6, 2018

Avoiding success at all cost

Watching "Escape from the Ivory Tower: The Haskell Journey"

“Avoiding success at all cost” is the informal motto behinds Haskell. It could be parenthesized in two ways, either “Avoiding (success at all cost)” or “(Avoiding sucess) (at all cost)”. I’m not going to interpret them directly but rather to share some thoughts on “the success vs. costs” basing ...

Posted by Hux on September 27, 2018

ssh

Mac下登录Vps 一、打开终端二、输入代码 1 ssh root@服务器地址三、输入密码四、退出ssh 1 ctrl + d

Posted by Hux on June 30, 2018

「知乎」如何证明不可计算的函数比可计算的函数多？

Why is there more uncomputable functions?

这篇文章转载自我在知乎上的回答严谨的证明的话，可以使用「形式语言」（Formal language）来证明：在可计算理论和计算复杂度理论中，每个「计算问题」都被描述为一个一个「形式语言」，即字符串的集合。比如对于判断一个图是否是无向连通图这个问题：我们可以写为一个描述所有无向连通图的集合：由于图灵机只能接受字符串，所以这里的尖括号表示对图的「编码」。出于简单，我们全部...

Posted by Hux on December 12, 2017

「知乎」如何通俗地解释停机问题？

How to explain the Halting Problem?

这篇文章转载自我在知乎上的回答我用 Python 伪代码来解释下，我觉得对这个问题有兴趣的应该都是有点编程基础的，所以直接上 code 应该是最容易的。背景知识「停机问题」研究的是：是否存在一个「程序」，能够判断另外一个「程序」在特定的「输入」下，是会给出结果（停机），还是会无限执行下去（不停机）。在下文中，我们用「函数」来表示「程序」，「函数返回」即表示给出了结果。...