Live data from Hacker News

The Proof Is Trivial

theproofistrivial.com

11–18 of 18 posts

Re: The Proof Is Trivial

#11

Wow, this got picked up on HN too. My roommate wrote this last year as a joke for CMU students. It's a simple script that pulls from a pre selected discrete set. Author is Alan Pierce btw.

Thanks him for me, this silliness is just what I needed tonight.

Re: The Proof Is Trivial

#15

Makes me think of an article I read many years ago (in, I think, Mathematics Magazine) titled "Confusion Rings" which parodied abstract algebra papers. About all I remember now is "heterocococomorphism".

I'll give this one a try. (Hetero)(co-coco)(morphism) - Heterosexual chocolate relations.

Re: The Proof Is Trivial

#16

Makes me think of an article I read many years ago (in, I think, Mathematics Magazine) titled "Confusion Rings" which parodied abstract algebra papers. About all I remember now is "heterocococomorphism".

heterocococomorphism: A recursive pattern generalizing injection into mixed gender conga lines.

Re: The Proof Is Trivial

#17

Wow, this got picked up on HN too. My roommate wrote this last year as a joke for CMU students. It's a simple script that pulls from a pre selected discrete set. Author is Alan Pierce btw.

The script is trivial! Just view it as a concatenation of strings whose elements are pulled from a discrete set of terms.

...like all books ever written? :)

Re: The Proof Is Trivial

#18
post #14

Earlier quoted context omitted.

That's a non converging Monte-Carlo optimization with a constant cost function

Isn't Monte-Carlo non-converging by definition? If the algorithm converged it'd be a Las Vegas algorithm...

You're right : there is a lot of redundancy in my last sentence. But we're speaking about a non-nonsensical sentence describing an inept process...
Post reply on HN