quanttype

I’m trying to get my Clojure testing ducks in a row.

Clean your code with this one weird macro trick.

It’s Easter holiday and I’m looking forward to photographing Haronmäki again.

Briefly in English: Today is the municipal election day in Finland.

I’ve been using Anki for a couple of years and it’s great.

For the record, I’ve published a post about configuring Clojure web applications on Metosin’s blog.

One of the distractions of the hobbyist photographer is the Gear Acquistion Syndrome (GAS): instead of making photographs, you spend all your time obsessing over new gear.

I wrote a blog post about Clojure, but I realized it was a cheap rant and deleted it.

Roland Barthes’s Camera Lucida is a book about what the essence of photography is.

The stack of books mentioned in this post.

Ripping seams is easy when you use the right tool.

In the previous post I mentioned that you can use Karma to run ClojureScript tests.

How do you run your Clojure unit tests?

The venue for Curry On after party was impressive.

How does one make the perfect pancake?

Summary: Guilt is a poor source of motivation.

Cascading is like class inheritance: mostly to be avoided.

A dangerous slope ahead.

Today I took the final exam in a course on descriptive set theory.

Reaktor, a local IT consulting company, recently posted a programming puzzle called Reaktor Orbital Challenge.

I thought I wouldn’t write about cameras on this blog, but I’ve been shooting with such a cool camera that I want to tell you about it.

There are many languages for telling computers what to do.

Whenever there’s a discussion about whether software development is engineering or not, somebody brings up the fact that we software developers mostly do not know what were doing, unlike bridge builders.

No hay in this needlestack.

What’s the benefit of dependent types, anyway?

Internet is full of advice about the technical aspects of photography, but it’s much harder to find good advice on the artistic aspects.

You may know the Haskell function fix: fix :: (a -> a) -> a fix f = let x = f x in x This function applies its argument to itself.

Today was the first Elmsinki meetup, where we gathered to discuss Elm the programming language.

Just one flask.

Water forces its way through the forest in Nuuksio.

In this series, I’m taking small steps towards understanding Coq.

I recently attended a tech conference.

When I was first learning about theorem provers, one of the first things I wanted to do was to formalize some of the things I had learned about abstract algebra.

Let’s work through this very simple theorem in Coq: Theorem plus_n_O : forall (n : nat), n = n + 0.

Here are some resources for programmers who want to get started with Coq: Coq is best used as an interactive theorem prover.

Oleg explaining Servant at Wunderdog in the January 2016 meetup.

In December, I finally finished reading Infite Jest, the magnum opus of David Foster Wallace.

I know what you’re thinking: who uses XML these days!

Here’s what I did in 2015.

I had a blogpost prepared about probabilities, but then I realized that I had messed up the mathematics.

Why do we review code?

I finally shot and got developed my first roll of color film.

Python by William Warby.

Our home printer, Epson XP-325.

I have some long-running scripts that sleep while waiting for something to happen.

A year ago I reviewed Ambronite.

A broken armchair in Kallio.

This week I used Webpack at work and it was great.

I used to think that you should have fun while exercising.