日语中的日期
本文总结日语中一些日期的说法，用日语说数字，用日语说时间，用日语说星期，用日语说日期 ...more
WSL转移后无法入网
本文记录在两台windows间转移WSL子系统时遇到的一些网络问题及解决方案 ...more
一些不常用C语言关键字
volatile 该关键字是一个类型修饰符，提醒编译器它后面所定义的变量随时有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，都会直接从变量地址中读取数据 typedef typedef int myint; 声明类型:int a;等价于myint a; typedef void （*f… ...more
树莓派4B运行docker错误
树莓派4B安装raspberrypi系统后，用自带的源安装docker，在涉及到libseccomp这个库时会报错 ------------------------------------- _ () | | ___ _ __ … ...more
树莓派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