chronohaze.space
HazezZ 个人肖像

起点

欢迎来到 CHRONOHAZE.SPACE。
时间的薄雾中,理性与浪漫交织。
数学、音乐、光影、与时间。
一段轨迹,一个宇宙。

快捷入口

联系我

AFFIZIEREN - HAZEZZ

00:00 / 00:00

准备音频…

关于我

我是 HazezZ,2005 年生,就读于 The University of Edinburgh 数学专业,目前在 Cornell University 交换。

我的研究方向是 Operational Research for Machine Learning
除了数学,我也创作清新风格的前卫核音乐,演奏贝斯与吉他,并热爱摄影。
这个网站记录了我的生活、思考与创作留下的痕迹。

我不把数学和艺术当成两种彼此无关的身份。它们对我来说都是处理结构的方式:一边通过证明、模型与形式化对象,另一边通过声音、影像与时间。

Selected Evidence

Selected Evidence

01

形式结构

Isabelle/HOL 下对子模 greedy 算法的形式化。

02

优化结构

对偶、invariance,以及 collapse 之后的 structural scoring。

03

声音结构

前卫摇滚 / metalcore 写作、贝斯与吉他的编排,以及自制曲目。

04

视觉结构

把摄影当作关于光线、距离、天气与记忆的练习。

最近在做的事

近况更新

Isabelle / 子模优化形式化

已完成总量九千六百多行的 thy 文件,正在准备 clean up 发 AFP。

音乐制作更新

更新了一波新音源和插件,正在尝试把以前的歌大部分替换新混音。

Cornell 交换年研究

发现所有拉格朗日对偶都会崩塌到 trivial 的 0 bound,只有 conjugate 对偶有 nontrivial 的可能性,所以正在往这个方向继续探索,看看能不能把对偶做成某种打分器。

数学

HazezZ · 约 5 分钟

当一个 dual 路线走不通时,我真正得到的东西

当两条最自然的 Lagrangian dual 路线都塌到 trivial 0 bound 之后,留下来的反而是一个和 Range(B)、cycle consistency 与 instance difficulty 相关的 dual-based structural score。

Read More

HazezZ · 约 6 分钟

从一个定理到一套框架:我的 Isabelle 子模优化项目新进展

从 classical greedy 的 theorem line,走到 LazyGreedy extension、StochasticGreedy skeleton 与一套可继续扩展的 Isabelle/HOL library。

Read More

HazezZ · 约 3 分钟

Metalcore Piano Lab|从音频到谱面:一个离散化的实验(WIP)

从连续音频到可玩的谱面:起音检测、节拍网格、段落对齐与可玩性约束。

Read More

HazezZ · 约 2 分钟

Spring 2026|新科研记录的开始

从纯数学走向优化研究:一个学期的研究训练与新的问题切入口。

Read More

查看更多

数学文章合集

查看完整的数学栏目文章列表与更新记录。

摄影作品集 音乐作品集