Epistemologist specialized in the difficulties of alignment. Currently at Conjecture, and running Refine.
adamShimi(Adam Shimi)
Karma: 6,009
My bad. Thanks for the correction, edited the post.
Baking vs Patissing vs Cooking, the HPS explanation
Unfortunately all the positives of these books come paired with a critical flaw: Caro only manages to cover two people, and hasn’t even finished the second one!
In my view, Caro is actually less guilty of this than most biographers.
Fundamentally, this is because he cares much more about power, its sources, and its effects on the wielders, beneficiaries, and victims. So even though the throughline are the lives of Moses and Johnson, he spends a considerable amount of time on other topics which provide additional mechanistic models with which to understand power.
Among others, I can think of:
The deep model of the geology and psychology of the trap of the hill country that I mention in the post
What is considered the best description of what it was for women especially to do all their chores by hand in the hill country before Johnson brought them electricity
Detailed models of various forms of political campaigning, the impact of the press and
Detailed models of various forms of election stealing
What is considered the best history of the senate, what it was built for, with which mechanisms, how these became perverted, and how Johnson changed it and made it work.
Detailed model of the process that led to the civil rights movements and passage of the civil rights bills
Detailed model of the hidden power and control of the utilities
In general, many of Moses’ schemes mentioned to force the legistlature and the mayor to give him more funding and power
He even has one chapter in the last book that is considered on par with many of the best Kennedy biographies.
Still, you do have a point that even if we extend the range beyond the two men, Caro’s books are quite bound in a highly specific period: mid 20th century america.
Have you found other biographers who’ve reached a similar level? Maybe the closest I’ve found was “The Last Lion” by William Manchester, but it doesn’t really compare giving how much the author fawns over Churchill.
I think it’s kind of a general consensus that finding something of a similar level is really hard. But in terms of mechanistic models, I did find Waging A Good War quite good. It explores the civil rights movement successes and failures through the lens of military theory and strategy. (It does focus on the same period and locations as the Caro books though...)
Robert Caro And Mechanistic Models In Biography
I do find thinking on paper (a bit more intentional than freewriting, but the same vibe) to be particularly helpful, I agree. Just like walks.
The reasons I don’t find them enough is that:
They generally happen after the fact, which means that some build up happened
Personally, I’m rarely able to release all the build up just through thinking on paper (happens, just rare)
Still, I find it’s a good way to build emotional potential energy much slower, and to notice when you really need to have a full break/sabbaticl.
Oh, I like the neural annealing connection, I have read the post but didn’t relate it to emotional potential energy, but it makes sense!
Hope you take some time to anneal away some of that potential energy soon. People consistently underestimate the negative ripples on the social web from being overstretched, as opposed to the obvious and tangible “but this thing right in front of me needs doing”.
Thanks. That’s the plan. ;)
Managing Emotional Potential Energy
No worries. ;)
However, when it comes to more inchoate domains like research skill, such writing does very little to help the inexperienced researcher. It is more likely that they’d simply miss out on the point you are trying to tell them, for they haven’t failed both by, say, being too trusting (a common phenomenon) and being too wary of ‘trusting’ (a somewhat rare phenomenon for someone who gets to the big leagues as a researcher). What would actually help is either concrete case studies, or a tight feedback loop that involves a researcher trying to do something, and perhaps failing, and getting specific feedback from an experienced researcher mentoring them. The latter has an advantage that one doesn’t need to explicitly try to elicit and make clear distinctions of the skills involved, and can still learn them. The former is useful because it is scalable (you write it once, and many people can read it), and the concreteness is extremely relevant to allowing people to evaluate the abstract claims you make, and pattern match it to their own past, current, or potential future experiences.
I wholeheartedly agree.
The reason why I didn’t go for this more grounded and practical and teachable approach is that at the moment, I’m optimizing for consistently writing and publishing posts.
Historically the way I fail at that is by trying too hard to write really good posts and make all the arguments super clean and concrete and detailed—this leads to me dropping the piece after like a week of attempts.
So instead, I’m going for “write what comes naturally, edit a bit to check typos and general coherence, and publish”, which leads to much more abstract pieces (because that’s how I naturally think).
But reexploring this topic in an in-depth and detailed piece in the future, along the lines of what you describe, feels like an interesting challenge. Will keep it in mind. Thanks for the thoughtful comment!
The Golden Mean of Scientific Virtues
Just sharing some vibe I’ve got from your.. framing!
Minimalism ~ path ~ inside-focused ~ the signal/reward
Maximalist ~ destination ~ outside-focused ~ the worldThese two opposing aesthetics is a well-known confusing bit within agent foundation style research. The classical way to model an agent is to think as it is maximizing outside world variables. Conversely, we can think about minimization ~ inside-focused (reward hacking type error) as a drug addict accomplishing “nothing”
Feels there is also something to say with dopamine vs serotonine/homeostasis, even with deontology vs consequentialism, and I guess these two clumsy clusters mirrors each other in some way (feels isomorph by reverse signe function). Will rethink about it for now.
I see what you’re pointing out, but in my head, the minimalism and maximalism that I’ve discussed both allow you quick feedback loops, which is generally the way to go for complex stuff. The tradeoff lies more in some fuzzy notion of usability:
With the minimalism approach, you can more easily iterate in your head, but you need to do more work to lift the basic concepts to the potentially more tricky abstactions you’re trying to express
With the maximalist approach, you get affordances that are eminently practical, so that many of your needs are solved almost instantly; but you need to spend much more expertise and mental effort to simulate what’s going to happen in your head during edge-cases.
As an aside note: I’m French too, and was surprised I’m supposed to yuck maximalist aesthetic, but indeed it’s consistent with my reaction reading you about TypeScript, also with my K-type brain.. Anecdotally, not with my love for spicy/rich foods ^^′
I’m obviously memeing a bit, but the real pattern I’m point out is more for “french engineering school education”, which you also have, rather than mere frenchness.
Interestingly, the Lean theorem prover is sometimes considered a bit of a mess type-theoretically. (an illustrative thread), but is perhaps the most popular theorem prover among mathematicians. I would say it’s more on the “maximalist” side.
Didn’t know this about Lean, but the fact that a maximalist option is most popular with mathematicians makes sense to me. As someone who worked both with mathematicians and formal methods researchers (much more meta-mathematicians), the latter are much closer to programmers, in the sense that they want to build things and solve their own abstract problems, instead of necessarily wanting the most compositional machinery possible (although I still expect compositionality to be baked into the intuitions of many mathematicians).
Last I read about Rust’s type system, it basically didn’t have a theoretical basis, and seemed like it was just based around Graydon figuring out algorithms for getting the properties he wanted. Rust is much more popular than SML (or Haskell, though I’m not sure Haskell should really count as a ‘minimalist’ type system with all of its language extensions).
Rust is an interesting point in the design space. If I had to describe it quickly according to the framing above, it feels like a really pleasant fractal tradeoff between different type systems:
It has basically affine type but with more practical usage through borrowing (see this survey for more details)
It has an ML type system with algebraic datatypes (and even traits which are close to typeclasses in Haskell)
So it definitely feels more maximalist than some ML or some pure linear type system, but that’s more from the combination and UX work than from a crazy “let’s add this super advanced feature” rush à la TypeScript imo.
It is definitely one minimalist vs maximalist dimensions ^^.
Minimalist And Maximalist Type Systems
Oh, I didn’t see it actually mentioned your package. 😂
Libs vs Frameworks, Middle-Level Regularities vs Theories
Units / dimensional analysis in physics is really a kind of type system. I was very big into using that for error checking when I used to do physics and engineering calculations professionally.
Definitely!
Dimensional analysis was the first place this analogy jumped to me when reading Fly By Night Physics, because it truly used dimensions not only to check results, but also to infer the general shape of the answer (which is also something you can do in type systems, for example a function with a generic type can only be populated by the identity function, because it cannot not do anything else than return its input).
Although in physics you need more tricks and feels to do it correctly. Like the derivation of the law of the pendulum just from dimensional analysis requires you to have the understanding of forces as accelerations to know that you can us g here.
Dimensions are also a perennial candidate for things that should be added to type systems, with people working quite hard at implementing it (just found this survey from 2018).
I invented my own weird way to do it that would allow them to be used in places where actual proper types & type-checking systems weren’t supported—like most numerical calculation packages, or C, or Microsoft Excel, etc.
I looked at the repo, and was quite confused how you did it, until I read
A complete set of independent base units (meters, kilograms, seconds, coulombs, kelvins) are defined as randomly-chosen positive floating-point numbers. All other units and constants are defined in terms of those. In a dimensionally-correct calculation, the units all cancel out, so the final answer is deterministic, not random. In a dimensionally-incorrect calculations, there will be random factors causing a randomly-varying final answer.
That’s a really smart trick! I’m sure there are some super advanced cases where the units might cancel out wrongly, but in practice they shouldn’t, and this let’s you interface with all the random software that exists! (Modulo the run it twice, as you said, because the two runs correspond to two different drawings of the constants)
Yeah a case where this came up for me is angles (radians, degrees, steradians, etc.). If you treat radians as a “unit” subjected to dimensional analysis, you wind up needing to manually insert and remove the radian unit in a bunch of places, which is somewhat confusing and annoying.
Another interesting thing with radiants is that when you write a literal expression, it will look quite different than in degrees (involving many more instances of ), so inspection can fix many errors without paying the full price of different types.
Static Analysis As A Lifestyle
Thanks for the pointer!
The true deep philosophical answer was… I wanted to separate cakes from bread (in french we have patisserie and boulangerie), but couldn’t find any obvious one in english (seems like indeed, english-speaking countries use baking for both). So I adapted the “patisser” verb in french, hoping that I would get away with a neologism given that english is so fit for constructing them.