归档 -

2025 年 01 月

如何宣泄烦恼

2025-01-18

zood

2025-01-18

#转载

2024 年 10 月

My vscode markdown CSS

2024-10-14

自定义 vscode 的 markdown 预览器的 CSS 样式

2024 年 08 月

基于 CDCL 的 SAT 求解器

2024-08-25

#笔记

Conflict-Driven Clause Learning SAT solver

布尔逻辑中的专有名词

2024-08-25

#笔记

边界模型检测

2024-08-23

#笔记

一种理解 ¬ (a R b) ≡ (¬a U ¬b) 的思路

2024-08-19

#笔记

不是证明

如何使用 SAT 技术求解 LTL

2024-08-18

#笔记

ChatGPT 给的例子

程序验证、模型检验

2024-08-16

#笔记

2024 年 07 月

【MyGO】soyo女士的《错错错》

2024-07-11

#转载

转载

2024 年 06 月

提取字符串中的数字

2024-06-02

#C语言

用 DFA 解析字符串

2024 年 05 月

简单的文本模板工具

2024-05-21

#Java

在模板文本中定义占位参数，运行时将这些占位参数替换为实际的值，动态地生成文本内容

服务端实时推送技术 SSE

2024-05-09

#HTML #JavaScript

像 ChatGPT 一样返回流式响应

不支持嵌入 html 的富文本编辑器，如何实现<details>

2024-05-02

#Markdown #HTML #JavaScript

博客系统的富文本编辑器不支持嵌入 html，要如何实现<details>

2024 年 04 月

简历模板

2024-04-24

#HTML #CSS

我使用 HTML 和 CSS 制作（复刻）了一份简历模板

2024 年 01 月

音乐唱片

2024-01-07

#HTML #CSS #JavaScript

使用 CSS 绘制一张唱片。点击唱片，唱片旋转并播放音乐

2023 年 05 月

定积分和不定积分的存在性判别

2023-05-26

#数学习题 #笔记

定积分和不定积分的存在性判别

用卡诺图化简逻辑表达式

2023-05-24

#HTML #CSS #笔记

复习数字逻辑课上学到的卡诺图