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.

Sign up for GitHub

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

Jump to bottom

[Art competition] Correctness #125

Closed
Gimongjin opened this issue Nov 30, 2022 · 1 comment
Closed

[Art competition] Correctness #125

Gimongjin opened this issue Nov 30, 2022 · 1 comment

Comments

@Gimongjin
Copy link
Contributor

DALL·E 2022-11-30 22 23 10 - a precious blue diamond hidden deep and hard to find

Short Description

For me, Correctness means a precious blue diamond hidden deep and hard to find".

Long Description (up to 3 sentences)

The correctness of a program is very important concept for programmers – program with proven correctness has a very strong power. But correctness of program is very hard to achieve, so we try to use so many kinds of methods to find it from various program spaces. Actually, we don’t even know whether it is existing or not! - But we are still taking many adventures to find the correctness.
@KihongHeo
Copy link
Contributor

Beautiful.

@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 #259 May 30, 2024

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@KihongHeo @Gimongjin