SHUAIKAI

摘要： 总结了一些做算法题的经验 阅读全文

摘要： 准备总结一下设计模式的相 关内容，包括但不 限于关系、设计原则、各类设计模式其来历、思想、原理以及代码展示 阅读全文

摘要： 完整的总结总是劳神耗时的，已经熟稔的或者易于得到的部分也没有总结下来的必要。然遨游码海，总归有一些需要记忆的小点，好记性不如烂笔头，单开一篇又没必要，索性全归为一篇，作为手册。 阅读全文

摘要： 基于SMT求解的形式化验证方法 SMT简介 模型检查 SMT 编码结构 阅读全文

摘要： Windows安装wsl 本文简要介绍 WSL2 的自定义位置安装。比较简略，适合有一定经验的选手回忆用。 基本流程为，从链接下载一个程序包，然后解压缩到指定位置，运行ubuntu.exe即可 🔗WSL 的手动安装步骤 | Microsoft Learn 🔗https://aka.ms/wslu 阅读全文

摘要： 快速开始使用PlantUML 阅读全文

摘要： 常用Linux命令 find & fd fd默认是正则表达式状态，以及会忽略一些文件 -g 使用glob通配符 -e 查找拓展名 -x 为每一条结果分别执行命令 -X 为所有结果执行同一个命令 -h 不跳过隐藏文件 -uu 不忽略任何东西,包括.gitnore中的 -i 忽略大小写(fd默认是只能匹 阅读全文

摘要： SMT语法简明教程 阅读全文

摘要： 解决 This application requires a java runtime environment 1.6.0 问题描述 在安装 ptolemyII 的时候，提示我没有java运行环境。但是实际上作为jvm的hn，我电脑上就有各种版本的jdk，什么环境变量、java -version都保 阅读全文

摘要： ChatGPT是由OpenAI训练的一款大型语言模型，能够和你进行任何领域的对话。它能够生成类似于人类写作的文本。您只需要给出提示或提出问题，它就可以生成你想要的东西。在此页面中，您将找到可与 ChatGPT 一起使用的各种提示。 阅读全文

摘要： 30天Quizlet Plus体验 阅读全文

摘要： 语言探幽 前言：完整的总结总是劳神耗时的，已经熟稔的或者易于得到的部分也没有总结下来的必要。然遨游码海，总归有一些需要记忆的小点，好记性不如烂笔头，单开一篇又没必要，索性全归为一篇，作为手册。而本文正是码海拾遗姊妹篇——语言探幽。主要记载一些在编程语言中碰到的小知识小技巧。 1 C 1.1 语法&特 阅读全文

摘要： 配置新系统时，安装配置这这那那总少不了一番STFW，如果多次如此，则需要汇总整理一番。以后准备实现一个脚本自动化配置 阅读全文