Weekly Review - Week 17
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…
- 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
- A CITY IS NOT A TREE
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).
- 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.
- 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:
- The Evolutionary Argument Against Reality | Quanta Magazine
- Is Donald Hoffman’s interface theory of perception true? - Quora
- Michael Shermer Perception Deception » Michael Shermer
- Donald D. Hoffman | University of California, Irvine: Contains original scientific articles presenting Hoffman’s theory in greater details
- relation between type theory and category theory in nLab
A site that looks ladden with complex stuff on cats and dependent types.