git仓库remote和local同时重命名分支的脚本
Copy # Names of things - allows you to copy/paste commands
old_name=""
new_name=""
remote=""
# Rename the local branch to the new name
git…
iOS15+的TableView中很坑的一点
那就是TableView上边的Header上面会多出一块padding！丑爆了！ 那么有没有解决办法呢？
其实也很简单：
Copy
if #available(iOS 15.0, *) {
sectionHeaderTopPadding = 0
}
记一次给OpenCV贡献代码的经历：为什么官方文档里会出现一个语法错误（我的锅）
起因 年初的时候在一家互联网公司实习，当时我们有一个场景在 Android 端使用了 OpenCV 里的 Guided Filter。有一天，老板说让实现一下Fast Guided Filter，看看会比Guided Filter快多少。
准备
在经过了短暂的调研后，我发现…
小猫咬手手
PortfolioGitHub - cocodery/SysYCompiler
a compiler for CSC-Compiler-2022.
GitHub - w43322/neu-webvpn-anysite
A way of accessing the campus network of NEU, using webvpn.