Teeny Tiny Mansion: text adventure game formally proven to have no dead ends

Re:Teeny Tiny Mansion: text adventure game formally proven t... by komali2 on Monday April 17, 2017 @04:30PM (#14134154)

Not really arguing anything. Just curious if there was a specific reason to do this over maybe throwing together a basic HTML page before submitting to a news aggregator.

I'm not making a judgement call, I'm trying to learn.

[ Parent | on HN ]

Re:Teeny Tiny Mansion: text adventure game formally proven t... by forgotpwtomain on Monday April 17, 2017 @04:36PM (#14134190)

> Just curious if there was a specific reason to do this over maybe throwing together a basic HTML page before submitting to a news aggregator.

Articles or links can be submitted by anyone not necessarily content authors.

Further I think a lot of people here (myself) included are quite happy with plain-text (it loads fast, it works well with various font/screen sizes) - note also that the README is in fact markdown formatted, so feel free to open it in your reader of choice.

[ Parent | on HN ]

Re:Teeny Tiny Mansion: text adventure game formally proven t... by komali2 on Monday April 17, 2017 @04:58PM (#14134370)

>README is markdown formatted

Is it? How do you see that? Or is that a different link?

Why doesn't my browser render markdown?

[ Parent | on HN ]

Re:Teeny Tiny Mansion: text adventure game formally proven t... by wruza on Monday April 17, 2017 @07:57PM (#14135473)

It is. You have to be familiar with markdown flavors. No, same link. Browsers do not render markdown by design (there is no single standard anyway).

[ Parent | on HN ]

Re:Teeny Tiny Mansion: text adventure game formally proven t... by zellyn on Monday April 17, 2017 @04:53PM (#14134330)

Yeah, looks like the submitter was not the author.

[ Parent | on HN ]