todo

VERY IMPORTANT: I should state very very clearly what it is that I am doing. Also that a huge majority of the code is software engineer code, and that code poetry are just distinctly related.

recs from guido, neuropsychologists who might be interested:

• stanislas dehaene

• christophe paillier

• deal with inline quotes properly (using the dirtytalk package)

add this to examples, from the rust parser example i forked, as an example of how people assign quality to proper scale naming:

rust // Level-change Operator (what a stupid name) operator_level = { operator_exp | operator_subscript | operator_exp ~ operator_subscript | operator_subscript ~ operator_exp }

conclusion

• [x] i talk only about the naming, but I should really should be getting deeper, since this is the only way out. Rather, talk also about the structure, about what survives once it’s compiled, etc. for instance, the xchrad; book, where it’s assembled or disassembled. This would be a good example to show the aspects of the program that survive after you have taken off names/labels/etc. (e.g. Snippet 0x31, gray code and its visualization)
• [x] expand on the section on metaphors. essentially, we’ve shown that there are these domains that are used to refer to programming: in the end, what do they tell us? specificlaly, have a section on what is the overlap of math/arch/lit?
• [x] then, follow with the overlap:conclude on what the metaphors teach us: it is explicitly intellectual, it is not time-based (i.e. persistent, static), it is linear, it requires a certain depth of engagement, etc.
• [x] and then both separately: showing that they might be compensating for one another (e.g. architecture introduces the notion of craft)
• [ ] add a footnote about Brenda : Brenda Baker undertook her Fortan-to-Ratfor converter against the advice of her department head–me. I thought it would likely produce an ad hoc reordering of the orginal, freed of statement numbers, but otherwise no more readable than a properly indented Fortran program. Brenda proved me wrong. She discovered that every Fortran program has a canonically structured form. Programmers preferred the canonicalized form to what they had originally written. source

chap 5 - programming

• [ ] include the concept of interface by matthew kirschenbaum https://www.researchgate.net/profile/Nancy-Ide/publication/229666751_Preparation_and_Analysis_of_Linguistic_Corpora/links/5a75ec770f7e9b41dbd04d97/Preparation-and-Analysis-of-Linguistic-Corpora.pdf#page=550
• [ ] proofread subsec between human and machines
• [ ] there is no example of iterating in 5.1.2
• [ ] all figures (especially fig. 51, 52) need to be very much explicited: “we need to be lead into why that is even an issue” / define reasonable examples for each / show different return types in fig. 51
• [ ] for the threads, first define what a process is so that we can understand what a thread is, also show the non-threaded version? explain how the sequential outcome is bouleversé?
• [ ] look into why we can’t return []int in c
• [ ] in golang, the _ identifiers are not about the error, but about ignoring things. show that it differs in JS or Python
• for fig. 62, step through a computer interpretation of the process, before giving a literary interpretation of the process.
• for the code poems, I need to be able to articulate their relevance when looking at different domains. they’re not just related to literature, but also architecture (follies, pavillions) or math (pure math), while other source code (linux kernel) might also be a sort of literature (legal code). but also make it explicit that i talk about the ones that can run, not the code poems that are not executable
• [ ] rather than having 5.3 as this total disconnect, maybe start by writing a monolith to avoid the pitfalls of structure. particularly because at this point i need to synthesize. rather work on connections and disconnections between the social and the functional?
• in the case of list comprehension in Python, it is both a technical and social environment

in the last section, 5.3

• [ ] functions need to be made clearer. there are three levels (1) syntactical/formal validity, (2) what the program down (operational semantics) and (3) what the program should do (intentional semantics). THIS SHOULD BE DISCUSSED AT THE BEGINNING RATHER THAN JUST THE LAME INTRO ON LAMBDA CALCULUS. then start from those to discuss the function/meaning of computer programs
• [ ] i talk about “syntactic meaning” but this makes no sense, meaning is only semantic
• [ ] again, shorten the code snippets and explain them
• [ ] re-quote hayles and her regime of computation (surface, depth, etc.) when i also talk about paloque berges et. al.

