摘要：
背景 Windows Terminal最近出了1.0版本，界面非常美观，但要配置好还是要下一番功夫，而且网上的教程都是互相抄，所以特将我的配置过程记录如下。 字体 首先是字体，默认字体英文不错，但中文挺不好看的，而Windows Terminal不支持单字节字符和双字节字符配置不同的字体，所以我找到 阅读全文
摘要：
批量将z开头的文件名中的z去掉 Linux Shell: for i in $(ls z*); do mv $i ${i:1}; done PowerShell: foreach ($i in ls z*) { mv $i.name $i.name.substring(1) } 批量用ffmpeg将 阅读全文
摘要：
基础 from sympy import * 数学格式输出： init_printing() 添加变量： x, y, z, a, b, c = symbols('x y z a b c') 声明分数： Rational(1, 3) \(\displaystyle \frac{1}{3}\) 化简式子 阅读全文
摘要：
Windows PowerShell 版权所有 (C) Microsoft Corporation。保留所有权利。 尝试新的跨平台 PowerShell https://aka.ms/pscore6 PS C:\> $a = 0..2 PS C:\> $b = 3..5 PS C:\> $a.tos 阅读全文
摘要：
背景 平常我们经常遇到这样一个问题，在使用一个窗口工作时常常需要参考其他窗口的文字或图片，此时就需要频繁切换窗口；或者是看视频时需要参考前面进度的画面；或者是阅读或写文档时需要参考其他位置的文字，这时就希望能有一个始终置顶的窗口，实时显示文字或图片方便参考。 思路 因为文字可以通过截图转化为图片，所 阅读全文
摘要：
背景： 时值疫情，作业需要在网上提交。最近老师改变了交作业方式，之前是提交完整的作业图片即可，现在需要将完整的作业图片切分成一题一题的提交，如果手动切分较麻烦，故本人写了个python脚本实现自动切分。 程序： import cv2 import numpy as np img = cv2.imre 阅读全文
摘要：
代码： digraph module { 0 [label="global.h"]; 1 [label="bst_operator.c"]; 2 [label="cnf_parser.c"]; 3 [label="puzzle2cnf.c"]; 4 [label="puzzle_generate.c 阅读全文
摘要：
背景 笔者什么乐器也不会，乐理知识也只有中小学音乐课学的一点点。不过借助Python，调用编曲家常用的MIDI程序库，也能弹奏出一些简单的音乐，以下是笔者的一些心得。 准备 安装mingus 首先是安装Python库，我选择的是mingus，它的优点是教程写的很详细，而且和实际的乐理，像调性、节拍这 阅读全文
摘要：
背景 众所周知，Haskell语言是一门函数式编程语言。函数式编程语言的一大特点就是数值和对象都是不可变的，而这与经常需要对状态目前的值进行修改的动态规划算法似乎有些“格格不入”，本文对几乎可以说是动态规划的最简单特例：斐波那契数列的求解提出几种算法（不包括矩阵快速幂优化、Monad和通项公式计算） 阅读全文