Home

Plans

• Fight depression! Mirtazapine 7.5 mg/day.

• Study math and formalize with Lean.

• Study physics and compute with Julia.

• Study computer science with Rust, Ocaml, Haskell and Kotlin.

• Write notes in Typst.

• Collect examples, ideas and resources in Obsidian.

• Write explanatory articles and update this blog. This blog is powered by the Julia package Franklin.jl.

About

My name is Hechi Zhang (張 和持), a math grad student from IUB and this site serves as my blog. Feel free to reach out at heczhang@iu.edu for any questions. Here are some old photos of mine.

This calls an end to my adolescence. For adulthood updates check out the math material and more!