Logojoy: AI-powered logo creator

Re:Logojoy: AI-powered logo creator by noblethrasher on Tuesday November 29, 2016 @03:20PM (#13065916)

Programming languages and systems are basically theorems.

The nice thing about theorems is that even when they're old, they're still theorems.

[ Parent | on HN ]

Re:Logojoy: AI-powered logo creator by joakleaf on Wednesday November 30, 2016 @07:53AM (#13070278)

I don't completely agree. To follow your analogy, I don't think the languages themselves are "theorems". Rather they are notation. Some notation is shorthand. Some is quite verbose.

But in the end it is not the notation that makes or break a theorem. However, a theorem may be more or less clear depending on the notation.

[ Parent | on HN ]

Re:Logojoy: AI-powered logo creator by williamle8300 on Tuesday November 29, 2016 @04:18PM (#13066358)

Ah. I dig this. Wish I had more upvotes!

[ Parent | on HN ]

Re:Logojoy: AI-powered logo creator by oaktowner on Wednesday November 30, 2016 @01:46AM (#13068951)

I gave him/her an extra for you.

[ Parent | on HN ]

Re:Logojoy: AI-powered logo creator by frozenport on Tuesday November 29, 2016 @04:13PM (#13066324)

No, because they can literally not run, or contain security vulnerabilities.

[ Parent | on HN ]