Mingjian's Blog

LeaderF现在基本是Vim最好的模糊查找插件. 其基本功能和演示可以参考作者Yggdroot的几篇文章介绍:

• 让人相见恨晚的vim插件：模糊查找神器LeaderF
• vim 的模糊查找插件 LeaderF 新功能介绍
• LeaderF官网

本文是用来记录个人对工具的理解和学习过程. 记录各种应用场景里如何使用LeaderF, 如何配置.

什么是模糊查找

模糊查找的应用场景特别常见. 就是在海量信息中查找你想要的信息.

这篇主要是翻译了一些官方文档The Python Language Reference第四章的干货, 加入一些自己理解的形象化描述以及一些例子代码. 写这篇的原因是工作原因做了一个从把VBScript转换成Python的工具, 需要复习一遍python的一些基础知识.

由于一个工作需要把大量的vbscript脚本转换成python脚本, 需要学习一下python的ast模块, 本文是一些干货的笔记. 由于当前最新的python 3.8的官方文档过于简略, 主要参考和翻译绿树蛇的文档和python3.10pre的文档.

AST是Abstract Syntax Trees的缩写, 中文是抽象语法树.

AST和code的转换

python代码有三个分身,

1. 以unicode字符串存在的源代码. 人类可读写, python解释器不可读.
2. 以AST对象存在的抽象语法树. 人类可读写, 但很难读懂原来的语义, 用来显示python语义元素之间的关系. 是从源代码翻译成目标代码的中间产品.
3. 以code object存在的可执行的目标代码. python解释器可读, 人类不可读.

点击这里进入AMIL目录

Problem 1

Show that (a) $\mathrm{\Gamma };\alpha \models \phi$ iff $\mathrm{\Gamma }\models (\alpha \to \phi )$; and (b) $\phi \models \models \psi$ iff $\models (\phi \leftrightarrow \psi )$.

$\mathsf{P}\mathsf{R}\mathsf{O}\mathsf{O}\mathsf{F}\mathsf{.}$

点击这里进入AMIL目录

Problem 2

Show that no one of the following sentences is logically implied by the other two. (This is done by giving a structure in which the sentence in question is false, while the other two are true.)

1. $\mathrm{\forall }x\mathrm{\forall }y\mathrm{\forall }z(Pxy\to Pyz\to Pxz).$ Recall that by our convention $\alpha \to \beta \to \gamma$ is $\alpha \to (\beta \to \gamma ).$
2. $\mathrm{\forall }x\mathrm{\forall }y(Pxy\to Pyx\to x=y).$
3. $\mathrm{\forall }x\mathrm{\exists }yPxy\to \mathrm{\exists }y\mathrm{\forall }xPxy.$

听了得到上冯雪的科学减肥课. 把干货总结一下.

这是一个关于数理逻辑的读书笔记或者学习总结, 书名是A Mathematical Introduction to Logic, 作者Herbert B. Enderton, University of California

本文是Chapter 0, 点击这里进入目录

第0章介绍一些集合论的基础概念, 这些概念是后面所有章节的基石. 我基本是把干货抄录在这里以便跳转

这里记录一些听到或看到的我认同的别人的观点. 好记性不如烂笔头, 自己说不明白就记录一些别人说的金句. 将来孩子长大了, 要离家了, 如果我的观点还没变, 拿给孩子看看. 虽然不一定有用$\text{😂}$, 毕竟年轻人很少听老人言.

subst可以把一个目录虚拟成一个驱动盘, 比如

1

subst I: "C:\Users\Username\OneDrive - XXX"

但有个问题, 重启电脑之后上一次的配置失效, 需要重新设置. 如何才能让电脑记住之前的设置呢?

StackExchange上的这篇给出几个解决方案.

Chocolatey是windows上的包管理系统, 类似于Linux上的yum或者apt.