树莓派4B wlan0消失
wlan0 没有启动，使用sudo ifconfig wlan0 up启用即可 wlan0被blocked，使用sudo rfkill unblock all解锁即可 ...more
Yew框架实现秒表
实现计数器 用Yew框架实现一个web定时器，首先Interval实现一个简单的计数器，每10ms发送Msg UpdateTime并组件的update方法中调用tick方法，更新时间。 use gloo::timers::callback::Interval; use yew::{html, Com… ...more
从CNF到DPLL算法
从三个问题出发： 什么是CNF？ 如何将逻辑表达式转化为CNF？ 什么是DPLL算法？ 合取范式（CNF，conjunctive normal form） CNF是指一系列逻辑表达式的合取，每一个子逻辑表达式都为下列类型之一： 为原子表达式（例如：$ p $，$ \lnot p$） 为原子表达… ...more
Rust框架Yew支持CSS
Yew主框架并未开始支持CSS，但在这里统计了关于CSS支持的一些建议。 为了支持CSS，最直接的方法是在html!宏中直接添加class和id属性，然后在静态的index.html导入一个实现的CSS文件。其次可以使用一些其它的库来支持CSS。目前有5个库实现了Yew的CSS支持。 yew st… ...more
联想小新pro 13 windows11 bug记录（2022）
人脸识别无法正常工作 具体现象：windows Hello 无法录入人脸，一直卡在请确保你的面孔剧中。 解决方法：在设备管理器中卸载IR Camera（勾选删除此设备的驱动程序）和Camera，重启之后就可以录入人脸了。 Window+X导致资源管理器重启 微软 Win11 预览版 22563 出现… ...more
Rust框架Yew的使用
环境搭建 Yew框架也是将rust代码编译成WebAssembly，添加target rustup target add wasm32-unknown-unknown 安装trunk，他与wasm-pack类似，是将rust编译成wasm的重要工具。 cargo install trunk 实现… ...more
将Rust程序编译成WebAssembly
环境搭建 从这里安装Rust工具链，rustup(Rust版本管理)，rustc(Rust编译器)，cargo(Rust包管理) 安装wasm-pack，用于构建、测试发布Rust生成的WebAssembly 安装cargo-generate，用于从模板快速启动一个Rsut项目，cargo ins… ...more