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 readingPlaying 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.
Shaving yaks and taking detours while taking detours
Planning and analyzing is important part for big software projects. However, I’m not particularly fond of doing lot of planning before getting started with actual coding. I rather model something, test how it works and then revise before moving to next thing, than sit down and do lot of planning beforehand (since I’m bound to miss some crucial detail anyway).
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?
Coq and Gallina
No, I haven’t suddenly picked up raising hens as a hobby, but Coq in this case is interactive proof assistant that I have been trying to learn to use during my summer vacation.
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.
Book haul
When a company moves (either from building to building, or inside of a building) invariably lots of items are found that nobody really feels like hauling. Often they get thrown directly away, but sometimes a recycling spot is setup when people can bring and take items. I like those recycling spots, because there’s a chance of finding something neat and not everything gets thrown away and wasted.
Slowly working on code
Coding is fun, I like coding. But coding is also something that takes lots of time. So trying to find that time to do things can sometimes be challenging, especially if you would also like to do something else.