skysight-inc/HackerNews huggingface dataset:
They've engaged some of the most qualified folks with regard to major ship salvage and are working on it. In the mean time, they're trying to do what they can with what's available.

It's exceedingly obvious given the scale, importance and national coverage of this that the issue isn't that they can't find a second backhoe. Your condescension isn't warranted at all.
Depends if you can fill the outside with poles and the inside with sand.

You can suck up the sand ( if it's even required, since normal dredging could be done afterwards) before you destroy the construction again.

If it's surrounded by poles, then you just take them out again on the end.

The construction on land can be cleaned up afterwards.
That’s what tune2fs is for https://www.unixtutorial.org/commands/tune2fs
For smaller salvage operations, salvage tubes (basically balloons) are often used to raise the ship off the bottom. I suspect it's impractical due to the immense mass of this ship, but part of me wonders how large of a balloon you'd need to stick under the bow and stern to refloat it.
Can't remember where did I read this now but about a year ago I have found material saying that sqlite3 over NFS is a very bad idea and even though it's supported it's also strongly advised against as a use-case.
This is similar to how some government agencies retain their budgets.

At the end of the budget period they've only spent 80% of their allocated budget, so they throw out a bunch of perfectly good equipment/furniture/etc. and order new stuff so that their budget doesn't get cut the following year, rather than accepting that maybe they were over-budgeted to begin with.

Rinse, repeat, thus continuing the cycle of wasting X% of the budget every year.
That probably depends on whether you mean old instructions now cause a fault or moving x86 to a new format entirely that doesn't need a decoder from hell
That would've been a good way to go. It's a shame they haven't gotten social to catch in any of their many attempts (Buzz, Plus, YouTube, Reader, etc.) because I'd prefer anything from Google over Facebook.

I'm cautiously optimistic that Google is slowly recognizing the error prioritizing hot new projects over continuous maintenance and improvement of existing ones. Google Chat seems like it might finally be a proper successor to Google Talk after dozens of half-baked services: Hangouts, Voice, Allo, Duo, Messages, etc. etc. etc.
At some point no amount of money is enough to overcome Physics.
This technique is commonly used for smaller marine salvage operations. They're called "salvage tubes".
Then why not just tell Exchange to delete any emails older than 5 years (or whatever your lawyers tell you to put)?
It's great to see projects like this, it makes programming fun. Bite sized pieces that can be easily held in the head and reasoned about.
Glad someone else said it... nothing like a bunch of software engineers assuming they're more qualified at major maritime salvage than actual experts.
Another benefit of fake commuting: it gives you time to become fully active and alert before the morning meetings.
Well, on the bright side once we free it with this incredible contraption then we've also solved all of humanity's power needs for a few more centuries. :)
sysadmin version of setting the clock 5 mins ahead?
Or with crabs, potc style! /s
Paraphrasing from a tweet that I saw a while ago: "You don't miss Google Reader. You miss your life as it was when you used Google Reader. You miss being young".
I'm not even sure how to explain why I would expect technology from the past to be worse than technology from the present. But yeah, I do expect that.
I feel like this whole thing is a perfect metaphor for the current US government
So you are complaining that on a startup forum people are trying to solve billion dollar questions?

Besides, billion dollar companies often miss things. Yes, they have the more relevant experts and much better data than we, but they have to content with internal and external politics and have fewer people throwing around ideas. Sometimes the answer is to "why haven't you done X" is simply "nobody with a voice to be heard had that idea". If billion dollar companies were the infallible giants you make them out to be then startups straight up couldn't work.
Make it more light-weight and do it without needing a foreign binary. If your elisp program needs to offload some computations to a background thread, you don't want to make a binary specifically for it - it would destroy the flexibility and portability of otherwise perfectly fine elisp code.
And to be able to use Rosetta 2 I only have to spend the combined value of all my computers again? Double that if I want the same amount of RAM and storage as I have now
Okay, that is hilarious.

