Zhuxz's Blog

固态硬盘基础知识

发表于2025-08-03 | 更新于 2025-08-17 | 硬件 • 固态硬盘

学习了一下固态硬盘的接口、协议，以及闪存颗粒的工作原理

Windows 注册表

发表于2025-08-01 | 更新于 2025-09-25 | windows • regedit

对 Windows 中注册表的简要介绍

WPF 界面开发入门

发表于2025-07-27 | 更新于 2025-08-24 | c# • wpf

学习 WPF 框架时了解的一些内容

Winform界面开发入门

发表于2025-07-26 | 更新于 2025-08-24 | c# • winform

上手 Winform 时的一点笔记

常见编程语言编译/执行流程

发表于2025-07-26 | 更新于 2025-08-24 | c# • python • c/c++ • java

介绍 C/C++、Python、Java、C# 这几种语言如何经过编译/解释之后在电脑上运行

C# 基础学习以及 VS 使用

发表于2025-07-25 | 更新于 2025-08-24 | c# • vs2022

初次使用 VS2022 构建 C# 项目了解到的知识

Hexo 构建原理解析

发表于2025-07-16 | 更新于 2025-08-24 | hexo • npm

介绍了 npm 包的管理机制以及 Hexo 博客的构建原理

Github copilot 处于脱机状态

发表于2025-07-13 | 更新于 2025-08-24 | network • vscode • dns

vscode 使用 Remote-SSH 连接服务器，使用 Copilot 时显示 “你当前处于脱机状态，请连接到Internet已使用Github Copilot”

Linux 工作与进程管理

发表于2025-07-10 | 更新于 2025-08-24 | linux • process • job

查询在后台运行的进程，并且使用命令处理这些进程

服务器部署 ollama 远程调用

发表于2025-07-10 | 更新于 2025-08-24 | ollama • tunnel • 端口转发

在Linux服务器上部署ollama，并且在Windows主机上调用模型

PowerShell中的`$PROFLE`

发表于2025-05-19 | 更新于 2025-08-24 | windows • powershell

PowerShell 中几个不同的 `$PROFLE` 指向了不同的位置

SAT Solver

发表于2025-05-10 | 更新于 2025-07-24 | discrete math

SAT solver

Application of propositional logic

发表于2025-05-05 | 更新于 2025-07-24 | discrete math

Application of propositional logic, Sub-classes of Propositions, Normal Forms, SAT solver

Inference Rules and Proof Theory

发表于2025-05-02 | 更新于 2025-07-24 | discrete math

Negating a proposition, Important properties of logic equivalence and consequence relation, Inference Rules and Proof Theory

Introduction and elimination of quantifiers

发表于2025-04-24 | 更新于 2025-07-24 | discrete math

Introduction and elimination of quantifiers

bibtex 与 biber

发表于2025-04-22 | 更新于 2025-08-24 | latex | latex • 引用

写毕设的时候发现除了 bibtex 之外还有 biber 能够处理 latex 中的引用信息，于是上网了解了一下。本文大概是比较全面的介绍。

Quantifiers with restricted domains

发表于2025-04-13 | 更新于 2025-07-24 | discrete math

Quantifiers with restricted domains, Interpreting informal proofs

视频编码与封装

发表于2025-04-05 | 更新于 2025-07-24 | 视频编码

介绍一些视频编码格式与封装格式