Ignore this post. I just want to see if MathJax is working. $$ \mathcal{G}_{\mathbb{D}_x}(S) = \begin{cases} [\:\widehat{a}\,] & \text{ when } S = [\,]\\ S + [\:\widehat{a}\,] & \text{ otherwise} \end{cases} $$

Available on pretty much every Linux distro as a package from the repository, Simon Tatham's Puzzle Collection [http://www.chiark.greenend.org.uk/~sgtatham/puzzles/] is all anyone needs to stay busy for the rest of their lives. (Well, that and TIS-100 [http://store.steampowered.com/app/370360/

If you don't know Brian Hayes then you probably don't read American Scientist [http://www.americanscientist.org/] (which is a shame as it is a really good magazine). Hayes write the regular Computing Science column for the magazine. His blog, bit-player [http://bit-player.org/] is worth

So reads the June 14th post on God Plays Dice [http://gottwurfelt.com/]. This is a pretty good mathematically oriented blog that has been around for awhile (but moved from BlogSpot in 2013). God Plays Dice (pre 2013) [http://godplaysdice.blogspot.com/]

An old post (May 2007) from bactra.org called So You Think You Have a power Law [http://bactra.org/weblog/491.html]. Both informative and funny. I think the following quote from the author might give you a good feel as to what the post is about: ... I have

If you haven't read Do you think bears are mammals? [http://www.amazon.com/forum/health/ref=cm_cd_pg_newest?_encoding=UTF8&authToken=&cdForum=Fx1EO24KZG65FCB&cdMessage=Mx23HRO3IXR4ETB&cdPage=1&cdSort=oldest&cdThread=Tx2DJLGGF7UYJ36] in Amazon's Customer Discussions > Health

This looks pretty cool: http://plato.stanford.edu/entries/logic-combinatory/ Again I got this from @CompSciFact. I don't have time to read much of it at the moment; I'm currently trying to wrap my mind around Paraconsistant Logic [http://plato.stanford.edu/entries/logic-paraconsistent/]. I really

I saw this come across John D. Cook's Computer Science Twitter feed (@CompSciFact): http://begriffs.com/posts/2015-06-17-thinking-with-laziness.html I'm just learning Haskell but one of the things that attracted me to it was its lazy evaluation. It's very different from what I was