I use some scripts that monitor disk space, and monitor disk usages by "subsystem" (logs, mail, services, etc) using Nagios. And as DevOps Borat says, "Disk not full unless Nagios say 'Disk is full'" :_) Although long before it is full it starts warning me.

It doesn't go off very much, but it did when I had a bunch of attacks on my web server that started core dumping and that filled up disk reasonably quickly.

Back in the day we actually put different things in different partitions so that we could partition failures but that seems out of favor with a lot of the distros these days.
Apparently, the ship drew a giant penis before getting stuck:
https://nypost.com/2021/03/24/cargo-ship-drew-penis-before-g...
There's obviously a lot more going on than "a single backhoe". The articles says "it will take a combination of dredging, tugging and removing weight from the ship to free it", all of which is being actively worked on.

> However it's hard to understand why it wasn't easily fixed.

This feels like the type of comments you read when a major internet service goes down. As if resolving a major problem is just a matter of going into the basement and flipping the server on and off.

Problems are always more complicated than they look from the outside, and there's almost always a good reason it wasn't "easily fixed".
> Is Prince's legal name [Insert Symbol Here], or is it 'The Artist Formerly Known as Prince'?

He never changed his legal name, only his stage name.

Governments won't let you legally change your name to just anything. If the computer systems they use to generate drivers licenses and passports can't accept your new name, you can't have it. While the rules vary from jurisdiction to jurisdiction, very often, bureaucrats and/or judges have to review and approve your new name, and they will reject names that are unpronounceable, cannot be written in the standard alphabet, are offensive, or are just plain too weird. English-speaking countries generally speaking are relatively liberal on choosing names; some European countries are much more restrictive, even telling parents "you can't name your child that because it is not on our list of approved names".

