归档

本文介绍了布尔可满足性（SAT）问题中的合取范式（CNF）和求解该问题的DPLL算法。内容首先解释了CNF的定义，然后通过四个步骤详细说明了如何将任意逻辑表达式转换为CNF。最后，概述了基于回溯搜索的DPLL算法如何解决CNF-SAT问题。

本文探讨了Rust的Yew框架中对CSS的支持方案。由于Yew核心未内置CSS支持，文章盘点并介绍了几款社区开发的样式库，如yew_styles、yew-mdc、muicss-yew和stylist-rs等，它们通过不同方式为Yew应用提供了CSS样式和布局能力。

本文记录了联想小新Pro 13笔记本在Windows 11系统上遇到的两个Bug。第一个是Windows Hello人脸识别无法录入，通过在设备管理器中卸载并重装摄像头驱动解决。第二个是使用Win+X快捷键导致资源管理器崩溃重启的问题，该问题已通过系统更新修复。

本文介绍了如何开始使用Rust的Yew框架来构建WebAssembly应用。内容涵盖了环境搭建，包括添加Wasm编译目标和安装构建工具`trunk`。通过一个“Hello World”示例，文章演示了如何创建项目、添加Yew依赖、编写基本组件，并最终使用`trunk serve`启动Web应用。

本文介绍了将Rust程序编译成WebAssembly的完整流��。内容涵盖了所需工具链的安装，包括rustup、wasm-pack和cargo-generate。通过一个“Hello World”示例，文章详细演示了如何从模板创建项目、添加Wasm编译目标、构建Wasm包，并最终通过npm在Web服务器上运行。

本文总结了C语言中三种时间类型`time_t`、`struct timespec`和`struct tm`之间的相互转换方法。内容讲解了如何通过`mktime`、`localtime`和`gmtime`等标准库函数在`time_t`和`struct tm`之间转换，并说明了`struct timespec`可通过`time_t`作为中间桥梁进行转换。

本文详细介绍了红黑树的C语言实现。内容涵盖了红黑树的节点结构定义，以及创建、销毁、左旋、右旋、插入和删除等核心操作。文章对插入和删除后用于维持红黑树性质的修正（fixup）过程，根据不同情况进行了分类讨论，并提供了相应的代码实现。

本文记录了一次因Nginx SSL配置不当导致`curl (60)`证书错误的排查过程。问题根源在于`acme.sh`安装证书时，仅配置了cert.pem而未使用包含完整证书链的fullchain.pem。通过在Nginx配置中改用fullchain文件，成功解决了本地签发机构证书无法验证的问题。

本文解决了WSL2中因`/etc/resolv.conf`文件被自动覆盖而导致的域名解析失败问题。方法是通过在`/etc/wsl.conf`中设置`generateResolvConf = false`来禁止自动生成该文件，并使用`chattr +i`命令锁定自定义的`resolv.conf`，从而实现永久性的DNS配置。

本文简要介绍了如何使用Docker进行交叉编译。核心步骤是利用`docker buildx`命令，通过创建和使用一个新的builder，并指定`--platform`参数（如`linux/arm64/v7`），即可为不同的CPU架构构建镜像。