chronohaze.space
HazezZ 个人肖像

起点

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

Academic links

联系我

AFFIZIEREN - HAZEZZ

00:00 / 00:00

准备音频…

关于我

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

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

最近在做的事

近况更新

Isabelle / 子模优化形式化

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

正在完善一首叫做 Orchid 的歌

还在看混音和画PV

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

查看更多

数学文章合集

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

摄影作品集 音乐作品集