Actually, some states here in Australia ban the use of "Prince" as a name (e.g [0]). That's because it is considered a royal title, not a name. So if Prince had been born in Australia (Prince was not just a stage name, it was his legal first name) he could never have been called that. However, although you can't legally call your child that, it still can be your legal name if you immigrate from a jurisdiction in which that name is allowed. (Interesting hypothetical: what if Prince had moved to Australia and had a son that he wanted to call Prince Jr? Probably the bureaucracy would have denied it, but you can appeal to the courts, and there's a chance the courts might decide it would be legitimate to make an exception in such a case.)

[0] https://www.bdm.vic.gov.au/births/naming-your-child/naming-r...
I've never had sudo break on my full disks. However, that doesn't mean recovery is easy...

Working in a terminal to find out what on earth has just filled up your disk is a real pain when your shell complains about failing to write to your $HISTFILE and such. And, of course, the problem always shows up on that one server that doesn't have ncdu installed...

I'm sure sudo can theoretically break with 0 free disk space, but that's not the usual mode of failure in my experience. At most sudo need to touch a dotfile or two, so deleting _any_ temporary file or old log archive will do for it to recover.

The balloon file is not a bad idea. I think I will apply it on my own servers just for good measure, although 8GiB is a bit much for my tastes.
well lets just dig out the old mothballed project plowshare out of the coldwar toolbox and see what we can do.

https://en.wikipedia.org/wiki/Project_Plowshare
Ideally at least the integration tests are interchangeable between implementations of the same thing.
The canal is a minimum of 80 feet deep and over 254 feet wide (a lot wider actually, 254ft is the max boat beam it can handle). It's a little bigger of an issue than dropping some telephone-pole sized rods into the canal.

It's one of the most highly trafficked canals in the world, I'm certain if the solution was this simple they would already be doing it.
I said "threading" as a catch-all term. Whatever makes Emacs able to fully utilize multiple cores of a CPU would work.
OT: is it a given that the person responsible (the captain?) will be fired once this is over? Can the org running the Suez Canal deny entry to vessels by black listing the captain?
My non-techie wife just said to me, "We need to NFT this situation somehow."

She's been down that rabbit hole ever since reading about the Beeple piece.
Besides runaway log files that aren't being properly rotated, human error can cause it too. I managed to completely eat up the disk space of one of our staging servers a few weeks ago trying to tar up a directory so I could work on it locally. Didn't realize the directory was 31GB and we only had 25GB of space. By the time the notification for 80% usage was triggered (no more than 2 minutes after we hit 80%), the entire disk was full. Luckily it was just a staging server and no real harm was done, but such a mistake could have just as easily been made on a production server. In this case, the obvious solution is to just delete the file you were creating but if you're running a more complicated process that is generating logs and many files, it may not be so easy and this 8GB empty file might be useful after you cancel the process.
A big part of this has to do with zoning laws. In Japan, zoning is largely done by gauging the externalities produced (e.g. noise, pollution, foot traffic, building height, etc), whereas in the US, zoning is largely done by function (housing, commercial, industrial, etc).

So in Japan, you have many neighborhoods that have a house beside a tea shop beside a tailor beside house. In the US, it is very rare to find such mixes.
They released a post saying they had a script set up to autoremove any mention of her current name, which often came with a ban.
When people make it about other people and or fail to prioritize common good matters, there is no common good, and it is all about "those other people."

A few thoughts:

Your enemies benefit from Free Software, same as you do.

"Those other people" need to feed their kids, same as anyone does.

Even bigots need to see the doctor.

Assholes need clean water, same as anyone does.

We may be the asshole. In many cases, it depends on who is looking.

We may need to deal with software on a machine we own.

We may need to see the doctor.

Finally, say someone says or does bad, vile, unacceptable things.

There needs to be consequences, yes? I think so.

What incentive do they have to improve, make better choices when those things essentially have no end?

Like I said, food for thought.
With that perspective, what are your thoughts on the modern ecosystem?
Sheet-pile coffer dams are a solved problem, but it would take a good amount of time to drive all the piles. Not to mention that removing them again afterwards is not a speedy process, either.
Daemon by Daniel Suarez.
You're assuming that the helicopters approach simultaneously instead of staggering themselves out.
Cancel Culture as a Service may be a new kind of troll that one can cheaply buy to harm adversaries. It would explain some of these attacks as at least malicious instead of hysterical.
Window registry issues have been a thing.

I have heard it is to do with how windows antivirus works.
Since the registry is like 10,000 seperate files.
It chokes on them.

I have heard there is an upcoming feature to allow the package manager to work with the registry being kept inside a tarball, which is specifically being added to deal with this
The original source:

https://www.youtube.com/watch?v=yPuaSY0cMK8
I have been coding for a long time and I believe more and more that you can put as much science in as you want. But in the end these things are highly subjective. Some people like it one way, some the other way. And in the end you can get used to almost anything once you have been doing it for a while.

I wouldn't mind if languages left no freedom for formatting and enforced a style. People would get used to it and a lot of ultimately fruitless discussions wouldn't happen.
This: https://imgur.com/a/QXX1ePL
Except none of that refutes the fact that changing history is lying irrespective of the motivation behind the change. You can rephrase it however your sensibilities like, it won’t change that fact.
Me too: I am unpleased by forced sign-up before I've had chance to try the thing I'm signing up for, so I didn't get beyond browsing demos. Some of them did look nice, but nah.
To make my point more clear: It's not condescension that they're unable to find a second backhoe. I 100% believe that the people solving this problem are doing a way better job than my armchair analysis can provide.

What I'm finding interesting about this story is the juxtaposition of how easy it is to understand the problem, but how far from the apparent response the "why don't they just...?" questions are. It seems to be a good recipe for becoming a viral news story ripe for repeated updates.
I've actually seen literal quotes before, e.g. a question like:

"Why don't you just" get a bunch of people on rafts and row real fast to push it off?
This is such a weird meme to me. In what way is the thing you described at all "increasingly obvious"? We see this kind of statement all the time, but almost never accompanied by any sort of actual rationale for it.
ASCII characters leave the free domain
Charles L. Webster and Company (2017)
It is costing much more than that to shipping companies and the broader industry. If that is an option, I am sure they’ll find the money. That probably would take much longer than un-sticking the ship, assuming this is possible.
Oh man, I didn't know about VACCUM INTO, thanks!
This is stupid. Just don't make your servers use up all space. That's why ext can reserve space for root, 5% by default.
Seems like implicit undocumented barriers could be used in critical code to provide unfair performance advantage. Maybe. Might be a bit of a stretch.
In the middle parts of the ship it is probably not grounded, so you might have ropes below the hull with large inflatable balloons on both sides below water level, to give the ship extra lift. Then on a high tide, with oil & water removed, maybe some dredging on the sides where it needs to rotate to, and.. go!
$ youtube-dl $url
$ youtube-dl --extract-audio $url

https://youtube-dl.org/
ICBMs won't do it, we need something stronger.

I cannot find how much ship weights itself, but deadweight tonnage which is about 200000t. Let's assume 300000t. Thrust of Saturn V S-IC stage is 3300t, with diameter of 10m, empty mass of 130t and 2150t of propellant for 150s burn time. It would need nearly 300 fully fuelled S-IC stages to lift it! Which is a bit too much, as with 400x60m ship area we can only fit about 240 stages. But as we're definitely not going into orbit anyway we can reduce propellant amount for shorter burn time. Cutting propellant by half reducing burn time to 75s we only need around 143 stages, fitting on ship with room to spare.

So in that regard it is doable. But there's problem of what to do with all the exhaust, as rockets obviously aren't designed for pulling load attached to the bottom...
If you had something with a lot of traffic logging TLS issues I wonder if you would see noise from packets corrupted by hardware that were not caught by the TCP checksum. That or some low, interesting number of users with very badly misconfigured peers, where it's not your responsibility to fix.

I can't recall the exact details. But i remember once logging crypto failures on a high usage app, and it seemed noisy for something like that. Similarly to collecting logs for i/o failures in the field, if you have legit bugs they are often drowned out by issues caused by bad disks.
I'm kind of curious whether Apple aren't documenting M1 because they can't be bothered, can't (not organized enough yet), or because it's their toy not ours.
Same. It's super easy to know when I am communicating in good faith, but it's not so trivial to know when you are.

You know those scenes in the movies where two characters circle around each other giving the side eye like "so are you fucking with me or are we cool?"

Twitter in particular feels like a whole site of people doing that. :)
I understand this is all not realistic, but since we're just spitballing here, before I realized how many containers we're even talking about here, I had rather wondered if lifting off a lesser number of containers in the right place would be exactly right to shift the weight/balance for the ship to get unstuck.
Maybe the litmus test is does the object linked to the NFT have real world value without the NFT. If you wouldn’t pay for the item without an NFT, then perhaps it’s not legit.
I do think having lines around 80 characters makes it more fluent to read code. It is not about saving keystrokes or to be able to do split screen even on smaller screens.