chap 3 - beauty

meeting with nick 14.14

• in philosophy section or in mathematics section, inckude iverson_notation_as_tool_for_thought, beardsley: cognitive gratification under ideal circumstances

Include Gordon Graham - Philosophy of Art and Aesthetics

overall, I should keep in mind that I do not have a technical audience, and I should rework/remove a lot of the examples, and add extensive discussions and rationale as to why those examples are there

For Languages of Art, two things about exemplification vs. implementation:

• different implementations of a concept are necessary but not sufficient for aesthetic judgment. programs exemplify because different implementations exist
• an implementation does not necessarily exemplify: it needs (amongst other things?) CONTEXT.

In architecture, highlight the fact that the detail is the point of interaction between the human and the structure.

In literature, include rousset: forme et signification

Include the fact that aesthetics help compress, and by compressing, people can hold more things in short term memory

• p.218, clarify and enumerate what those 5 requirements of the language of art are.
• p.220, make it clear that var auth_level is actually two different tokens, one by the designer, one by the programmer
• listing 35, if i’m talking about OOP use a more oop language (java, python)
• p. 221 when i talk about source code showing properties of an object. objects only have properties through the fact that they are being modelled: source code is a model of the world in which objects have properties. from a philosophical perspective, objects do not always have properties, but the program’s concept of the world GIVES IT properties.
• p. 223: match the 5 criteria as they were mentioned in the first bullet point
• p.243: when discussing the god example: again, highlight the ontology of markup: inside and outside. There are differences between conceptual spatialization, layout spatialization (the most obvious that we see), and disk fragmentation. The cartesian view of space is different from the one listing 40 (space in 40 is different from a map).
• Listing 40: make it expliciti that it is presented in such a way that highlights the indented/contained nature of markup (indentation)
• Listing 41: no line numbers and most importantly, NOT CLEAR THAT THIS IS RELATED TO SPATIALITY. might be related to SSD/virtual memory/start addresses, but find a better example. maybe start with python, and indentation, related to semantics.
• p.248: mention what are the specific things in architecture: the main thing in architecture is about sight (develop this in the form/function section). ALSO SITE-SPECIFIC: materials+context. Architecture: building codes and requirements, that is not there in lit or math. architect is neither an engineer nor a fine artist.
• Figure 4.2: the plan and the program are different: this is a plan, and the program is different. the program is equivalent to the system requirements.
• Listing 42: hard to tell what this does, might not be worth keeping, or include an extensive discussion of separation of concerns.
• p.263: nick disagrees, don’t say that compression isn’t so much a problem in poetry, but rather a different kind of problem.
• Listing 44: again, the point of these examples as an illustration of refactoring is also not clear, should be commented a lot more
• p.280: graphical representation/diagram is not uniquely artistic, it is that it adds choices, and calls for attention. not just because its a circle does it mean its better, but rather because it’s a different way to represent the same thing, which I argue implies the possibility for a value judgment.
• Listing 45: maybe give a diagrammatic representation of the linked list? there’s an abstract concept, this text is a particular representation of it, and a diagram could be another. strip down the example to the very bare minimum, and include very robust and helpful discussion of that discussion. this is too obscure.
• listing 46: regex matcher: regex is a formalism for processing text. convey that this is a complex problem, but that you can actually write a fairly simple program to implement it. In general, I should always discuss extensively the listings.
• Listing 47: still write about refactoring, but maybe with a shorter program. use the simplest case that makes my point. make that point with elaboration and extent discussion. BUT ALSO PREFACE IT WITH A PYTHON EXAMPLE. So have two listings in the end.
• allamanis, using ML for code generation and analysis, and mattt (as we may code) highlights the need for such a thing (quoting: What if, instead of lowering source code down for the purpose of execution, we raised source code for the purpose of understanding?)
• include \citep{dexter_embodied_2011}
• [ ] put less code poems in this section, both nick and alexandre disagree, seem like it is a bit of a far-fetched example, because this is about the uselessness. my counter-argument is that while it seems that code poetry is useless in the sense that art is useless, not directed, not productive, etc. it is nonetheless functional from the point of the machine, in that it does complex operations. One can also draw an equivalent with Sol Lewitt, and his sentences on conceptual art, in which the “idea is a machine that makes the art”. It functions in the machine sense of the term, perhaps not on the human sense. Conversely, some algorithms function on the machine term, and not on the human term: we address this in section 5.3 (syntactical validity, operational semantics, intended semantics)
• [ ] literature: acknowledge that narrativity and authorship aren’t so much a thing here.
• [ ] literature: include a section about poetry: https://jacket2.org/commentary/poetry-executable-code / https://volltext.net/texte/cornelia-travnicek-code-poetry/
• [ ] add meles and UNIX
• [ ] literature: include that code is not literature: https://gigamonkeys.com/code-reading/
• [ ] mathematics: add a discussion of dijkstra’s shortest path algorithm? the code for the irrational equations:

