Weekly Review - Week 17

Posted on May 1, 2017

This post is a summary of links related to coding and software I followed and read (sometimes, skimmed over) 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…

2017-04-24 Monday

LinuxKit operating system built for container

A new and experimental tool from the Docker team to build OSes using containers (or container images ?) that you can deploy to different targets. Seems to be a contender in the Packer or Vagrant space…

Compiling to categories (extended version) - compiling-to-categories.pdf

A paper about using categorical language (or more precisely Cartesian Closed Categories) as a common assembly for expressions and programs that can be fed to specific interpreters. I did not read it in full but this reminds me of work from the 80s and 90s on Caml compiler and the Categorical Abstract Machine. Looks definitely exciting!

jwiegley/z3cat: Use Conal Elliott’s concat library to compile regular Haskell functions into Z3 equations

Everything’s in the title, I guess.

Summoning Genius | Live In Greatness - core protocols for shared vision

Core protocols have always fascinated me since I have been introduced to them by Christophe Thibaut. This text is part of the same site and is an appeal to live up to one’s own dreams and “live in greatness”.

Évolution technique et objectivité technique chez Leroi-Gourhan et Simondon

A philosophy article related to the topic of the talk I am preparing fro nCrafts

One Sinister Hurricane.pdf

An ANT-inspired analysis of work done to create visualisation tools for hurricanes’ effects. Provides evidence on the way technical tools shape thinking and interaction.

Temps et individuations technique, psychique et collective dans l’œuvre de Simondon

Started to read that one because it mentions Simondon, but I must confess Stiegler’s prose is more often than not opaque to me.

Pierre Schaeffer and Pierre Henry

Not sure…


A well-known text from Christophe Alexander that rejects the use of the tree model for cities in favor of graphs (he does not use that word and speaks instead of lattices).

2017-04-25 Tuesday

Copying & Repetition – Zed A. Shaw

On the importance of repetition and rote learning.

What is it that we ‘do’, when we perform an action? - Praxis and Poiesis

On the difference between poeisis (action driven by some goal) and praxis (action which is its own goal)

LATOUR’S “JAMESIAN” EMPIRICISM (2): the case of prepositions

Interesting criticism on Latour’s (ab)use of William James’ empiricism.

2017-04-26 Wednesday

The Case Against Reality - The Atlantic

A “scientific” argument that reality is not what we think it is. I put scientific in double-quotes because obviously, this theory hardly lends itself to falsifiability. Some more links on the same topic:

2017-04-28 Friday

relation between type theory and category theory in nLab

A site that looks ladden with complex stuff on cats and dependent types.