贰岛

Oct 17, 2024 + 4584 字

Intro Program Verification

Program verification in rewriting logic

Jan 20, 2024 + 1153 字

多伦多寒假游记

多伦多游记以及新年总结

Dec 15, 2023 + 736 字

音特美+Drop ERX 耳机开箱

true music

Nov 27, 2023 + 956 字

傅里叶变换生成频谱图

使用DFT生成频谱图

Nov 26, 2023 + 481 字

Typecho Void主题美化

头图动效以及一些新功能

Nov 25, 2023 + 4696 字

Rust 速通从0到1

一个人，一台电脑，一个奇迹