Zhuxz's Blog

FOL semantics
FOL semantics
发表于 | 更新于 | discrete math
FOL semantics, Properties of first order propositions
First Order Logic
First Order Logic
发表于 | 更新于 | discrete math
Logic Behind Natural Language Proof, Syntax of First Order Logic, The semantics of first order language
Propositional Logic
Propositional Logic
发表于 | 更新于 | discrete math
Propositional Logic and Logic Connectives, Logical Equivalence, Consequence Relation
Windows Terminal 的一个小 Bug
Windows Terminal 的一个小 Bug
发表于 | 更新于 | windows terminal • windows
使用 Windows terminal 的时候发现按下空格之后，字体背景会变黑的问题。
Hello World
Hello World
发表于 | 更新于 | demo | hexo
生成hexo得到的初始文章
充电协议
充电协议
发表于 | 更新于 | 硬件
介绍一下手机常用的一些充电协议
笔记本接口
笔记本接口
发表于 | 更新于 | 硬件 • 笔记本接口
介绍一下笔记本电脑上的各种接口以及其支持的协议
Linux 包管理与库管理
Linux 包管理与库管理
发表于 | 更新于 | linux
先介绍 Linux 中的包(package)和库(library)，接着介绍一下 dnf 之类的包管理器，以及用来管理库的 pkg-config。
CUDA版本
CUDA版本
发表于 | 更新于 | pytorch • cuda
关于`nvidia-smi`和nvcc显示的CUDA版本不同的问题
在Jetson设备上安装Pytorch
在Jetson设备上安装Pytorch
发表于 | 更新于 | pytorch • jetson
在 Jetson Xavier NX 上安装 Pytorch 遇到了问题，发现只能使用 NVIDIA 编译好的 .whl 文件安装
文件系统概述
文件系统概述
发表于 | 更新于 | file system • operating system
文件系统的分区、格式以及架构
git 拉取子模块
git 拉取子模块
发表于 | 更新于 | github • git
在拉取repo时拉取子模块
Linux文件压缩与解压
Linux文件压缩与解压
发表于 | 更新于 | linux
介绍一些在Linux中压缩与解压文件夹的方法
改变代理端口
改变代理端口
发表于 | 更新于 | proxy • v2ray
因为某一次代理的端口被其他程序占用，因此对代理端口做了修改
Tmux 入门
Tmux 入门
发表于 | 更新于 | linux • tmux
介绍 tmux 的一些基本用法
docker 入门
docker 入门
发表于 | 更新于 | linux • docker
关于 docker 的一些基本概念的介绍，以及简单的操作
Ubuntu 命令行与 vim 取消 beep 提示音
Ubuntu 命令行与 vim 取消 beep 提示音
发表于 | 更新于 | linux • vim
docker 使用 GPU
docker 使用 GPU
发表于 | 更新于 | linux • docker • cuda
解决使用 docker 时无法调用 GPU 问题
avatar
Zhuxz
文章
175
标签
77
分类
18
Follow Me
分类
标签
山地车 java process 电路理论 software conda npm windows terminal 公路车 format magnet C语言 github verilog windows multimodal scp ssh vs2022 regedit 固态硬盘 dns https stl winform latex nvidia-smi 显示器 appimage git matplotlib tunnel apt webdav 硬件 vscode c/c++ systemd python job
归档
网站资讯
文章数目 :
175
本站总字数 :
345k
最后更新时间 :