Weekly Review - Week 38

Posted on September 18, 2017

This post is a summary of my activities related to coding and software in the past week. Its purpose is both to serve as a high-level personal log and as a potential source of interesting (or not so interesting) links. Entries are provided in no particular order with minimal comments…

Static Binaries for Haskell: A Convoluted Approach

When trying to build minimal docker images, having a statically linked binary is a plus. This is actually quite hard to realize in practice with GHC as this post demonstrates (note that I tried the suggested approach and failed…)

graydon2 | “What next?”

Interesting and opinionated post on what’s next in Programming languages, e.g. which features from PLT will reach mainstream. First-class modules done right is definitely something we are direly in need for!

Book Review: Surfing Uncertainty | Slate Star Codex

A long book review on cognition and how our brain copes with uncertain, partial or plain wrong data.

Les Protocoles Fondamentaux

French translation of Michelle and Jim McCarthy’s Core Protocols, using The Core Protocols: A Guide to Greatness dfrom Richard Kasperowski as main source.


A cryptocurrency providing blockchain-based file-system

testing-feat: Functional Enumeration of Algebraic Types

A Haskell package to enumerate inhabitants of any ADT, useful for systematic testing of data types.

Sam Coope - Blog

Looks fun! Did not read the full thesis though…

PragPub January 2012 | Unit Tests Are FIRST | The Pragmatic Bookshelf

A gentle reminder about the properties that a proper unit test should exhibit: Fast, Isolated, Repeatable, Self-Verifying, and Timely

Tezos Crowdfunding

Tezos is a smart contracts platform that aims at offering a self-governing network. I read the language white paper which interestingly draws ideas from Forth: The Tezos language is a typed stack-based language. Although of note is the fact the reference implementation is in OCaml.

Bringing the web up to speed with WebAssembly | the morning paper

Speaking of languages, WebAssembly aims at providing a more solid foundation than Javascript as a the lingua franca for executing arbitrary code in browsers.