Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
Please enjoy this little hen sleeping under my hat Mostly just trying to get something done every day and not worry too much about what's around the corner. A lot has been happening for the past long while, and too much stress just makes me useless, so as I see it going slow is better than not getting anything done at all. For a bit of "fun" I did a little theorem proving in coq as I'm running a book club that's working through bits of The algorithm book.