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.

• My Resume
• My CodeWars Katas
• My Opensource Contributions

You can meet me on:

• GitHub
  • GitHub profile analysis
• Bintray
• Crates.io
• StackOverflow
• StackExchange Computer Science
• CodeWars
• YouTrack

You can contact me by:

• E-mail

You can subscribe this blog by:

• RSS
• Other subscriptions

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 xdd dramforever lfkdsk colliot ZJU Lambda BennyHuo / KotlinCN GloomyGhost DemoJameson lgzh1215 Eliseos Murasaki@SKE 六道漫步 Chill Magic Z-Shang YeungKC Jesper Cockx Project Aurora