Weekly Review - Week 38

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.

FileCoin

: 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.