前言 本文记录STM32命令行开发环境在Linux上的部署，用以替代Windows上的RT-Thread-studio。RT-Thread-studio同样是开源 软件，但目前没有Nixos上的打包。

前言 本文记录着无器械健身理论以及相关的读后感。

前言 PGP/GPG 的核心功能——公钥加密、数字签名、信任管理广泛用于各个行业，本文简单说明了其使用方法。

前言 SSH（Secure Shell 的缩写）是一种网络协议，用于加密两台计算机之间的通信，并且支持各种身份验证机制。

前言 ​BACI是一个简化的并发程序模拟器，这里对其语法与运行环境进行说明。