News for hackers. Stuff that matters.
Re:Teeny Tiny Mansion: text adventure game formally proven t... by sgustard on Monday April 17, 2017 @06:46PM (#14135082)
Here you go, a markdown-formatted version of the article.

https://markdownshare.com/view/bc431de6-16e7-44db-ad52-705a2...

Re:Teeny Tiny Mansion: text adventure game formally proven t... by lucio on Monday April 17, 2017 @08:45PM (#14135671)
seeing that, I still prefer the plain text, unprocessed MD