[Art competition] Computing least upper bound #266
Closed
KihongHeo
started this conversation in
Art competition
Replies: 1 comment
-
If you submit such a picture you may get the following evaluation results:
I believe you folks have more creative ideas than me. Show me what you got! |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Short Description
For me, [computing least upper bound] means [a knight in the ground watching up a dragon on top of a very high ancient tower]".
Long Description (up to 3 sentences)
Static analysis is computing the least upper bound of an ascending chain. This is like a brave journey to fight against a dragon on top of a high tower. We will always find a good solution in static analysis as the knight eventually defeats the dragon in an old tale!
Beta Was this translation helpful? Give feedback.
All reactions