jmoiron plays the blues

@jmoiron Generics use seems to fall into two main camps: faster type-safe data structures, and things I don't like. https://t.co/kFZGfzHYxp

@jmoiron A lot of people are completely playing themselves paying tons of cloud premium for shit they absolutely do not need.

@jmoiron "Get faster access to BingGPT by setting Edge as your default browser and downloading the Bing app." Microsoft is still Microsoft I guess.

@jmoiron If you can't see the slides for this talk on InfoQ, they can be found here: https://t.co/dpkZnHoNwu

@jmoiron And I do think we still have a field where academics rarely contend with the selection filters that govern this "natural world". Where they publish on obscure systems with no practical impact. Where they use words engineers know in ways engineers don't.

@jmoiron Regardless, the impact delay is a concern, and it's not limited to CS. Gregor Mendel described a set of laws for trait inheritance (known intuitively to farmers for millenia) in the 1860s, but his work went unknown for 40 years, delaying the modern study of genetics.

@jmoiron I have to admit, to me, the line has blurred. I've seen many impactful contributions from "academics" in the fields of performance engineering, databases, distributed systems, etc. Maybe this is a result of Gabriel's thesis, or maybe I only see the things I understand.

@jmoiron As I said before, I think these "dead" ideas are often rediscovered and put into practice. I think Gabriel might argue that these ideas are usually in papers written by engineers and not academics, but they are frozen out of being accepted as "scientific" literature.

@jmoiron Academics will sometimes lament that good ideas die on the vine, while crude implementations by practitioners gain traction despite their flaws. This is especially true, in my experience, in PLT.

@jmoiron I've always thought that there were selection filters not unlike natural selection. "Good" systems can leave no intellectual heirs, and "bad" systems can become so successful they demand study. To bring it back to Gabriel, this is the subject of one of his most famous essays.

@jmoiron The implications of systems as the natural world has more overlap with my areas of interest: if studying real world systems is important for computer science, what mechanisms determine which systems become successful?

@jmoiron In my experience as an engineer, I find these behaviours often _are_ forseen in the literature, but their predictions are too obscure. This may be due to the "incommensurability" Gabriel discusses in in his talk: academics publish in a language engineers do not understand.

@jmoiron As real computer systems become more complex, they often display new, unforseen emergent behaviours that become areas of scientific inquiry. I think we understand this: OSes, filesystems, and languages have been vibrant areas of study for a while.

@jmoiron I've always considered the natural world of CS to be the abstract one of computation, using models like the turing machine. The idea that it is computer systems built by engineers is interesting, and I have noticed that as a pattern in eg. papers surfaced in PWL.

@jmoiron The central case study is Mixins, which were first designed by engineers in the late 60s, had several implementations ranging from the late 70s to late 80s, but were only first described in scientific literature in 1990.

@jmoiron One of the definitions of engineering is "the application of scientific knowledge to create new things", but Gabriel argues that the new things being created did not exist in nature and therefore can (often?) preceed scientific understanding.

@jmoiron I watched this talk by Richard P Gabriel yesterday: https://t.co/uECixsyYPs The talk covers a lot of ground, but a philosophical question I found interesting was: "If Science is the empirical study of the natural world, what is the natural world of computer science?"

@jmoiron Horrific scenes in Turkey. A 7.8 in the middle of the night is terrifying. https://t.co/Cj13mRh3Rv

@jmoiron @jordanorelli must love dconf then

@jmoiron @nycsouthpaw shokupan, often called "milk bread" most convenient place to get it is probably Paris baguette.

@jmoiron is knowledge of mdadm a blessing or a curse

@jmoiron Or, maybe if they treated work transactionally and kept it at arms length, they'd be fine. Sacrifice years of engaging with your job and making this 8 hour daily commitment part of your life, so when it ends, there's less pain and disappointment!

@jmoiron Seeing loads of "don't make your job your identity" takes. Do we say this to Teachers? Artists? Athletes? Or do we think "remember, companies can fire you" is insightful advice after a huge round of layoffs?

@jmoiron Is the insinuation that people upset at losing their income, daily routine, and a bunch of acquaintances (not to mention immigration status) must have overly defined their identity on their job? If they had just focused on rock climbing or something, they'd be ok?

@jmoiron Big Initech energy. https://t.co/aFTKlumTcB