贰岛

Nov 24, 2025 + 2463 字

Topology Optimization and Homogenization

An Introduction to Topology Optimization

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主题美化

头图动效以及一些新功能