vim plugin介绍之LeaderF
LeaderF现在基本是Vim最好的模糊查找插件. 其基本功能和演示可以参考作者Yggdroot的几篇文章介绍:
本文是用来记录个人对工具的理解和学习过程. 记录各种应用场景里如何使用LeaderF, 如何配置.
什么是模糊查找
模糊查找的应用场景特别常见. 就是在海量信息中查找你想要的信息.
LeaderF现在基本是Vim最好的模糊查找插件. 其基本功能和演示可以参考作者Yggdroot的几篇文章介绍:
本文是用来记录个人对工具的理解和学习过程. 记录各种应用场景里如何使用LeaderF, 如何配置.
模糊查找的应用场景特别常见. 就是在海量信息中查找你想要的信息.
这篇主要是翻译了一些官方文档The Python Language Reference第四章的干货, 加入一些自己理解的形象化描述以及一些例子代码. 写这篇的原因是工作原因做了一个从把VBScript转换成Python的工具, 需要复习一遍python的一些基础知识.
由于一个工作需要把大量的vbscript脚本转换成python脚本, 需要学习一下python的ast模块, 本文是一些干货的笔记. 由于当前最新的python 3.8的官方文档过于简略, 主要参考和翻译绿树蛇的文档和python3.10pre的文档.
AST是Abstract Syntax Trees的缩写, 中文是抽象语法树.
python代码有三个分身,
\(\def\tauequ{\mathbin{\vDash\style{display: inline-block; transform: scaleX(-1)}{\vDash}}}\) \(\def\Dashv{\mathbin{\style{display: inline-block; transform: scaleX(-1)}{\vDash}}}\) \(\def\DEF{\sf{D\scriptsize EF}.\quad}\) \(\def\DEFi{\sf{D\scriptsize EF}^*.\quad}\) \(\def\DEFn{\sf{D\scriptsize EF}_*.\quad}\) \(\def\DEFin{\sf{D\scriptsize EF}^*_*.\quad}\) \(\def\llbracket{\unicode{x27E6}}\) \(\def\rrbracket{\unicode{x27E7}}\) \(\def\PROOF{\sf{P\scriptsize ROOF}.\quad}\)
Show that (a) \(\Gamma;\alpha\vDash\varphi\) iff \(\Gamma\vDash(\alpha\rightarrow\varphi)\); and (b) \(\varphi\tauequ\psi\) iff \(\vDash(\varphi\leftrightarrow\psi)\).
\(\PROOF\)
\(\def\PROOF{\sf{P\scriptsize ROOF}.\quad}\)
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.)
\(\def\tauequ{\mathbin{\vDash\style{display: inline-block; transform: scaleX(-1)}{\vDash}}}\) \(\def\Dashv{\mathbin{\style{display: inline-block; transform: scaleX(-1)}{\vDash}}}\) \(\def\DEF{\sf{D\scriptsize EF}.\quad}\) \(\def\DEFi{\sf{D\scriptsize EF}^*.\quad}\) \(\def\DEFn{\sf{D\scriptsize EF}_*.\quad}\) \(\def\DEFin{\sf{D\scriptsize EF}^*_*.\quad}\) \(\def\MYNOTE{\sf{M\scriptsize{Y}}\sf{N\scriptsize{OTE}}.\quad}\)
这是一个关于数理逻辑的读书笔记或者学习总结, 书名是A Mathematical Introduction to Logic, 作者Herbert B. Enderton, University of California
本文是Chapter 0, 点击这里进入目录
第0章介绍一些集合论的基础概念, 这些概念是后面所有章节的基石. 我基本是把干货抄录在这里以便跳转
这里记录一些听到或看到的我认同的别人的观点. 好记性不如烂笔头, 自己说不明白就记录一些别人说的金句. 将来孩子长大了, 要离家了, 如果我的观点还没变, 拿给孩子看看. 虽然不一定有用\(\unicode{x1F602}\), 毕竟年轻人很少听老人言.
subst可以把一个目录虚拟成一个驱动盘, 比如 1
subst I: "C:\Users\Username\OneDrive - XXX"
但有个问题, 重启电脑之后上一次的配置失效, 需要重新设置. 如何才能让电脑记住之前的设置呢?
StackExchange上的这篇给出几个解决方案.
Chocolatey是windows上的包管理系统, 类似于Linux上的yum或者apt.