About

Welcome to my blog Intermediate Representation (IR). The name indicates that the content of this blog is an intermediate representation of knowledge that I have compiled from books and papers. The corresponding object code is obviously the comprehension of the knowledge in readers’ mind :).

I am a student, programming for interest, Interested in code editor / programming language theory and type theory, loves animals (like snakes), and sports (football, swimming and yoyo).

Usually use ice1000, 千里冰封 or Tesla Ice Zhang as my ID.

• Resume
• CodeWars Katas
• Opensource Contributions

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

You can contact me by E-mail, and subscribe this blog by RSS.

Blog Policy

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

Friends

Eldath 77. Marisa Night Farmer exyui ling inszva dramforever lfkdsk colliot ZJU Lambda BennyHuo / KotlinCN GloomyGhost DemoJameson lgzh1215 Eliseos babyJessica 六道漫步 Chill Magic Z-Shang YeungKC Jesper Cockx Project Aurora MikeHe