You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For me, [invariant] means [one twinkling star that shines brightly on the girl's head in the vast night sky, while other numerous starlights are shining darker]".
Long Description (up to 3 sentences)
Invariant of a program is the property that represents the program during its whole execution, even though we cannot know when it will terminate. In terms of this, I think finding the invariant of every program is similar to the goal of every human's life, while everyone never knows when life will end. Every life is shiny in its own way but we may not notice it, so finding one star, that looks just like you and shines exactly on you, among countless stars and knowing how it is twinkling are what we need to do during our whole lifetime.
The text was updated successfully, but these errors were encountered:
Short Description
For me, [invariant] means [one twinkling star that shines brightly on the girl's head in the vast night sky, while other numerous starlights are shining darker]".
Long Description (up to 3 sentences)
Invariant of a program is the property that represents the program during its whole execution, even though we cannot know when it will terminate. In terms of this, I think finding the invariant of every program is similar to the goal of every human's life, while everyone never knows when life will end. Every life is shiny in its own way but we may not notice it, so finding one star, that looks just like you and shines exactly on you, among countless stars and knowing how it is twinkling are what we need to do during our whole lifetime.
The text was updated successfully, but these errors were encountered: