Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Art competition] Invariant #115

Closed
hyerinshelly opened this issue Nov 29, 2022 · 1 comment
Closed

[Art competition] Invariant #115

hyerinshelly opened this issue Nov 29, 2022 · 1 comment
Labels

Comments

@hyerinshelly
Copy link
Contributor

DALL·E 2022-11-29 17 57 20 - One twinkling star that shines brightly on the girl's head in the vast night sky, while other numerous starlights are shining darker

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.

@KihongHeo
Copy link
Contributor

Beautiful invariant!

@KihongHeo KihongHeo reopened this May 30, 2024
@prosyslab-classroom prosyslab-classroom locked and limited conversation to collaborators May 30, 2024
@KihongHeo KihongHeo converted this issue into discussion #249 May 30, 2024

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Labels
Projects
None yet
Development

No branches or pull requests

2 participants