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 ?
- 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
Esckey, 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.