I wonder, is there a way to only request reformulations that don’t involve branches? The tool already seems quite nice, but that might be a good feature.
Also, I’m not sure I understand the speedup. Is it latency or throughput?
Author here. The speed up is modeled throughput, though the model is relatively naive. It's possible to disable branches by turning off the regimes flag, see https://herbie.uwplse.org/doc/1.0/options.html
LibreOffice is a pretty bad name, it is too clearly a spin-off of OpenOffice and never really gained its own identity. Being identifiable as a bad project’s better fork is kind of a weak starting position.
Based on that table it looks like “LibreOffice the name” ejected “LibreOffice the software development project” basically. Although, it isn’t really a corporate takeover, right? There was one company that was doing most of the work, now they’ve been ejected.
I don’t think LibreOffice ever really took over the mindspace of OpenOffice anyway. Maybe they can a more distinct split will give it a more independent identity.
Since Collabora already has an online version, maybe they should fork completely and call this offline version something that implies independence. So, I suggest: SolOffice. Haha.
I checked the numbers. OpenOffice reports about 230,000 downloads a week. LibreOffice, in contrast, reports about 1,000,000 downloads a week. Those are both direct downloads from their respective websites, thus not counting Linux distributions, in which the default office suite is LibreOffice. AFAIK, no distribution comes with OpenOffice as its default; it's always LibreOffice.
I also checked Google Trends for the last 3 months, comparing LibreOffice vs OpenOffice. The first is searched on average 4.7 times more than the latter, which tracks with weekly download numbers.
From those numbers, I'd say it's pretty clear the name "LibreOffice" won quite decisively over "OpenOffice". OpenOffice is still used a lot, but nowhere close to LibreOffice, especially when we add Linux distributions counts.
> I don’t think LibreOffice ever really took over the mindspace of OpenOffice anyway.
It was really a terrible name if you're going after normie office workers. Nobody outside of open source people knows what "Libre" means or even how to pronounce it.
* going into some internal directory and running a script based on the name
* deleting a bunch of directories
Seem like pretty bad ideas. Especially for software provided by a hardware vendor, which is probably a little clunky and inherently touches deep stuff.
But not including a removal script seems like bad form.
Edit: On the other hand, I don’t actually know for certain that the tool doesn’t have an uninstall script. Just, that the author didn’t find it. This seems worth noting because the author really wasn’t giving them the benefit of the doubt on anything, see all of the irrelevant complaints about animations.
I mean, there clearly was an uninstall script. It was in the app's Contents/Resources file, and it was called CleanupMagician_Admin_Mac.sh. Which means there was some intended way to trigger running it. Perhaps Samsung's instructions or their menu system weren't clear and they managed to hide it from him. But there most definitely was an uninstall script, and if he had managed to find the intended button in the interface, it would have asked for admin permissions and then done all the cleanup for him. The very cleanup that he complained about having to do by hand.
I think you are probably right. Although, with a name like that it could be some post-install cleanup of temporary files (which would explain why it was doing chown, rather than rm, although there are certainly other options!).
I wondered about the chown thing myself, but ended up concluding that the author was misremembering the errors. He probably saw some chown messages and didn't read all the hundreds of lines (I certainly don't read every line of hundreds of log lines, I skim looking for key words), meaning many of them could well have been rm failures that he misremembered as chown. But whatever it was doing, the author would have been wise to read it before deleting the directory it contained, as it would have saved him a lot of trouble finding all the bits and pieces he had to hunt down later.
The author is an unreliable narrator. The very first thing, the location of the script, can’t possibly be true (the app itself won’t be in per-user support data directory). They conflate things, they definitely don’t know enough about macOS to know to use sudo. I mean, they even rant about bog standard localization files…
Sadly, there are apps out there whose installers drop helper apps in ~/Library/Application Support. Or worse: Eve Online actually puts the whole game there. The Eve.app in /Applications (or wherever you choose to put it) is just the launcher/downloader.
They didn’t explicitly point to hypocrisy as the thing that makes it “unserious.” Actually I think a lot of serious projects are a little bit hypocritical, a little bit of hypocrisy is often the cost of contact with reality.
In this case it isn’t even clear where the hypocrisy comes from, though. It’s a service for looking up other services. Does it even handle any PII?
I never got really super into this subculture thing, or whatever it is, but I vaguely recall skimming things like a subreddit devoted to it, ages ago. I want to say when it was “starting” but then nothing ever really starts or ends. Definitely Pre-Covid though. Anyway, IIRC the focus was not on the horror, maybe a slight unease, but mostly the uncanniness.
I think this is just how things evolve. Creepy is a very strong sentiment that is somewhat aligned with uncanny, so it isn’t that surprising to see uncanny collapse into it over time.
But having spent a lot of time in empty classrooms, auditoriums, and hallways, waiting for students to show up, it’s more of a nostalgic feeling to me.
I’m just going to try and hang tight as well. But I do wonder if DRAM companies should or should not respond to this pricing situation. The actual AI model training companies buying all the RAM aren’t profitable yet, right? It’s all investment, which can dry up at the drop of a hat.
I haven’t heard “dead man zone” (although I don’t really engage much with military stuff so maybe it is just an expression I’m not familiar with).
I think “no man’s land” is a pretty popular and similar expression. Out of curiosity, did you translate “dead man zone” from another language?
I just find it interesting because it seems conceptually similar but much bleaker, so if it comes from, like, French or German or something maybe it reflects an even bleaker WW1 experience.
It's the space between trenches. I've been watching a WW1 chronological documentary where they use it, but it's also been said in various ways, as you say.
Whether a moon base is needed or even beneficial is a question I have not heard a convincing answer in favor. And even if moon base is indeed needed and/or beneficial to future space exploration / resource extraction why robots cannot more efficiently build (or assemble) such a moon base is another question I need an answer to.
We are sending humans to (or around) the moon now, but it may just turn out to be a wasted effort, done solely for the opulence (or more cynically bragging rights / nationalist propaganda).
> Whether a moon base is needed or even beneficial is a question I have not heard a convincing answer in favor
If we want to go to Mars, the Moon is a good place to learn. Simple things like how to do trauma medicine in low g; how to accommodate a variety of human shapes, sizes and fitness levels; how to do in situ manufacturing; all the way to more-speculative science like how to gestate a mammal. These are easier to do on the Moon than Mars. And the data are more meaningful than simulating it in LEO. If we get ISRU going, doing it on the Moon should actually be cheaper.
If we don’t want to colonize space, the Moon is mostly a vanity mission. That said, the forcing function of developing semi-closed ecologies almost certainly has sustainability side effects on the ground.
We don‘t want to colonize space. Colonizing space is science fiction, not a serious goal for humanity, and certainly not an engineering challenge. There is no reason for humans to live anywhere other then on Earth. We have more reasons to live on Antarctica or the deep ocean then on the Moon, Mars or Alpha Centauri.
What I really want is for us to send a lander and a launcher to Mars capable of returning to earth the the capsules Perseverance has been collecting. I would love for geologists on earth to examine Mars rock under a microscope. I would want them to take detailed pictures of an exoplanet using the Sun as a gravitational lens. And I would love it if they could send probes to Alpha Proxima using solar sails to get there within a couple of decades.
None of these would benefit from having a moon base. In fact this moon base seems to be diverting funds away from missions with more chance of success and more scientific value.
I do. Plenty of people do. Plenty of people also think exoplanet science is useless. I disagree with them. It the arguments are symmetric to those against human spaceflight.
> certainly not an engineering challenge
…how? We don’t have the technology to do this.
> There is no reason for humans to live anywhere other then on Earth. We have more reasons to live on Antarctica or the deep ocean then on the Moon, Mars or Alpha Centauri
> None of these would benefit from having a moon base
Of course it does. ISRU (and baseload launch demand) decreases costs of access to deep space.
> diverting funds away from missions with more chance of success and more scientific value
The science slakes our curiosity. The engineering slakes our needs. And they both benefit from each other. Claiming Starship and in-orbit refueling won’t benefit scientific missions is myopic.
No you don‘t want to colonize space, nobody actually wants it. You may think you want to colonize space but actually you don’t. Space colonization is science fiction and not an engineering goal. It is a video game you can fantasize about but you don’t actually want to do it. Nobody does.
Surely you must see the difference between expolanet science and dreams of space colonization. The former is actual science which further our knowledge of the universe with tangible results, and the latter simply isn’t. People who don‘t like exoplanet science may have their reasons, but people who don‘t like space colonization are simply being realistic. Because the former is science, the latter is science fiction.
Finally there is nothing about space refueling technology which requires a moon base, and especially not manned moon missions. If you want space refueling infrastructure manned moon missions is not the only way to get there, and probably not even the best way. I also have my doubts here. If space refueling is so important we would be doing it already. Sending fuel from earth in a separate lunch. A case in point James Webb was originally designed with refueling in mind. They dropped it from the final module because it simply wasn’t worth it.
I think I mostly agree with the other comment by runarberg—Earth is the place to be. But it is also worth noting that even if we do end up colonizing space, Mars is still really pointless. Mars is not significantly more habitable than orbit.
There’s some gravity: the wrong amount. In space, you can at least get 1G with centripetal force.
In orbit, you are halfway to anywhere. On Mars, you’ve gone back down the well. Make sure to bring enough gas to get out again…
Mars is just a bunch of irradiated rocks. Bring your own ecosystem, and wait a couple thousand years while it installs.
The only thing Mars has going for it is that it’s really far away, so we can still pretend to entertain sci-fi plans about colonizing it. The practical next step for space colonies would be large investments in additional space stations, a step so imminently possible that the only way to take it seriously would be to do it.
> Earth is the place to be. But it is also worth noting that even if we do end up colonizing space, Mars is still really pointless. Mars is not significantly more habitable than orbit
I’m not pitching a specific destination. And I’m not pitching exploration to the masses. Most people on the planet never have and never will leave their home country.
If we want to go to space, we probably want a lunar base.
> There’s some gravity: the wrong amount. In space, you can at least get 1G with centripetal force
Maybe this is important. Maybe it’s not. We need physiological experiments.
> In orbit, you are halfway to anywhere. On Mars, you’ve gone back down the well
In orbit you’re perpetually nowhere. On a surface you have in situ resources.
> Mars is just a bunch of irradiated rocks. Bring your own ecosystem, and wait a couple thousand years while it installs
Maybe it’s age. Maybe it’s moving from New York to Wyoming. Maybe those are the same thing. But I’m more of a red Mars advocate today than I was when I read Robinson’s trilogy in my twenties.
> only thing Mars has going for it is that it’s really far away, so we can still pretend to entertain sci-fi plans about colonizing it
It’s mass and an atmosphere. That’s a lot to what Earth has going for us.
> practical next step for space colonies would be large investments in additional space stations
Practical next steps are lots of experiments in centrifuges and micro and low gravity. To fund and focus that you need a goal.
>> In orbit, you are halfway to anywhere. On Mars, you’ve gone back down the well
> In orbit you’re perpetually nowhere. On a surface you have in situ resources.
It’s the bottom of a dried-out well in the middle of nowhere, that’s not an improvement over just being in the middle of nowhere with a full tank of gas.
>> practical next step for space colonies would be large investments in additional space stations
> Practical next steps are lots of experiments in centrifuges and micro and low gravity. To fund and focus that you need a goal.
The at least semi-plausible goal is the asteroid belt.
We are nowhere near the capability to launch robots to the moon that can autonomously build or assemble a moon base for any useful definition of moon base.
> We are sending humans to (or around) the moon now, but it may just turn out to be a wasted effort, done solely for the opulence
My 4 year old is extremely excited to watch the launch tonight because it’s manned. I’d say a few billion is worth it if all it does is inspire a new generation of astronauts, engineers, and scientists.
And neither are we anywhere near the capability to lunch construction workers to the moon which can build or assemble an equivalent moon base with their human labor. So this answer does not satisfy me one bit.
> inspire a new generation of astronauts, engineers, and scientists
This is a good point. And I would like it to be true. However when you have to lie about (or exaggerate) the scientific value of the mission, that is not exactly inspiring is it. Your 4 year old could be equally inspired by the amazing photos James Webb has given us, and unlike Artemis, James Webb is providing us with unique data which is inspiring all sorts of new science.
> And neither are we anywhere near the capability to lunch construction workers to the moon which can build or assemble an equivalent moon base with their human labor. So this answer does not satisfy me one bit.
We have the capability to do that. We don’t have the will to do it, but we have the technology. We don’t even have autonomous robots that are capable of building a moon base on earth.
> Your 4 year old could be equally inspired by the amazing photos James Webb has given us, and unlike Artemis, James Webb is providing us with unique data which is inspiring all sorts of new science.
He’s not though. People gather around as a family and watch manned space missions. It’s exciting in a way that a telescope or a probe isn’t.
Indeed, in 1969, as a small child, I watched the Moon landing together with my parents, in Europe, like also the following missions, in the next years.
They have certainly contributed to my formation as a future engineer.
The key here is “could be”. But most four (or in my case, six) year olds can’t really grasp the abstract concepts of what JWST is or the data it’s sending back. For that matter most 40 year olds can’t.
A manned mission on the other hand is tangible in a way a probe isn’t. “See the big round thing in the night sky? There are four people going around it in a spacecraft”.
It isn’t a _complete_ argument in favour of manned missions- that has to account for the risk of the endeavour and reward of the science potential of having people there to react in ways robots can’t. But it’s hard to pretend that the inspiration pretty much everyone feels when they see manned missions is somehow achievable purely by robotic ones.
> neither are we anywhere near the capability to lunch construction workers to the moon which can build or assemble an equivalent moon base with their human labor
Why do you say this? What is the bottleneck you feel we are more than half a decade from?
The moon has about the same make up as the Earth when it comes to distribution of elements in the crust. If it's anywhere near 8% like Earth then it makes sense to mine aluminum and other metals on the moon in order to build megastructures in orbit. Since the moon has no atmosphere you can accelerate things using mechanical mass drivers. Basically rail systems. At 5,300 mph you hit escape velocity and can then move payload somewhere with no rockets. It would keep us from polluting Earth too. This is the precursor to O'Neil cylinder type structures. AI robots will probably be the play but you still want a transportation system that works and frankly building a landing zone would improve overall outcomes regardless.
The rocks at the surface of the Moon are richer in metals than the crust of the Earth. They are especially richer in iron and titanium.
Without oxidizing air, it is easier to extract metals from the Moon rocks.
There is little doubt that it would be possible to build big spaceships on the Moon.
However, what is missing on the Moon is fuel. For interplanetary spacecraft, nuclear reactors would be preferable anyway, which could be assembled there from parts shipped from Earth, but for propulsion those still need a large amount of some working gas,to be heated and ejected.
It remains to be seen if there is any useful amount of water at the poles, but I doubt that there is enough for a long term exploitation.
I imagine a foundry would use solar power and lasers to heat up the material. No atmosphere means less heat energy wasted. My thinking has been how to get enough actual build material to build something like an O'Neill cylinder. Well you'd need really thick metal plates. And then you'd want to get them into orbit without rockets. And these stations would likely be at the same orbit as Earth or nearby. Mainly because of how much sun energy you get around here. Going out to the outer solar system is a different beast all together.
Mars pushes the frontier (even if no one might survive the trip due to human body deteriorating), going around the Moon is meh - we were there ~57 years ago multiple times so what's the point?
Mars isn’t a frontier, it is a wrong turn that leads to a dried out toxic well in the middle of nowhere.
We should aim for the asteroid belt. Maybe we can mine them or something. It’d be less like a frontier and more like an offshore oil platform, but still, it is at least semi-plausible.
Also, I’m not sure I understand the speedup. Is it latency or throughput?
reply