动态库与静态库
总结C/C++语言在编译链接过程中动态库与静态库的使用方法 ...more
August 10, 2022 [编程] #C语言 #gcc总结C/C++语言在编译链接过程中动态库与静态库的使用方法 ...more
August 10, 2022 [编程] #C语言 #gcc本文记录在两台windows间转移WSL子系统时遇到的一些网络问题及解决方案 ...more
August 02, 2022 [软件] #WSL #tipsvolatile 该关键字是一个类型修饰符,提醒编译器它后面所定义的变量随时有可能改变,因此编译后的程序每次需要存储或读取这个变量的时候,都会直接从变量地址中读取数据 typedef typedef int myint; 声明类型:int a;等价于myint a; typedef void (*f… ...more
May 21, 2022 [编程] #C语言 #tips树莓派4B安装raspberrypi系统后,用自带的源安装docker,在涉及到libseccomp这个库时会报错 ------------------------------------- _ () | | ___ _ __ … ...more
April 12, 2022 [软件] #docker #tips #树莓派wlan0 没有启动,使用sudo ifconfig wlan0 up启用即可 wlan0被blocked,使用sudo rfkill unblock all解锁即可 ...more
April 10, 2022 [系统] #tips #WIFI #树莓派实现计数器 用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? 如何将逻辑表达式转化为CNF? 什么是DPLL算法? 合取范式(CNF,conjunctive normal form) CNF是指一系列逻辑表达式的合取,每一个子逻辑表达式都为下列类型之一: 为原子表达式(例如:$ p $,$ \lnot p$) 为原子表达… ...more
March 12, 2022 [算法] #CNF #DPLL