About

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.

You can find me on GitHub (GitHub profile analysis), Bintray, Crates.io, StackOverflow, StackExchange Computer Science, CodeWars, and YouTrack.

I have E-mail, and you can subscribe this blog by RSS.

ORCID iD iconhttps://orcid.org/0000-0002-9050-846X

Blog Policy

All the posts and blogs here are licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Generic License.

Friends

Listed in random order (refresh this page to see it in a different order).