归档

2022 年 03 月

2022-03-12

本文介绍了布尔可满足性(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快捷键导致资源管理器崩溃重启的问题,该问题已通过系统更新修复。

2022 年 02 月

本文介绍了如何开始使用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)过程,根据不同情况进行了分类讨论,并提供了相应的代码实现。

2022 年 01 月

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

2022-01-08

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

2022-01-02

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