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.
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.
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.
Planetary Orbits and Haskell
Seems like every couple years I end up writing a program to calculate planetary orbits. This time I chose to use Haskell.
Space Privateers and LambdaHack
LambdaHack is game engine library for roguelike dungeon crawlers, written in Haskell by Mikolaj Konarski and Space Privateers is a game that I wrote using that library.
Finally, monads
The 12th and last lecture of CIS 194 went through monads, which was rather logical after previously covering functors and applicative functors. These three subjects formed a nice progression, which culminated on this lecture.
Functors and applicative functors
Chapters from 9th to 11th in CIS 194 formed nice bundle of related lectures, so I tackled them as a group.
Interacting with the world
8th lecture of CIS194 finally explained how to interact with outside world. Up to this point I have either written stand alone functions or integrated them with pre-existing solution that did the interaction with files.
Monoids, monoids everywhere
While lecture 7 of CIS194 was named Folds and Monoids, the focus was on monoids (folds had been covered earlier). While the wikipedia page might look overwhelming on a first sight, monoids can be tackled with some reading and practice.
Engineer's Journey 