Schlagwort-Archiv: Programmieren

Gitegory Theory.

We begin by defining a category of files and patches, where the operation of merging the effect of two coinitial patches is defined by pushout. Since two patches can be incompatible, such a pushout does not necessarily exist in the category, which raises the question of which is the correct category to represent and manipulate files in conflicting state. We provide an answer by investigating the free completion of the category of files under finite colimits, and give an explicit description of this category: its objects are finite sets labeled by lines equipped with a transitive relation and morphisms are partial functions respecting labeling and relations.

Samuel Mimram, Cinzia Di Giusto: A Categorical Theory of Patches (


Disney and Apple/Microsoft are in the same business: short-circuiting laborious, explicit verbal communication with expensively designed interfaces.

Neal Stephenson: In the Beginning was the Command Line

Functions are Data.

Defunctionalize the Continuation!

James Koppel: The Best Refactoring You've Never Heard Of


Productivity per CPU cycle per Watt is the lowest it’s been in decades, and is orders of magnitude (plural) beneath its potential.

Drew DeVault: Following up on "Hello world"

Es gibt Ausnamen.

Stack is the new term for “I have no idea what I’m actually using”.

Erich Schubert: The sad state of sysadmin in the age of containers

Leere .

Trailing whitespace is shitespace.

Run like hell.

Under lexical scoping (also known as static scoping), the scope of a variable is determined by the lexical (i.e., textual) structure of a program.


Under dynamic scoping, a variable is bound to the most recent value assigned to that variable, i.e., the most recent assignment during the program’s execution.

Inside PRL: Lexical and Dynamical Scope

Ältere Beiträge «