spacer spacer spacer meaningless logo

Academic to ask about academic toreminolyg to search for about contempt culture: http://liedra.net

Orthogonality in the configuration of operating systems

  • orthogonality in general

  • the mess that is the standard way of configuring operating systems

  • declarative configuration in NixOS (using an almost pure functional language)

  • the original idea of OO (see "The Computer Revolution Hasn't Happened Yet", and the citations from http://web.cecs.pdx.edu/~black/publications/egal.pdf) suggests configuring an operating system as a large number of independently configured VMs (a bit like containers, only much less messy because containers are a terrible compromise)

  • where does GNU HURD fit into this?

Topics from Google doc

  • Friendship between languages

  • People who are into Haskell are usually mathematical people who think that all the matters is semantics, but what’s good about their work is more than just the semantics

    • The reading for this would be quite heavy and written by mathematicians
  • Different meanings of 'semantics' in different disciplines

    • Super broad but would be able to combine philosophy/linguistics/computing
  • Can semantics be separated from pragmatics in programming languages?

    • Can take ideas from linguistics and apply them to computing
    • Might need heavy reading though
  • Is there such thing as a bad programming language?

    • Bad/useless?
    • Intercal
  • Subdivisions in contempt culture

    • Could make up classifications
    • Does academic stuff exist or only opinion articles?
  • Different universities considering computer science as more mathsy or more engineery?

    • Check for reading by educationy people
    • Does seeing computer science as more mathsy lead to more open-mindedness? (e.g. seeing computer science as interdisciplinary, combining it with humanities)

Shorter shortlist

  • Different ways of decomposing problems according to the language that you’re using

    • e.g. the idea that programming in Haskell makes you look at problems in a certain way
    • What restrictions does Haskell put on you that make you approach problems differently when switching to a different language?
    • Would need to see if the reading for this is good
  • Contempt culture - why do people think some languages aren’t good for types of programming e.g. can you do functional programming in VB

    • Could be concrete AND abstract
    • Good to look at examples from Lisp - it's existed since way before Haskell