https://zayn7lie.github.io/page/about/ 2026-06-09T00:00:00+00:00 https://zayn7lie.github.io/ 2026-06-09T00:00:00+00:00 https://zayn7lie.github.io/page/ 2026-06-09T00:00:00+00:00 https://zayn7lie.github.io/categories/ 2026-03-22T00:00:00+00:00 https://zayn7lie.github.io/categories/csci/ 2026-03-22T00:00:00+00:00 https://zayn7lie.github.io/tags/functional-programming/ 2026-03-22T00:00:00+00:00 https://zayn7lie.github.io/posts/teaching/lgc-203/ 2026-03-22T00:00:00+00:00 https://zayn7lie.github.io/categories/logc/ 2026-03-22T00:00:00+00:00 https://zayn7lie.github.io/categories/math/ 2026-03-22T00:00:00+00:00 https://zayn7lie.github.io/posts/ 2026-03-22T00:00:00+00:00 https://zayn7lie.github.io/tags/ 2026-03-22T00:00:00+00:00 https://zayn7lie.github.io/categories/teac/ 2026-03-22T00:00:00+00:00 https://zayn7lie.github.io/tags/lambda-calculus/ 2026-03-11T00:00:00+00:00 https://zayn7lie.github.io/tags/lean/ 2026-03-11T00:00:00+00:00 https://zayn7lie.github.io/posts/teaching/lgc-301/ 2026-03-11T00:00:00+00:00 https://zayn7lie.github.io/tags/type-theory/ 2026-03-11T00:00:00+00:00 https://zayn7lie.github.io/tags/normalization/ 2026-03-02T00:00:00+00:00 https://zayn7lie.github.io/posts/logic/norm_stlc/ 2026-03-02T00:00:00+00:00 https://zayn7lie.github.io/tags/understand/ 2026-03-02T00:00:00+00:00 https://zayn7lie.github.io/page/papers/ 2026-02-22T00:00:00+00:00 https://zayn7lie.github.io/page/teaching/ 2026-02-22T00:00:00+00:00 https://zayn7lie.github.io/tags/arch-linux/ 2025-11-26T00:00:00+00:00 https://zayn7lie.github.io/tags/install/ 2025-11-26T00:00:00+00:00 https://zayn7lie.github.io/tags/linux/ 2025-11-26T00:00:00+00:00 https://zayn7lie.github.io/tags/rog-flow-x13/ 2025-11-26T00:00:00+00:00 https://zayn7lie.github.io/posts/linux/flowx13witharch/ 2025-11-26T00:00:00+00:00 https://zayn7lie.github.io/tags/analysis/ 2025-03-02T00:00:00+00:00 https://zayn7lie.github.io/tags/calculus/ 2025-03-02T00:00:00+00:00 https://zayn7lie.github.io/tags/chain-rule/ 2025-03-02T00:00:00+00:00 https://zayn7lie.github.io/posts/math/chain_rule/ 2025-03-02T00:00:00+00:00 https://zayn7lie.github.io/tags/proof/ 2025-03-02T00:00:00+00:00 https://zayn7lie.github.io/posts/linux/archlinux2/ 2024-09-30T00:00:00+00:00 https://zayn7lie.github.io/posts/math/cal-vec/ 2023-10-25T00:00:00+00:00 https://zayn7lie.github.io/tags/math/ 2023-10-25T00:00:00+00:00 https://zayn7lie.github.io/tags/multiple-integrals/ 2023-10-25T00:00:00+00:00 https://zayn7lie.github.io/tags/partial-derivatives/ 2023-10-25T00:00:00+00:00 https://zayn7lie.github.io/posts/math/cal-ser/ 2023-10-19T00:00:00+00:00 https://zayn7lie.github.io/tags/sequense/ 2023-10-19T00:00:00+00:00 https://zayn7lie.github.io/tags/series/ 2023-10-19T00:00:00+00:00 https://zayn7lie.github.io/tags/eosd/ 2023-10-03T00:00:00+00:00 https://zayn7lie.github.io/categories/musc/ 2023-10-03T00:00:00+00:00 https://zayn7lie.github.io/tags/music/ 2023-10-03T00:00:00+00:00 https://zayn7lie.github.io/tags/re-compose/ 2023-10-03T00:00:00+00:00 https://zayn7lie.github.io/tags/sheet/score/ 2023-10-03T00:00:00+00:00 https://zayn7lie.github.io/tags/touhou/ 2023-10-03T00:00:00+00:00 https://zayn7lie.github.io/posts/music/touhou-01-01/ 2023-10-03T00:00:00+00:00 https://zayn7lie.github.io/tags/license/ 2023-09-25T00:00:00+00:00 https://zayn7lie.github.io/posts/misc/license/ 2023-09-25T00:00:00+00:00 https://zayn7lie.github.io/categories/misc/ 2023-09-25T00:00:00+00:00 https://zayn7lie.github.io/tags/misc/ 2023-09-25T00:00:00+00:00 https://zayn7lie.github.io/posts/math/cal-int/ 2023-09-19T00:00:00+00:00 https://zayn7lie.github.io/tags/integral/ 2023-09-19T00:00:00+00:00 https://zayn7lie.github.io/tags/arknights/ 2023-08-06T00:00:00+00:00 https://zayn7lie.github.io/categories/ettm/ 2023-08-06T00:00:00+00:00 https://zayn7lie.github.io/posts/ettm/arknights/ 2023-08-06T00:00:00+00:00 https://zayn7lie.github.io/posts/linux/archlinux/ 2023-06-20T00:00:00+00:00 https://zayn7lie.github.io/posts/math/cal-dif/ 2023-04-16T00:00:00+00:00 https://zayn7lie.github.io/tags/differentiation/ 2023-04-16T00:00:00+00:00 https://zayn7lie.github.io/tags/c++/ 2023-02-20T00:00:00+00:00 https://zayn7lie.github.io/posts/cpp-algorithm/00-01/ 2023-02-20T00:00:00+00:00 https://zayn7lie.github.io/tags/csci/ 2023-02-20T00:00:00+00:00 https://zayn7lie.github.io/tags/program-language/ 2023-02-20T00:00:00+00:00 https://zayn7lie.github.io/tags/blog/ 2023-01-22T00:00:00+00:00 https://zayn7lie.github.io/posts/misc/blog/ 2023-01-22T00:00:00+00:00 https://zayn7lie.github.io/tags/config/ 2023-01-22T00:00:00+00:00 https://zayn7lie.github.io/tags/github-page/ 2023-01-22T00:00:00+00:00 https://zayn7lie.github.io/tags/hugo/ 2023-01-22T00:00:00+00:00 https://zayn7lie.github.io/tags/stack/ 2023-01-22T00:00:00+00:00 https://zayn7lie.github.io/page/links/ https://zayn7lie.github.io/categories/ling/ https://zayn7lie.github.io/page/posts/ https://zayn7lie.github.io/page/search/