Summer has been slow on the coding, but I haven’t been completely idle. Rather, I have been chipping corners of something big that I hopefully manage to finish this year still.
Continue readingdeep-sky
Playing with Coq
Coq is interactive theorem prover, that I have been playing around a bit recently. This blog post shows how very basic function can be defined in Coq and then moved over to Haskell.
How I learned difference between getStdGen and newStdGen
I have been working on random values recently and learned an important difference between getStdGen
and newStdGen
.
Working on admin panel
Pretty much every long running multiplayer game requires some sort of maintenance system and deep sky isn’t an exception.
How do you eat an elephant
How do you eat an elephant? Piece by piece of course. And what does this have to do anything I ususally write here?
ABC – Always Be Coding
I haven’t written anything here in a long time, but I’m still around and hacking. I even got a new pet project (sort of) to work on.
Deep Sky
A new season, a new project, just likely old times.