Education

Recent Posts

With the recent Google announcement that Chrome 68 will mark all HTTP sites as insecure, it’s time to say farewell to GitHub Pages, which I switched to more than two years ago, and move to GitLab Pages.
Main reason being, despite multiple requests, GitHub still does not support HTTPS on custom domains, without using another service like Cloudflare (which is a bit overkill for a static site!).
There are several additional advantages to the move: * Making use of GitLab’s CI/CD system, so I can update my blog without having Cryogen installed locally * Certificate renewal can be scripted * if there’s some private data used to generate your blog, GitLab provides private repositories for free

Several months ago I discovered David R. MacIver’s impressive property-based testing library for Python, Hypothesis. Having been a big fan of Haskell’s QuickCheck – but not having much opportunity to use Haskell in daily life – this is hugely exciting. A mature property-testing tool, targeting a popular dynamic language … soon afterwards I packaged this library for Fedora – fellow Fedora users can install it with a simple
dnf install python-hypothesis or, to specify the Python interpreter explicitly,

At Traveloka, Indonesia’s leading travel booking site, we use Phabricator for code reviews - and as a growing company it might not be straightforward to figure out who is knowledgeable about a particular part of the code base and thus would be a good reviewer.
Inspired by Quora’s Moving Fast With High Code Quality post, we are thus implementing a review routing system - the code is live on GitHub at phabricator-utils.

I’ve been meaning to switch to a statically-generated blog for a while, and specifically to Cryogen hosted on GitHub Pages, for a combination of several reason:
I am already writing my posts in Markdown for Ghost, and prior to that, Scriptogr.am Overhead of maintaining a Ghost blog is hosted on OpenShift Online I prefer Clojure to JavaScript Cryogen developer lacarmen is amazingly responsive. This request for tag-specific RSS feeds is done within a day.