But what has worked better for me is to have it as a soft not a hard rule. Better to have some lines go over a bit than having awkward breaks that make it harder to read
I have worked on code bases where they followed the 20 line per method rule religiously. It resulted often in artificially broken up functions that were way harder to read than one big function. I would call it "small function spaghetti code".
Of course the application is running as root, duh.
I disagree that this represents any kind of "cancel culture". Leaders have always had an outsized scrutiny placed on them to represent their organizations. If it is moreso now, good.

The things RMS said reflect in the least moral incompetence (more likely) and possibly serious character issues (less likely).

I would not want to work for someone who believed as an adult that pedophilia was not harmful if voluntary. I am glad he has subsequently learned better since, but I believe a level of ignorance that great disqualifies a person from leadership.

I would not want to work for someone who believed that Marvin Minsky was credulous enough to think that a young woman, presented to him for sex by a billionaire, was somehow a willing and consenting participant. Marvin Minsky was not stupid.

CEOs get fired for sleeping with prostitutes. CEOs get fired for saying gross or offensive things (when they're caught). This happens all the time. Expecting leaders to act like leaders so that their employees are comfortable working for them is not a new thing, and it is a good thing.

It was not "cancel culture" when Bill Clinton was impeached for sleeping with an employee, it was a good thing (and I was otherwise a Clinton supporter). Leaders need to be held to the highest standards of behavior.

RMS is not fit to lead anything, and FSF was mistaken to rehire him.
A friend of mine used to say stuff like “We should sterilize racists” and “We should execute all racists” stuff like that. I asked him once if he thought that would be a greater harm than the racism caused and he said he hadn’t thought about it but thought it would still be better off, even if it meant killing 20% of the population.

I think people have good intentions-ending racism- but aren’t really thinking systematically on how to actually do it.
Let me call moses, hold on.
the idea hasn't passed - its just not the right circumstances for it to flourish, see for example RMS, the Jesus of Free Software, the one who gives his life for it, the one who is basically being crucified by some people. I see stark similarities.
If the bank is very shallow and mostly sand, maybe instead of building a damn all around the ship it would be easier to just dredge a new passage that goes around the stuck ship. After all the real problem isn't that the ship is run aground, it's that the canal is blocked for everyone else.
Well, AWS kinda has made it so that almost every millisecond of CPU time (or other resources) is considered billable. While in the olden days you could run some scripts in some unused corner of a server for "free", with clouds that is less likely.
I can imagine that when sharing a text editor, each user really wants their own cursor, so both can type together and not make gibberish...

And then you start looking towards a google-docs like model...
> whose type signature has start and end state

As do the reducers. For example the following is a valid type signature.

function onToOff(initialState: "on", transition: "toggle"): "off"

In each of the if clauses those are what the types are inferred as, exactly equivalent in type safety to the classes (and more flexible because you can dispatch on action).

I chose string for simplicity (string literals happen to be distinct types on their own, I could easily use anything else other than strings, e.g. interfaces). Heck it could just be integers and be even simpler.
Do they have deadlines for delivery and late fees? I’ve heard a quarter of the worldwide cargo capacity will be delayed by this event, this could rise very fast.
I also see it as the marker for the turning point from "Google embraces the open web and web standards" to "Google likes proprietary walled gardens now". Google got a lot of early good will from that first stance, and if "proprietary walled garden" wasn't necessarily "evil" from the perspective of that early Google's messaging (obviously its search infrastructure and "Page Rank" still implied a lot of proprietary secrets), it certainly seemed like the slippery slope towards evil in the "extinguish" part of the triple-E "bad guy mentality" most often referenced when talking about 90s Microsoft.

Google Reader was built top to bottom on RSS and OPML (and Atom), which were open web standards. You could import an RSS feed from just about anywhere and read in in Reader. You could export your list of feeds back out as OPML which a bunch of other readers supported. Google+ was much more a walled garden with proprietary everything.

It happened in other areas too, such as Google moving away from the XMPP/Jabber-standardized (and federated!) Talk system to ones entirely proprietary. Wave was announced and designed to be XMPP-backed and federated as well. It seems like Wave died as much because they wanted to lock that down too. You can't just subscribe to Google Docs as a federated XMPP user and run a custom Google Docs frontend, Google Docs is just another proprietary walled garden now.
Well, a screwdriver doesn't require a lot of effort or understanding :) just a little bit
This comment gives me serious Dunning-Kruger vibes.
Court rules Uber and Lyft must face worker-misclassification lawsuit
I'm cranky about the settings app as it stands right now
It reads like a 1st of April Joke, if this would be true then should.work is part of the problem, not the solution.
The ship is named “Ever Given”, but the huge text on the side says “EVERGREEN”, which is confusingly similar. Does anyone know why?
Women Coats for Sale
Exactly. Human cells are living units in themselves, and so will continue to function for a while after the death of the organism. It doesn't mean that this activity has a "purpose" (to the degree that we can say any biological activity has a "purpose", which is to say only metaphorically).