Welcome to my blog Made in Heaven. I’m writing my blog with destiny, willing to play my part. Living with painful memories, loving with all my heart. It was really meant to be, so plain to see.
I am a student, programming for interest, interested in code editor / programming languages / mathematics (particularly algebrae and categories) / type theory.
Usually use ice1000, 千里冰封 or Tesla Ice Zhang as my ID.
All the posts and blogs here are licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Generic License.
Listed in random order (refresh this page to see it in a different order).