tex % \begin{align} % \sqrt{2} & = p / q \\ % \sqrt{2} * q & = p \\ % p & = \sqrt{2} * q \\ % (\sqrt{2})^2 & = (p/q)^2 \\ % 2 & = p^2 / q^2 \\ % p^2 & = 2 * q^2 % \end{align}

meeting with nick - 28.12.2022

• for each of the aesthetic domains (lit, arch, eng, math), add source code examples to show what is similar, and what is different in source code vs. original domains -> INTERTWINE!
• my approach to metaphors should be more systematic: that is, I should look into how metaphors can represent a SYSTEM (for instance, symlink is a limitation when it comes to the files and folder metaphor)
• e.g. how does step in a debugger relate to code as terrain, or surface coverage for tests? e.g. how does build and architecture related to code as structure?
• ask “why does the metaphor work?” -> how do they (a) combine (b) extend (c) question?
• look at all the metaphors that fit together (in the lit domain, the arch domain, etc.)
• metaphor of the macro (implies scale), of scope, of global, implies scale as well. libraries is also a metaphor that is literary.
• add knuth on dijkstra, simple program, complex proof (knuth, simple, 1990)

• add wallen_form_1990 with his argument that mathematics rely on the fact that sight is our most developed sense

• fictionality: creates a model of the world. while i make the distinction between fiction and non-fiction, i should focus on why it is fiction that acts as a simulation (i.e. jerome pelletier, nelson goodman, marie laure ryan “textual actual worlds”) -> essentially show that fiction might be as relevant as non-fiction in source code

• mathematics: Barker, John, 2009, “Mathematical Beauty”, Sztuka i Filozofia, 35: 65–74. (A powerful defence of the claim that mathematical and logical proofs have aesthetic properties.)

• case studies
  • choose the case-studies in the way that is the most illustrative of my point. doesn’t have to be huge.
  • i should definitely have a more comparative approach: multiple code-bases, with aesthetics which are tied to LANGUAGE, COMMUNITY and PROBLEM (question of the idiomatic). this is better than having one case study after another, completely discontinued.
  • find similar problems in different programs, see how they deal with it
  • find specific cases where the cognitive load is high
  • again, DO IT IN PARALLEL as a comparative studies.

side note: are metaphors related to space because it’s hard for us to think in terms of time?

chap 2 - understanding

knowledge begins in simple judgments, judgments of feeling or sentience, as yet devoid of explicit conceptual relations, but containing the germs of all higher order functions of thinking joseph leighton, the objects of knowledge

