动态库与静态库
总结C/C++语言在编译链接过程中动态库与静态库的使用方法 ...more
August 10, 2022 [编程] #C语言 #gccWSL转移后无法入网
本文记录在两台windows间转移WSL子系统时遇到的一些网络问题及解决方案 ...more
August 02, 2022 [软件] #WSL #tips一些不常用C语言关键字
volatile 该关键字是一个类型修饰符，提醒编译器它后面所定义的变量随时有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，都会直接从变量地址中读取数据 typedef typedef int myint; 声明类型:int a;等价于myint a; typedef void （*f… ...more
May 21, 2022 [编程] #C语言 #tips树莓派4B运行docker错误
树莓派4B安装raspberrypi系统后，用自带的源安装docker，在涉及到libseccomp这个库时会报错 ------------------------------------- _ () | | ___ _ __ … ...more
April 12, 2022 [软件] #docker #tips #树莓派树莓派4B wlan0消失
wlan0 没有启动，使用sudo ifconfig wlan0 up启用即可 wlan0被blocked，使用sudo rfkill unblock all解锁即可 ...more
April 10, 2022 [系统] #tips #WIFI #树莓派Yew框架实现秒表
实现计数器 用Yew框架实现一个web定时器，首先Interval实现一个简单的计数器，每10ms发送Msg UpdateTime并组件的update方法中调用tick方法，更新时间。 use gloo::timers::callback::Interval; use yew::{html, Com… ...more
April 03, 2022 [编程] #rust #webassembly #Yew从CNF到DPLL算法
从三个问题出发： 什么是CNF？ 如何将逻辑表达式转化为CNF？ 什么是DPLL算法？ 合取范式（CNF，conjunctive normal form） CNF是指一系列逻辑表达式的合取，每一个子逻辑表达式都为下列类型之一： 为原子表达式（例如：$ p $，$ \lnot p$） 为原子表达… ...more
March 12, 2022 [算法] #CNF #DPLL