A man without a country

This is a personal blog about functional programming, information security, operating systems, literature and other (less interesting) topics.

It is partitioned into three disjoint blocks, each with its own RSS feed —

If for some reason you want to read everything, there’s a feed called “Everything” just for that.

There are no commentaries in this blog. If you want to share your thoughts about a post here, you can reach me by E-mail (jmפmemorici·de) and on IRC (MagBo @ {freenode, hyperboria, dorknet}). All the valuable inputs will get to the virtual pages of this blog in form of posts or guest posts.

This blog is hosted on a server running Arch Linux; is hosted on a server running NixOS; generated by Hakyll which, in turn, was built from Nix expression.
Let’s all appreciate open source community!

This blog uses MathJax. If you can see expressions below as mathematical expressions, your browser supports it.

\[ \sum_{x = 0}^{\infty}{ {1} \over {2^x} } \] \[ \forall x, y : A . (x \leadsto y) + (x \leadsto y \rightarrow \bot) \]