归档

2025

11-22 对于因子分解量子算法的一些简单思考

01-24 记《沂蒙山小调》

01-23 记于乙巳春节前第六天

01-11 计算复杂性作业笔记

01-07 关于代数学习一些很酷的网站

01-02 一次深夜随笔

2024

12-24 手搓的简易基于 rust 的自己设计数学语言的解释器，很爽！

12-23 Rust 实现（一个弱智的）大整数计算

12-20 Rust 安装过程中遇到的一些小问题

12-09 关于 校内CTF比赛 UCATFLAGS 2024 出的一些题

12-07 Lean4-1 —— Lean4 的基本使用

11-29 Lean4-0 —— Lean4 的安装

10-08 一个素数拆分成特定形式平方和的例子