• [ ] include elgin’s paper: from knowledge to understanding, in order to buttress our definition of understanding.
• [ ] If you want to exhibit the difference between a (reasonably) high-level language, assembly, and machine code, you could contrive an example yourself by writing something very short in C and compiling it in gcc. The GNU Assembler, as, is what is used as part of the gcc toolchain, so if you were to write the corresponding assembly and confirm that it assembles to the same machine code … you have your example. And you might do it in a half-page of C, a similar amount of assembly, and 32 bytes of machine code.
• [ ] when mentionning détienne, also mention her framework: elements inside a context are being perceived and knowledge is extracted from it, to be turned into meaning
• [ ] VERY IMPORTANT: include the methodology from detienne’s analysis of kintsch & von dijk (check this one also)
• [ ] wirth: “the computer interprets, i wanted to understand” in beauty is our business, drawing raster lines
• [ ] make it clear that we’re focusing on two sorts of knowledge: formal, or contextual.
• [ ] in the hardware existence of software, talk about memory management
• [ ] in the discussion of what understanding means, at some point, provide the down to earth definition from: Towards a theory of the comprehension of computer programs, by Ruven Brooks
• [ ] this is actually showing that, the more expert a programmer becomes, the less they resort to metaphors, and rather shift to the programming-specific concepts.
• [ ] add the initial stages of program comprehension on beacons (detienne).
• [ ] add a conceptual model of cognitive complexity (chunking, tracing)
• [ ] add a reference and discussion of Fedorenko (fedorenko_language_2019) in terms of cognitive mapping
• “Understanding the interdependencies among different requirements and among the different layers is both an important step for, on one hand, representing it formally, as well as, on the other hand, one of the goals to be grasped by the reader.”
• [ ] add to the programmer expertise https://books.google.de/books?hl=en&lr=&id=rMmxq8q0CGYC&oi=fnd&pg=PA8-IA6&dq=L.M.+Berlin,+%E2%80%9CBeyond+Program+Understanding,%E2%80%9D+A+Look+at+Programming+Expertise+in+Industry,+Empirical+Studies+of+Programmers,+Fifth+Workshop,+pp.+6-25,+1993.&ots=gO-IgzpVOE&sig=ozpfd-DluQ3k4IE7TBnCix0TT7I&redir_esc=y#v=onepage&q&f=false also http://scholar.google.com/scholar?hl=en&q=J.+Koenemann+and+S.P.+Robertson%2C+%E2%80%9CExpert+Problem+Solving+Strategies+for+Program+Comprehension%2C%E2%80%9D+Proc.+Conf.+Human+Factors+and+Computing+Systems%2C+pp.+125-130%2C+1991.
• [ ] at the end of the psychology section, mention the skills needed by a programmer (see below) and this will help us in the followig cognitive tools section to prove that tools indeed help with some of these.
• [ ] in terms of metaphors, make clear that programmer-facing metaphors are not more complex than user-facing metaphors, or that it’s a different kind of cognitive work, but rather that they are referring to a different kind of concept (streams, pipes, volatile memory, etc.)! For instance, mention how there are files/folders for users, and these are manipulated differently on GUI and CLI (CLI -> bash script: “loops”, “labels”, “wildcards”). these show that the metaphors at work in programming are a combination of different concepts, drawing on different fields of knowledge.
• [ ] include dexter, embodied aesthetics of code to discuss spatiality, knowing how knowledge and metaphor
• [ ] add to means of understanding and IDEs deciding how we write: https://thorstenball.com/blog/2020/02/04/how-much-do-we-bend-to-the-will-of-our-tools/
• [ ] Peter G. Neumann. Psychosocial implications of computer software development and use: Zen and the art of computing. quote from peter neumann: “these techniques may have enormous value in providing nontrivial assurances that the system might actually do what is expected of it . “ - “There are many problems arising in complex systems that must be thoroughly comprehended, but that once understood can be structured in a way that conceptually simplifies the design”

Also, Fuller’s taxonomy, derived from Bloom’s taxonomy. It is represented by two semi-independent dimensions, Producing and Interpreting. Each dimension defines hierarchical linear levels where a deeper level requires the competencies from the previous ones. Producing has three levels (None, Apply, and Create) and Interpreting has four (Remember, Understand, Analyze, and Evaluate). \citep{fuller_developing_2007}. huh. there is again a spatial component to understanding, at least discursively

intrinsic characteristics of cs:

