Oh man. I was just reminded of ClearCase and Perforce and sort of threw up a little in the back of my mouth. You young whipper-snappers who didn't have to use ClearCase and have only used hg or git don't know how bad it could be. When ClearCase was properly configured, it was fine. But having used it at IBM, DSCCC and Bell Canada, only IBM managed it properly. At DSCCC, we had 40 Sun workstations on a single thin-net segment, each of them trying to mount an NFS share from ClearCase. You had to get there at 6AM to be one of the first five people to log in because if you didn't it was unlikely you COULD even log in. I kept a copy of the part of the code I was working with on a tape and would go into the lab and restore it from tape, do some work, then back it up to tape at the end of the day (the lab machines were reformatted at midnight every day.)
But... yes... this is just using NFS locally to see what's already in GIT, which is perfectly find and as Julia says, allows you to appreciate the structure of the git repo. Ignore this old man yelling at clouds.
ClearCase was the main system at Altitude Software in Portugal, and at Nokia, eventually replaced by Subversion.
Yes, it was, is, quite complex and requires a dedicated team, however there are plenty of features that are still to be made available as easyly.
I loved my view configurations, there were some tricks we could do for mix and match what code to see, and the build caches to this day is still not as integrated as sharing object and library files was back then.
GE moved off Clearcase in 2019 because even IBM didn’t want to use or support it anymore. Wasn’t set up as bad as you had but wouldn’t describe it as pleasant. Lot of alias cheatsheets. Now we’re on perforce transitioning to git.
That being said... it's actually somewhat uncommon for humans to drive into flooded streets. To the degree that people think it's notable enough to take videos and post them to social media. I don't have the data, but would be interested to see how many times per passenger mile travelled human-directed and remotely-operated vehicles like Weymos drove into flooded streets.
I can appreciate the cameras and lidar on the Weymos don't give their remote operators a lot of good data about the depth of water on the road-way. As you point out, humans in cars often don't get this right. I think the humans that don't drive into deep water are the ones who a) give any amount of water on the roadway a big NOPE and b) people familiar with the local environment and use multiple visual clues to judge the true depth of the flooding.
It shows up on social media when it’s a rare event for that area. It’s uncommon but “happens all the time” here in California in the deserts every heavy rain either because locals forget how deep the flood control washes are, or because tourists just drive into them thinking its a straight road, despite all the signs and warnings posted around them.
As far as I can tell from these articles, driving into a flood has happened twice to Waymos, once in Texas and once in Atlanta? It does seem like it's pretty uncommon.
I thought Weymo's were supposed to be "supervised" by humans in the Philippines. Maybe driving in circles in the suburbs and driving into flood waters happens only when the cars are out of mobile data range? Did Weymo pay their mobile phone bill? Does the (somewhat) autonomous system on the car decide when to flag a human for help? I would have expected a human to be watching all the time. Are they experiencing labor problems in the Philippines? Maybe Weymo doesn't want to pay their remote operators as much as the remote operators want to get paid?
Natalie mentions the Newman & Nagel's text "Gödel's Proof," a
(//the//?) 1958 classic on the subject. [[ 1 ]] Having left IBM
in December 1990, I spent a month with the text, dipping into
mild insanity, taking to strange wines to relieve myself of the
fear that my previous years long study of Whitehead & Russell's
"Principia Mathematica" [[ 2 ]] was useless.
I really appreciate the inclusion of Alvir's statement on
whether or not Gödel thought he proved all logical systems
undecidable and incomplete. About 80% into the article is her
quote:
>> Often people will speak as if the CH is the smoking gun that
>> shows sometimes mathematical questions have no answer. But
>> in my opinion, this situation provides very little evidence
>> that there are “absolutely undecidable” mathematical
>> problems, relative to any given permissible framework.
Though I would have added a reference to Infinitary Logic
[[ 3 ]] after dropping the reference to L-omega-1-omega. I
suspect most readers would find discussion of higher-order and
modern logic a bit confusing without a pause for further study.
But a guide post pointing in the appropriate direction would be
good.
That this is the only critique I have of the article speaks to
Wolchover's skill in communicating complex ideas for a lay
audience. I really liked this article, so thank you @baruchel
for posting the reference to it.
:: References
1. https://search.worldcat.org/title/1543160023
2. https://search.worldcat.org/title/933122838
3. https://en.wikipedia.org/wiki/Infinitary_logic
I just hope they stop him before he nukes the west coast. He said something about ending a society, I just wonder if he meant he wanted to to nuke San Francisco.
Data point: A couple years ago I worked for a company that calculated sales tax for customers. They had developed expertise in knowing where each jurisdiction kept it's tax code and how to turn that tax code into software. I was peripherally involved in a proof-of-concept where a reasonably well skilled team trained some sort of model on tax code for one US state. They demoed it to the board of directors where one of the directors asked a somewhat complex question.
The model returned an answer that looked legit, but after the board meeting someone pointed out that the answer was wrong and had we given this answer to a paying customer, we might have been criminally liable. I'm not sure who would have been criminally liable. I don't think they would arrest the entire company.
This was over two years ago and Claude seems to be getting MUCH better over the last year, so maybe things are better now. But, as the Russians say, "доверяй, но проверяй" (trust, but verify.)
but the metric the OP was using was power density. nuke fuels are MUCH more energy dense than hydrocarbon fuels. but putting a reactor on each plane would probably have negative externalities.
but mixing your comment with a few others, maybe a nuke plant on the ground that cracks the co2 in the atmosphere to make carbon neutral hydrocarbon fuel.
> but putting a reactor on each plane would probably have negative externalities.
Probably? It would be a disaster every time one crashes, would carry a huge proliferation and terrorism risk. Oof.
In the 50's some countries were that crazy and they even put reactors in space. Two of which crashed and one contaminated a huge area in Canada. Luckily common sense prevailed and these things don't happen anymore. Though nuclear ships still exist, there's only a few icebreakers in the civilian fleet AFAIK.
Correct me if I'm wrong, but I thought we still use RTGs in space on some satellites? Not counting extraterrestrial research, since those are definitely still powered by RTGs
The ones I speak of had actual reactors with moving parts. Most of them were Soviet, one was American (a research one, the soviet ones were active radar sats with a shelf life of only a few months). https://en.wikipedia.org/wiki/US-A (The soviets called them US-A for some weird reason, lol). There were 33 of them, 3 of which have already crashed to earth.
But yeah RTGs are very nasty stuff too. They are much easier to secure against breaking apart on re-entry though (although dropping a concentrated plutonium source into a random place is not a great idea either obviously).
i wish there was more talk about this. it seems i heard a lot about making hydrocarbons from co2 in the air + solar or algae a couple years ago. if your hydrocarbons are made this way it seems they would be carbon neutral.
i'm guessing there's more research to make it feasable since i haven't seen "carbon neutral gas alternative" at the local Chevron.
There has been quite some buzz about ammonia, as it is fairly easy to turn electricity into hydrogen, and hydrogen into ammonia. It has a reasonably high energy density, is not too nasty to handle, and already has a huge industry built around it.
But... yes... this is just using NFS locally to see what's already in GIT, which is perfectly find and as Julia says, allows you to appreciate the structure of the git repo. Ignore this old man yelling at clouds.
reply