News for hackers. Stuff that matters.
Re:Teeny Tiny Mansion: text adventure game formally proven t... by cliffordvienna on Monday April 17, 2017 @08:23PM (#14135579)
> What was the point of publishing this information in such a non-functional format?

You make it sound like this is a big publication I worked weeks on. :) It's not. It's a toy project I wrote Saturday.

As far as "publishing" goes: I sent a tweet about it in the hopes someone might find it interesting. And now it's trending on Hacker News! Woohoo! ^_^

The link is just a deep link into my SVN repo, directly to the README file.

Re:Teeny Tiny Mansion: text adventure game formally proven t... by bostand on Tuesday April 18, 2017 @06:58AM (#14137772)
I think you are underestimating how interesting your weekend projects are.

For the record, my weekend project this Easter was to watch the first season of The Expanse...