• problem solving
• domain modelling
• knowledge representation
• efficiency in problem solving
• abstraction/modularity
• novelty/creativity

chap 1 - ideals

• [ ] add marielle macé to a bit of conclusion on the styles of programmers (maybe once the part about simmel is extracted from the craft)
• [ ] code poetry: add a reference to MOONBIT in the ideals or in the lit review
• [ ] Elegance: Through a single lens, it communicates the problem it solves and the machinery of its solution.
• [ ] elegance include the hacker dictionary definition http://www.catb.org/~esr/jargon/html/E/elegant.html
• [ ] add a quote from Ershov, 1972: “A professional aesthetic influences and is influenced by the ethical code of a profession, by the technical subject matter of the profession, and by the profession’s juridical status. […] The creative nature of programming does not require special proof. Indeed, I may assert, programming goes a little further than most other progressions, and comes close to mathematics and creative writing.” and “We understand what we are able to program.”
• [ ] minimalism, quote https://vimeo.com/47364930 -> concise code is code as litterature, because he says one of the issues is that there are just too many lines of code that one can wrap its head around. so there’s a need for shrinking down content
• [ ] simplicity, make a difference between ontological and syntactical simplicity: Syntactic simplicity, or elegance, measures the number and conciseness of the theory’s basic principles. Ontological simplicity, or parsimony, measures the number of kinds of entities postulated by the theory. code is syntactic simplicity because wrngles together complex concepts (e.g. perl, one liners), or code is ontological simplicity, because all is within computation (e.g. lisp)

• [ ] conclusion: add “It may be hard to understand someone else’s code but the computer is, after all, multi-lingual. In this sense, understanding someone else’s code is very much like listening to poetry in a foreign language - the appreciation goes beyond a mere understanding of the syntax or form of the language used, and as such translation is infamously problematic. Form and function should not be falsely separated” aesthetics of generative code, by cox et. al.

• [x] also explain a bit more fast sqrt (greg walsh must have had a deep knowledge of ieee floating points standards)
• [x] for hackers, include the underhanded c code contest
• [x] fig. 10: original is color coded, but also too hard to comprehend. magmarize would be a better example
• [x] one liner: monostiche
• [x] in the listings, extend the caption to show the relevance of the snippet (e.g. for listing 8, neither is said about APL or about Game of Life: how should readers know this is relevant?)
• [x] for mathematics and hackers, there is a contest in mathematica where you do one-liners
• [x] add this to the software architecture section: books about open source architecture, edited by greg wilson
• [x] for stats comparing different software (windows2000, wp, kirby), use a chart to make the point much quicker
• [x] justify the comparison between win2000 and kirby (differences in size, date of creation)
• [x] discuss more explicitly hayes_cultures_of_code in the introduction of the chapter
• [x] listing #2, not style but voices

introduction

• [x] a sentence or two on a fundamental connection between architecture and programming, related to how architecture must connect form and function as other arts are not required to do
• [x] in methodology, have a note on simplified python examples
• [x] make a clear distinction between source code (the medium) and program text (the instance)
• [x] refine our definition of aesthetics by adding the fact that it enables an evaluative appraisal of objects
• [x] add this section to the introduction, making sure i frame aesthetic vs. beautiful vs. artistic: There is also a broad definition of what aesthetic is, and is different from beautiful, which also elicits an emotional response, or gut feeling, and can be implied in definitions of what is artistic. so i don’t talk about beauty, but about code which exhbitis positive aesthetic properties—finding beautiful code in an art history sense has not been achieved.
• [x] add this in the literature review: https://lectoraatchangemanagement.files.wordpress.com/2020/01/beauty_in_code.pdf specifically mentioning that there are two kinds of aesthetics (low-level, clear ones, and high-level, more diffuse, subjective, beautiful)

structure notes

• [ ] And then spread out in the ideals to make each section less heavy

ide notes

