taeric

34 ms·

571.
by taeric 1y ago
I'm curious why you don't think the look should be dependent on the structure? I can agree that some structure dependence would be a bit restrictive, but most structural items in the browser are specifically for how things should
572.
by taeric 1y ago
Apologies, I missed this yesterday. It isn't that it is scary. It is that it connotes something about equations and such. It is literally the name of the class people learn how to symbolically solve quadratic equations and such. I wa
573.
by taeric 1y ago
Right. Apologies, but I know the basics. My argument is that "algebraic types" would be less confusing if you actually did algebra using the types. That is it. That is my full argument. As it is, you have to go through hoops to
574.
by taeric 1y ago
Sort of? If you multiply two values, then the units also multiply. But if you add, they do not. They just have to be equal. No? Even there, there is a very different thing from "adding units" and "adding values that have
575.
by taeric 1y ago
Certainly. Names are important, as much as it annoys us. My question was more on if you could move the algebra into more focus in the types defined. Specifically, I don't think I've seen people use +/* in describing the typ
576.
by taeric 1y ago
The idea isn't that it is easier to do things when not tired. It is that you specifically get tired exercising self control. I think that can be subtly confused by people thinking you can't get better at self control with practic
577.
by taeric 1y ago
Thinking a little more about it, I would wager it would be a lot easier if people used the + and * when combining types. As things are, we say that that is what defines them being algebraic, but then never use + and *. Would be a lot easi
578.
by taeric 1y ago
Like I said, I can squint to see what you mean. But people tend to treat types more as what grade schools call units. And those act more as constraints on what you can do with the values. With you doing add/multiply on the values. N
579.
by taeric 1y ago
I don't remember my school days, oddly. For my kids, they don't have an "algebra" class until later. But they do basic symbolic math far sooner. I know they have done what we would call linear systems of equations as
580.
by taeric 1y ago
Ah, I see that "grade school" is sometimes defined as just to 6th grade or so. I have always used it to include all schooling up to college. So, apologies on that. I am referring to the same stuff you are mentioning. I don&#x27
581.
by taeric 1y ago
Just google "algebra 1." Largely, it is where they learn to do symbolic math. Lots of time spent on quadratics.
582.
by taeric 1y ago
Oddly, that is precisely my problem with it as a name. I can't do any "basic algebra" operations on these things. I say this as someone that is having to help my grade schoolers learn algebra this week, actually. :D I can s
583.
by taeric 1y ago
The name for them feels a bit unfortunate, to me. The vast majority of programmers know of algebra from grade school, at best. And there you think of algebra as being able to do symbolic operations on equations. Not so much as "alge
584.
by taeric 1y ago
My mental model is that complex numbers are the first of the basic number systems that no longer has a total ordering. That alone is super useful for it. Quantum is an odd one, as the name indicates that it deals in quantums. Minimum valu
585.
by taeric 1y ago
My grandfather in law used to love discussing the difficulties of transporting giant turbine blades. Always reminded me of the sheer difficulty with large solutions that are often not immediately obvious.
586.
by taeric 1y ago
Kudos on convincing me to try one of these dongles. This looks like a ridiculously fun project to do with the kids.
587.
by taeric 1y ago
One of my favorite Knuth videos was him reviewing some students' code in a lecture. I /think/ this was for the Stanford GraphBase code that he was getting students to write, but can't fully remember. What I do remember
588.
by taeric 1y ago
Right, my point was more that thinking you can guess the simplicity of a solution based on the complexity of the tools used to build it is a bit misleading. If only because most simple tools are far more complicated than that allows. Simil
589.
by taeric 1y ago
Your progression of "confusing things" happening several times is exactly what I was hoping to elicit. And is why I think it is a bit of a red herring to ask which is simpler.
590.
by taeric 1y ago
I'm not entirely clear what the argument being made is. Simple tools are simple, sure. But there is an awful lot of complexity in otherwise simple things. Just look at hand tools and see the difference between a power drill and a pow
591.
by taeric 1y ago
It isn't hard to argue that most of the advances that people recognize as scientific advances are more from material sciences than they have ever been theoretical physics, though? Even claiming that theoretical physics enabled the indu
592.
by taeric 1y ago
I mean... I get paranoia, but this is arguing that an audit trail is not useful? That is, a high pass rate could also indicate that it is a well functioning system with few spurious requests and none that are lacking required information. D
593.
by taeric 1y ago
It is a lot like demand for spacious pockets in fashionable clothing. People largely think you can get that with no tradeoff on anything regarding the clothes. And, you just can't. So, for phones, people say they want a small one to
594.
by taeric 1y ago
Glad to see the final section basically cover that this is not actually a problem. I sort of wish the headline was more of the "Why you shouldn't be worried about private equity buying your neighborhood." Why and how did tha
595.
by taeric 1y ago
Agreed. I'm... not entirely clear I get the distinction the article is trying to make? If you take the idea that it is "artificially complex, because they actively added complexity", then I can see how that isn't quite r
596.
by taeric 1y ago
The amusing ones, to me, are the people that know of the techniques, but are convinced they can't apply. Obviously not everything will be easy to map into a classic optimization problem. And you may have a heuristic approach that is b
597.
by taeric 1y ago
I think it is somewhat of a natural failure of DRY taken to the extreme? People seem to want to get it so that they describe the API in a way that is then generated for clients and implementations. It is amusing, in many ways. This is spe
598.
by taeric 1y ago
Largely true. If you are at Google scale, odds are you have mixed fleets deployed. Such that it is a bit of involved process. But it is well defined and doable. I think a lot of us would rather not do a dance we don't have to do?
599.
by taeric 1y ago
I mean, this is essentially the same lesson that database admins learn with nullable fields. Often it isn't the "deleting one is hard" so much as "adding one can be costly." It isn't that you can't do it.
600.
by taeric 1y ago
Yeah, I saw that. I took that as something that happened in the past, though. Certainly colored a lot of the thinking, but feels like something more immediate had to have happened. :D

More ›