Weekly Review - Week 13

Ethically aligned design | the morning paper

Another interesting post from The Morning Paper, this time about ethics and software. This resonates with some discussions we have had at latest Software Craft(wo)manship. Reading the paper I was attracted to ….

Moral Machines: Teaching Robots Right from Wrong: Wendell Wallach, Colin Allen

… but some reviews I read dettered me from buying it. I will try to dig into the subject a little bit more and look for some relevant texts (beside Kant, of course)

Celui qui appuie sur le bouton est-il le seul coupable ?

My notes on the afternoon spent under the wise guidance of Peggy Penet-Avez (aka. Simone) thinking my way across the concepts of intention, action, responsibilit, guilt…

The Dada Engine

A well known post-modern articles generator. Stemmed from a discussion on the obscurity of Lacan which is the basis of The Perverts’ guide to computer programming.

DeepCoder: Learning to write programs

Recurrent/Convolution neural networks that “learn” to write programs from input/output samples. Interestingly, the program generated are pure functional expressions…

donnemartin/system-design-primer: Learn how to design large-scale systems

A huge set of links on system design

Idris-dev/introduction.rst at master

A new Idris tutorial on the use of ST, a type for modelling state-machines.

ExUnit v1.4.2

Had to understand Elixir’s unit testing framework while we were pairing with Bernard on a barrel-db demo.

PowerPoint-Präsentation - UniLFS-DumitruRoman.pdf

A deck on RuleML, a language to model business process rules

Nim Programming Language

Another link stemming from a discussion on the Artisans du logiciel Slack. An statically typed imperative language (formerly known as Nimrod)

Magit tutorial? : spacemacs

Not only did I have to program in Elixir (a dynamically typed language…), but I had to do it in Spacemacs! We found the experience to be somewhat painful because of some lag in pressing the Esc key, an issue which is solved by this post. Here is the final tmux configuration we use:

 set -g prefix C-a
 set -g default-terminal "screen-256color"
 set -g mode-mouse on
 set -g mouse-resize-pane on
 set -g mouse-select-pane on
 set -g mouse-select-window on
 set -s escape-time 0
 set-option -g default-shell /bin/zsh

Theory of existential types

While preparing a short post on Existential types I stumbled upon this SO answer which provides deeper theoretical insights.

Understanding Idris

Interesting slide deck on Idris

Building Bridges with Effective Devops

A deck drawn from this weeks’ Devops weekly newsletter on how to build “bridges” across cultures and teams. I was ready to buy the book but the book has mixed reviews on O’Reilly’s site. Insights welcomed.