• overall computer-aided software engineering https://en.wikipedia.org/wiki/Computer-aided_software_engineering (history is interesting, started with Lisa Workshop for Apple, IBM was also important, and in the 90s there was a peak of software, Programmer’s Workshop)
• good social typology https://academiccommons.columbia.edu/doi/10.7916/D81261G0
• _IDE work framed with activity theory https://link.springer.com/article/10.1023/A:1015299228170
• important: meta study of IDEs, and typology
• study of tool usage https://ieeexplore.ieee.org/abstract/document/4222616
• https://dl.acm.org/doi/abs/10.1145/2047196.2047215 IDEs can help alleviate some of the complexities (connected, parallel computing), but there are still issues. (collaborative code also here)
• https://ieeexplore.ieee.org/abstract/document/1463097 history of eclipse, comparison with visual studio .NET “It is inexpensive to use and makes it much easier to integrate their tools with one another.” (more about eclipse here: https://ieeexplore.ieee.org/abstract/document/1657944, how it helps to integrate other tools here and how programmers use it here)
• it looks like eclipse exists since at least 1985
• eclipse quick fix: https://dl.acm.org/doi/abs/10.1145/2398857.2384665 mentions the complexities of checking complex changes
• things that are important for IDEs (https://arxiv.org/pdf/1404.6602.pdf):
  • continuous processing
  • non-linear editing
  • dependency analysis and caching
• https://dl.acm.org/doi/abs/10.1145/1806799.1806866 concept of code bubbles
• “These observations suggest a new model of program understanding grounded in theories of information foraging” https://dl.acm.org/doi/10.1109/TSE.2006.116
• designing an IDE specifically with OOP in mind, or with signal processing
• demo of how this IDEs can help from the 90s https://dl.acm.org/doi/abs/10.1145/64140.65020
• more history for the MESA programming environment: https://dl.acm.org/doi/abs/10.1145/17919.806843
• EMACS documentation: https://chrismennie.ca/EMACS-Conceptual-Architecture.pdf

general

• [ ] add pressman - software engineering: a practicioner’s approach
• [x] rewrite my definition of aesthetics to include more the aesthetics of everyday life?
  • [x] drawing from mckenzie, rewrite his part to include the fact that he puts a lot of lines of code in his book, but that it’s still a mostly social/anthropological interpretation of said code
  • [x] specify that the term software engineering appeared in 1968 at a conference [[wirth_history_software_engineering]]. but actually it’s fuzzy, some people say it was around 1967 src
• [x] ideals
  • [x] add the dope case study https://queue.acm.org/detail.cfm?id=1039535 also this http://denninginstitute.com/pjd/GP/gp_summary_toplevel.html
  • [x] re read hacker examples part to check for spoilers
  • [x] add research software engineers to data scientists https://www.nature.com/articles/d41586-022-01516-2
  • [x] tone down on methodology?
  • [x] add stats about corpus after methodology.
  • [x] add section on leslie vaillant in the elegance section https://dl.acm.org/doi/abs/10.1145/1953122.1953131
  • [x] add knuth details on elegance (see notes)
  • [x] add section on robin hill on elegance https://cacm.acm.org/blogs/blog-cacm/208547-what-makes-a-program-elegant/fulltext
  • [x] include some further discussion of programming based on hapoc 21 presentation
  • [ ] add a bit more meat to the section on scientific beauty
  • [ ] deal with frames and page breaks on minted; https://tex.stackexchange.com/questions/433192/breaking-pages-in-minted-package
  • [x] add “hacking perl” and live code in the artists section https://www.perl.com/pub/2004/08/31/livecode.html/
  • [x] everytime i quote SO, add the specifics of the survey details

~~look into the pdf “program text, style, laber” by brian lennon to address comments in microsoft windows source code~~

~~yullil - code art brutalism refers the HACKMEM document from 1972 MIT, related to architecture.~~

~~communautés épistémiques et communautés de pratique (Cohendet et al., 2001) -> Cohendet, Patrick, Creplet, Frederic & Dupouet, Olivier. « Organisational innovation, communities of practice and epistemic communities : the case of Linux ». In Economics with heterogeneous interacting agents~~