泽民博客 ☰ Menu

git默认不区分文件夹大小写

Posted by 夏泽民 Mar 16, 2018

Windows 是不区分大小写的。大概是为了兼容。macOS 默认是『 Mac OS 扩展（日志式）』格式的磁盘，这个是不区分大小写的，而 Linux 是区分大小写的，所以其实还是要注意这个方面把。另外你可以把磁盘抹成『 Mac OS 扩展（区分大小写，日志式）』，但是有些软件可能就挂了，所以还是别瞎折腾了。可以通过 git mv 操作来避免 git 未识别：git mv myfolder tmp git mv tmp MyFolder 你也可以修改 git config 来达到区分大小写：git config core.ignorecase false

阅读全文

栈与活动记录

Posted by 夏泽民 Mar 15, 2018

术语 Terminology 堆栈指针（stack pointer） 指CPU中的一个寄存器，该寄存器始终指向栈的顶部，同时也指向当前函数活动记录的顶部。在X86架构下，该寄存器是esp，在MIPS架构下，该寄存器是sp，即MIPS的32个通用寄存器中的29号寄存器（从0开始编号）。

阅读全文

Lambda演算的类型

Posted by 夏泽民 Mar 14, 2018

我们已经掌握了直觉逻辑（Intuitionistic Logic，IL），我们再回到lambda演算：我们已经得到了我们需要定义模型的逻辑工具。 当然，在没有更简单的事情了，对吧？

阅读全文

lambda 演算中的数字

Posted by 夏泽民 Mar 14, 2018

引进「全局」函数（即在我写的这些所有的关于lambda演算的介绍里都可以直接使用，而不用在每一个表达式中都声明一次这个函数的办法），我们将使用“let”表达式：

阅读全文

Lambda演算建模

Posted by 夏泽民 Mar 14, 2018
阅读全文

Search

Blog Categories

jekyll (35)
web (334)
technology (2)
php (201)
linux (415)
spark (51)
deep_learning (2)
storage (290)
golang (1081)
cryptology (15)
lang (74)
docker (100)
zookeeper (11)
elasticsearch (86)
java (7)
algorithm (134)
hadoop (2)
slug (1)
architect (46)
k8s (107)
node (82)
python (18)
mysql (42)
rust (4)
elasticSearch (1)
arch (1)
Javascript (1)
kafka (2)
nginx (7)

Popular posts

Anything in here will be replaced on browsers that support the canvas element

Recent posts

Tags

This blog is maintained by 夏泽民

Get in touch with me at 465474307@qq.com

Subscribe to our mailing list

* indicates required