从CNF到DPLL算法
从三个问题出发： 什么是CNF？ 如何将逻辑表达式转化为CNF？ 什么是DPLL算法？ 合取范式（CNF，co... » 阅读全文
Rust框架Yew支持CSS
Yew主框架并未开始支持CSS，但在这里统计了关于CSS支持的一些建议。 为了支持CSS，最直接的方法是在ht... » 阅读全文
联想小新pro 13 windows11 bug记录（2022）
人脸识别无法正常工作 具体现象：windows Hello 无法录入人脸，一直卡在请确保你的面孔剧中。 解决方... » 阅读全文