首页
2026/03/26
Project Euler前100题里程碑
2026/02/27
在Android上编译OCaml和Opam
2026/02/21
在Msys2环境下配置OCaml
2025/09/26
Windows下基于TSF的定制输入法
2025/07/26
从人工智能学习小知识:程序语言的分类
2025/07/07
在AMD平台上跑LLM的尝试
2025/05/27
在Intel平台上跑LLM的尝试
2025/05/16
用Zig语言模拟n体问题
2025/05/07
从人工智能学习小知识
2025/04/11
镜中之影,已非少年
2024/06/24
一个初等不等式
2023/04/09
告别 Wercker
2023/03/03
Go语言的泛型
2022/09/10
8位微处理器实践(1) - 彩色LED控制器
2022/09/09
8位微控制器实践(0) - 绪论
2022/03/19
高等算术习题(6) – 二次型
2022/03/07
高等算术习题(5) – 平方和
2022/03/06
高等算术习题(4) – 连分式
2022/03/04
高等算术习题(3) – 二次剩余
2022/02/18
抽象代数习题(33) – 方程的根式解
2022/02/18
抽象代数习题(32) – Galois 理论II
2022/02/13
抽象代数习题(31) – Galois 理论I
2022/02/08
抽象代数习题(30) – 尺规作图
2022/02/06
抽象代数习题(29) – 域扩张的次数
2022/02/05
抽象代数习题(28) – 向量空间
2022/02/02
抽象代数习题(27) – 域扩张
2022/01/30
抽象代数习题(26) – 多项式函数和根
2022/01/29
抽象代数习题(25) – 多项式因式分解
2022/01/27
抽象代数习题(24) – 多项式环
2022/01/27
抽象代数习题(21–23) – 整数和数论基础
2022/01/23
抽象代数习题(20) – 整环
2022/01/22
抽象代数习题(19) – 商环
2022/01/22
抽象代数习题(18) – 理想和环同态
2022/01/19
抽象代数习题(17) – 环
2022/01/17
抽象代数习题(16) – 同态基本定理
2022/01/15
抽象代数习题(15) – 商群
2022/01/13
抽象代数习题(14) – 同态
2022/01/12
抽象代数习题(13) – 陪集
2022/01/11
抽象代数习题(10) – 群元素的阶
2022/01/10
抽象代数习题(9) – 同构
2022/01/09
抽象代数习题(8) – 有限集的置换
2022/01/08
抽象代数习题(5) – 子群
2021/12/24
高等算术习题(2) - 同余
2021/12/19
高等算术习题(1) - 整数分解和质数
2021/10/03
斑马问题的求解
2021/08/22
集中化 vs 碎片化 – 谈即时通讯方案
2021/06/30
在 Windows Subsystem for Linux 上运行 Gentoo
2020/12/04
自制加密通信协议(二):密钥交换算法
2020/11/27
自制加密通信协议(一):对称加密算法
2020/07/24
组合的编码/解码
2020/06/23
圆锥曲线的反射性质
2020/05/14
ABC记法
2020/04/26
用SquashFS存储Portage树
2020/04/19
QEMU 笔记
2020/03/21
近代科技:IRC
2020/03/14
文摘
2019/11/11
文摘
2018/12/19
手动双面打印
2018/10/27
古代科技: desk calculator
2018/10/01
WiFi 和睡眠
2018/09/30
FbTerm: 终端下的中文显示和输入解决方案
2018/07/20
概率问题二则
2017/12/30
自制 IBus 输入法 (2)
2017/12/25
Gentoo 除错日志
2017/12/24
自制 IBus 输入法
2017/11/18
二叉树的作图
2017/10/02
在MetaPost中使用中文标签
2017/09/21
TeX 的表格陷阱
2017/03/29
扩展汉字的编码
2017/03/17
Go的fmt效率问题
2017/03/07
PDF 拼版技巧
2017/03/07
用 Inkscape 给 svg 文件上色
2017/02/22
typezh: XeTeX 中文排版辅助宏
2017/01/20
在Vultr上安装Gentoo
2017/01/19
makeindex预处理
2016/12/13
复数和矢量运算
2016/11/28
算术方法续谈
2016/11/23
过时技术之常用对数表
2016/11/02
货币的时间价值
2016/11/01
变压器二次侧的无功补偿
2016/10/14
PIC微控制器
2016/10/07
面包板上的流水灯
2016/09/29
使用PSTricks作图
2016/09/24
快速二-十进制转换
2016/09/22
软件控制数码管动态扫描显示
2016/09/12
TCP聊天室
2016/09/11
GNU Privacy Guard
2016/08/24
十二平均律
2016/08/11
多重继承和虚基类
2016/08/11
幻方生成器
2016/07/25
用Go编写BASIC解释器
2016/07/23
Go与动态链接库
2016/07/22
Go语言中的生成器
2016/07/06
七个孩子
2016/06/12
C语言的美与丑
2016/06/09
数学填空题
2016/06/08
Vala语言
2016/05/14
Gentoo构建日志
2016/05/10
suckless.org
2016/05/05
微分方程的简单数值解法
2016/04/19
CMOS三角波生成器
2016/04/15
使用运算放大器构造RS锁存器
2016/04/08
运算法求解动态电路
2016/03/30
DS1302计时芯片和串行通信
2016/03/25
构建Nios II系统
2016/02/15
QC2.0协议和9V直充
2016/02/04
诚实人和说谎者
2016/02/04
Windows Script Host技巧二则
2016/01/26
自制直流电源(续)
2016/01/21
点亮铅笔芯
2016/01/19
自制直流电源
2015/12/25
网速测试工具
2015/12/09
复习:拉普拉斯变换和z变换
2015/12/09
复习:傅里叶级数和傅里叶变换
2015/11/08
编译GTK+
2015/11/04
使用OpenMP做并行计算
2015/10/20
免xauth进行X11转发
2015/10/18
通过SSH进行X11转发
2015/10/14
诡异的OpenSSH行为
2015/10/04
玩具垃圾收集器
2015/09/20
Google的新字体noto
2015/09/01
和最大公约数有关的一个证明
2015/08/30
Python Quines
2015/08/28
在Android中关闭开发者选项
2015/08/02
超轻量字符缓冲区库
2015/07/24
YASF的进度
2015/07/13
扑克中的概率论问题
2015/07/06
基于Docker的自动构建
2015/06/22
抛硬币问题的另解
2015/06/13
负反馈放大电路
2015/06/08
高考数学填空题
2015/06/07
Hugo的自动化部署
2015/06/05
计算圆周率至任意精度
2015/06/02
电子电路仿真
2015/06/02
人生中第一份Pull Request
2015/05/20
IUP代码生成器以及re2c补丁一枚
2015/05/15
IUP的两个补丁
2015/05/06
一道几何题的证明
2015/04/30
SQLite3类型系统
2015/04/22
重拾三阶魔方
2015/04/10
用gnuplot将数据可视化
2015/03/01
判定给定边长可否构成三角形的一个定理
2015/02/26
减小Lua的二进制体积
2015/02/26
Lua语言中的“惊喜”
2015/02/18
在位图上画直线
2015/02/09
发现了MinGW GCC的一个bug
2015/01/29
连连看游戏中的配对路径搜索
2015/01/27
物理老师的信
2015/01/25
定居GitHub.io