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