1,932 karma · joined March 8, 2016
Rust enums are sum types, and imho are one of the few unambiguously good language feature ideas. I miss them any time I use a language where they are not built in. F# is another nice language where they are first class and where I first got familiar with them
the confidence on global temperature increase is quite high, you can arrive at the same trend that the serious efforts do with a random selection of a couple of hundred stations and without any corrections. I have done this in the past using raw noaa data.
That was sort of my “aha” moment
Strange coincidence, or maybe the fact that the code is fortran doesn’t say anything about the accuracy of the math.
because of shadows that confused it
because of concern about cars crossing the intersection ahead where there is only the need to gently slow
because of a car crossing an intersection ahead that has already crossed!
because of a steep bridge that confused it
we can’t use cruise control in the car basically, we decided it is too dangerous at worst and jarring at least
because there is so much hype around Tesla people get the impression their software is “hardcore” but a lot of it is absolute garbage.
We can’t even get a large % of humans to stop buying SUVs with vastly excess horsepower to avoid ruining our planet in a relatively short time frame.
The societal/political problems seem larger to me than the engineering ones, which are just a matter of effort.
History is full of millions of examples of things that were asserted as impossible by smart people in eloquent speeches and essays that we do today regularly without a thought.