skysight-inc/HackerNews huggingface dataset:
Don't earthquakes cause liquefaction? Any possibility that you could introduce enough energy (possibly sound) in the correct frequency to make the sand act liquid enough that you could rotate the ship until it is free?
It has! Search for "2020-12-01 (3.34.0)" here: https://www.sqlite.org/draft/changes.html

The 3.35 release added more good stuff for CTEs, as well as a RETURNING clause and a much more flexible UPSERT.
That's about how it breaks down for me, too. And that's even considering how many companies seem go out of their way to make their mobile web experience terrible in comparison to their native apps — here's looking at you, Reddit.
The architecture looks fairly different than Transmeta's architecture to me although the purported multiple ISA user feature is similar.

They presented some high level stuff at ISC 2020.
https://www.tachyum.com/assets/img/Tachyum_20ISC20.pdf

The image on slide 7 looks almost exactly like this design (including the 8x8 core matrix)

https://en.wikipedia.org/wiki/TILE64

Which targeted the same market. The problem is, this is actually a pretty hard architecture to program for.
The description of the 2016 DAO event isn't entirely accurate. Given the huge sums involved ($18 billion at current prices), hopefully the real story will be reported one day.
Firefox says: Warning: Potential Security Risk Ahead
And some that are doable will not be safe enough.
You get the addition and subtraction for free, but you have to upgrade via in app purchase for multiplication or division. It makes sense because those are advanced features the average user wouldn’t need anyway.
It’s not bigotry, but rather just common sense. We have spaces for women for a reason, and it’s predicated on their biology, not arbitrary self-identification. Everyone has a right to discuss their views on this openly, without being subject to 1984-style authoritarian censorship from the mob. And that’s why Substack should allow these authors to write, without being subject to moderation (AKA censorship).

As for your casual use of the word “bigotry” - you’re using that label to attack my argument without actually saying anything substantial. In my view letting women’s sports be damaged in this manner is the real bigotry. We may disagree on that - so let’s both be allowed to discuss it online on Substack, in social media, and elsewhere without being subject to cancellation.
What about using a really, really long lever?
You're doing it wrong. The actual documentation is all in the WWDC videos... just better hope it covers the section you're concerned about!
Discussions like these are why I love HN. Sorry for non-constructive response, but this time I just had to say it. Great laugh.
Completely fair. It's just that some of us got obsessed with minimalism lately. With the mind-boggling power of the computers today it pays off to be able to make stuff small and still very functional.

But not wanting to get out of your comfort zone is a completely valid stance to take. We do this for money after all.
The pressure on the hypothetical levee wouldn't be much since we're only talking about a couple dozen feet of water depth. (Yes, some jerk is going to come along and calculate out that that's an impressive amount of total force and act like that's a big deal but it's not really that impressive when you've got a huge amount of material to spread it out over).

Digging out around the ship is going to be much less work because of the amount of material you'll need to move and how far you'll need to move it.
I became a software engineer because my computer wasn't good enough to run Diablo II so I used the time to learn how to create websites.
Would I try get a job in Google if it was the same salary as my current job and the interview was 'normal'? Yes.

Would I try get a job there if the salary was the same, or even more, than my current job but the interview process is how it is? Nope.
I imagine it looks better at discovery time to say 'oh sorry we lost these emails because we ran out of disk space' rather than 'we deleted them because we didn't want you to read them'.
Yes, it's a holy temple of science. It's pretty much on a straight path from the michelson experiment.
I know that boat is huge and that excavator is probably bigger than it looks, but why haven't they sent for a larger one or at least a second one? Seems like two operators should be able to coordinate there just fine.
Three months is a long time! I've never understood who 'summers' somewhere and how. You have to have enough money to go spend 3 months somewhere expensive, yet don't you also need to work a ton in order to do that (which would also include the summer)? It's a common enough expression that it can't just be only retired people who do that...
They don't miss Reader, they miss college
Ah, those were the days... few people really cared about web security back then and Perl allowed you to get really creative :). https://seclists.org/bugtraq/1997/Jun/67 or my favorite https://insecure.org/sploits/glimps.http.badchars.html .
Can someone here run the numbers on coating the whole thing in a half inch of peanut butter and unleashing an army of hungry squirrels to eat their way through? I’m not saying it’s the perfect solution, but it’s the best shot we’ve got.
I guess it's pretty complicated, but if it were less stuck, I wonder if they could use the anchors to winch it out of the tricky spot it's in. Use a tug to drop one on the other side of the canal, then pull it in to move the boat sideways.
Any volunteer pedo guys about to help?
The GNU Manifesto, at age 18.

I had just encountered the internet for the first time, after coding every day for 6-7 years with the help of a few books and magazines, but having no idea there was a large electronic community out there. Nobody told me about the internet!

Then I found the GNU Manifesto as I was exploring GNU Emacs, and it changed my life.

I know it sounds strange now, 30 years later, but that was the first time I was really exposed to the idea of putting in significant work to help other people, backed by a persuasive argument. Doing something not just to learn, but to give away and design for other people's benefit. The way it was put in the GNU Manifesto felt empowering and inspiring.

It's informed how I've treated people for decades since.

(My thinking has evolved a lot since, and there have been other inspiring books, but that was a significant and memorable shift.)
8m36s This is exactly what we see as well at OrgPad.com Instead of writing long text where you have to think about form to structure your thoughts linearly, OrgPad lets people just write those thoughts down in little cells or bubbles and connect them freely. We let people include pictures, videos, other websites (like Google Maps, Google Calendar, Wikipedia a document from Google Docs, other OrgPages etc.) and files into such cells. The way such a document is structured already conveys so much subtle hints about the topic and the person writing about it. If used frankly and deeply, OrgPad can be like a mirror to ones mind as the tool is simple and out of the way letting you work, think, enjoy. Listening to Steve Jobs even when he was quite young is very much resonating with us because he valued simplicity, creativity and wanted to empower individuals to do great things.

We are also influenced greatly by Rich Hickey and Clojure/ ClojureScript that we use to write OrgPad. Thanks to mostly my colleague Pavel Klavík, we have some quite smart things in our code base. Some of those will go live in the next few days such as physical animations using differential equations calculated live in JS and written as CSS transform or SVG animate for greater efficiency. Everybody else either uses simulation and rewrites the position each frame (if they don't miss it) or just use linear animations that are frankly not very pretty. We are also writing our own collaborative rich text editor that should be ready to ship sometime at the end of summer. It will be similarly sophisticated as Google Writer/ Sheets where it makes sense and much simpler at that. We have the advantage, that OrgPad is much more about the content and connections between ideas and not at all about printing to paper or following established norms. Therefore, it is much more useful in the current digital world.
What supply chains will most be impacted by this if it stretches to weeks?
Containers are 1 or 2 TEUs, although doubles are more common for long distance, so you're probably looking at 10,000-ish containers.
Fair. Now that I'm having surgery in 3 weeks, and spending a lot of time in doctor's offices, I'm kinda wishing I had already gotten it. I guess there's still time for J&J, but not a multi-dose, not when avoiding 1 week before or after surgery timeframes.
There's no better ambassador for the free software movement than RMS, full stop. It's pretty much his idea in the first place, and he's been by far the most consistent in his advocacy for it, even as he has changed his mind on lots of unrelated things (including wrt. minors' autonony, minors' rights and how to best protect minors from potential harm to their rights). It's mind-boggling and hardly believable to me that people would fail to grok this point.
> a few lorry loads on the edge they are trying to pull

My intuition is that at the scale of ship, and the canal, “a few lorry loads” is not going to have any noticeable effect.
One of the camps are members of the open source movement (developers, promoters and satisfied users) and the other comes from corporations trying to co-opt the term and its good reputation.

It's not really a "everyone has a right to an opinion" type of situation.

You can go on and support the dilution of the term, just remember when the software development culture has another turn to the worst, you had been a part of the problem.
Interesting, I find it surprising there isn't a widely used service with this functionality.
"Hi. Today (or whatever day you are reading this, even tomorrow), I'm going to tell you about concurrent Erlang. Chances are you've read about or dealt with concurrency before. A fat guy at the computerYou might also be curious about the emergence of multi-core programming. Anyway, the probabilities are high that you're reading this book because of all this talk about concurrency going on these days.

A warning though; this chapter is mostly theoric. If you have a headache, a distaste for programming language history or just want to program, you might be better off skipping to the end of the chapter or skip to the next one (where more practical knowledge is shown.)

I've already explained in the book's intro that Erlang's concurrency was based on message passing and the actor model, with the example of people communicating with nothing but letters. I'll explain it more in details again later, but first of all, I believe it is important to define the difference between concurrency and parallelism."
Good read, thanks for sharing. It’s quite remarkable how we still use the same concepts today almost 30 years after it was invented. Modern web apps are ‘just’ text boxes over databases with logic in between to serialise it over the network in a request / response driven manner (using string-based key/value pairs). Today there’s a stack of JavaScript on top of it but it basically still boils down to the same principles.
Refactoring a larger function into a group of small ones doesn't come for free. Even though it might often be a good idea, when it's not done with care it can confuse, not clarify. It comes down to a matter of judgment of the whole and deliberate expression. That's contextual, not absolute.

With that said, I somewhat agree with the spirit of what you are saying. I tend to lean in the direction of smaller methods when possible because they often make things more readable and more explicit.
That's pretty uncharitable. When I saw that little backhoe in front of the building-sized keel, I laughed out loud. But I know it's the best they had at the moment, and I'm sure they have more backhoes on the way.

I read the parent comment as that sort of laughable, not in the derisive sense.
Yes! I remember when they started building around the ÉTS (Griffintown?) There was no life there, just a sea of condos with no services. Verdun was a much more lively place.
BOOLEAN in SQLITE is spelled `flag INTEGER NOT NULL CHECK (flag = 0 or flag = 1)`.

Less than ideal, sure. But typing is there when you want to reach for it.
How do you destroy a 1300 ft ship with 20k+ TEUs of cargo on it? How do you then clean all of the debris out of a pretty narrow and shallow canal so that other ships can go through again?

I can't imagine that being a very quick thing to do.
I would not say that it is acknowledged as a mistake. Sqlite originally comes from Tcl world and thus it is somewhat natural that it follows Tcl's stringly-typed object model.
People act like BLM asked for the corporate shilling. They asked for police reform. Corporations saw a chance to sell a little bit of virtue signal to Middle America.
Why are you calling it “lying”? That’s a framing with a value judgement that is accusing people who rebase of being malicious. Do you believe use of rebase is malicious?

Who are you lying to, if the other people on your team expect your merges to be rebased before you push?

What history is being lied about, if no one every saw if before it was pushed, and it is never rebased after being pushed?

Rebase is not intending to trick someone, it is not concealing a truth that needs to be otherwise preserved. Rebase is not hiding something that should not be hidden. Rebase is for cleanup and fixing mistakes.

Please stop using inappropriate words. It’s completely fine to preserve your messy edit history. It’s completely fine to want to preserve your mess. But it is not “lying” to clean it up before you push.

It’s funny you suggest I’m rephrasing it, when you are the one using different (negative) language than the git manual.
> Well, sure, if your start with those premises, then I'm not surprised that you reach the conclusion that the goal is unachievable.

I didn't say unachievable. I said costly.

> First of all, if constructing a formal specification for PKIX is not possible, then that should be telling you that it either needs to be simplified, better specified or scrapped altogether for something better (the latter would require an extremely large transition period, I'm imagining, so the first two are much preferred in this situation).

https://xkcd.com/927/

The specs for the new thing would basically have to be written in Coq or similar. Even if you try real hard to keep it small and not make the... many mistakes made in PKIX's history... it would still be huge. And it would be even less accessible than PKIX already is.

> For example, you could verify that your function that verifies a CA certificate, when passed the STRICT flag, is really more strict than when not passed the STRICT flag.

That's just an argument for better testing. That's not implementation verification.

> This would eliminate the first bug in this security advisory and all other similar bugs in the same function call-chain.

Only if you thought to write that test to begin with. Writing a test for everything is... not really possible. SQLite3, one of the most tested codebases in the world, has a private testsuite that gets 100% branch coverage, and even that is not the same as testing every possible combination of branches.

> BTW, what I just said is really easy to specify, and I'm guessing it's also very easy to prove, since I'm guessing that the strict checks are just additional checks, while the normal checks are shared between the two verification modes.

It's not. The reason the strictness flag was added was that OpenSSL was historically less strict than the spec demanded. It turns out that when you're dealing with more than 30 years of history, you get kinks in the works. It wouldn't be different for whatever thing replaces PKIX.

> I think the problem is also that OpenSSL devs, like the vast majority of devs, probably have no desire/intention/motivation/ability to do formal verification, otherwise you could even do this in the OpenSSL code base itself [...]

You must be very popular at parties.

> I'm also guessing that your budget estimate is an exaggeration since miTLS and EverCrypt, [...]

Looking at miTLS, it only claims to be an implementation of TLS, not PKIX. Not surprising. EverCrypt is a cryptography library, not a PKIX library.
> Again the infrastructure to do this rapidly doesn't exist.

The UAE used several sand-vacuuming ships to build their artificial islands, wouldn't those do the job?
Tesla has to tell Elon Musk to delete a 2018 tweet, labor board rules
Very nice work! Thank you for sharing.
"Data structure and functions should not be bound together": not if you don't want that, but often you do, to avoid constantly asking the question "where's the code that messes with this data?".

"Everything has to be an object": obviously bad, but also not the case in most OO languages. So...bogus objection.

"In an OOPL data type definitions are spread out all over the place": Huh? This one is made up. You can put all your <whatever> in one place if you want to.

"Objects have private state": this is a feature not a bug. Exhibit A: JavaScript.
How Peloton Could Die, and Tonal as the Next Fitness Unicorn
It's still easier to dislodge a giant ship in one piece than it is to remove one giant ship's worth of random metal shrapnel from a narrow, shallow canal.
Which citizen and insult will he come up with next
This is correct. There were videos of people walking around in the streets and then just suddenly falling over dead.
Also, today I was reminded that web still does not handle justified text well, which can already be a challenge to read when properly and thoughtfully typeset.
Hydrogen is cheap; That's only about $42M at today's prices.

If it wasn't clear the whole "lift it with a balloon" thing was a joke though
If this had gotten stuck in 1960s Russia they would have done that already.
I've wondered if they could use explosives to dig it out
...or 24h * 7d * 2w * 400 million = 134 billion USD.

Sounds like a lot of money, if GP's right?
They've been around for hundreds (thousands?) of years.

https://en.wikipedia.org/wiki/Pagoda
Impact on oil should be massive I think. That canal supplies most of the oil to Europe.
in ruby everything is an object. Of all the things people complain about about ruby, I don't think that's one of them, I don't see how it's a problem.
> Why do they need to editorialize to survive?

Can you name any company that did not editorialize and was not shut down / forced to close etc?

Amazon is books, substack is media, and it wants to potentially replace newspapers, all of them
stx_new allocates the string, per the readme.

My point is that the readme example is misleading, as the two code samples are not equivalent.
Unfortunately, the article did not have what I think is the best Joe Armstrong quote on OOP.

Here it is as quoted in:

https://www.johndcook.com/blog/2011/07/19/you-wanted-banana/

>I think the lack of reusability comes in object-oriented languages, not functional languages. Because the problem with object-oriented languages is they’ve got all this implicit environment that they carry around with them. You wanted a banana but what you got was a gorilla holding the banana and the entire jungle.
What is inaccurate about it?
GPS Spoofing – Ghost Ships Circling Off California
> centuries ago

The last residential school wasn't shutdown until the mid 1990s.
I imagine the logistics of shipping the excavator is a project in itself. They may have done so, but it would certainly take time to arrive. And equipment like that is likely shipped via a boat...
Are you trying to say that your pain is better than my pain?

My pain doesn't compare in a substantial way?

> You just can not compare the removal of reproduction, the imprisonment of a minority, and the victimizing of things people can not control to the act of voluntarily smoking or ingesting of any chemical.

People with chronic disease cannot choose to not have it. Just like people cannot choose their sexuality.

This medicine brings relief at a level no other medicine can. Just like straight sex does not give the same pleasure.

Are you implying that people who medicate do it, I don't know, for fun? That's an enormous display of ignorance and proves my point.

I think you should educate yourself about the so called war on drugs, how many lives it claimed, how many lives it ruined and how it must be for a person with chronic illness to obtain medication from gangs, being robbed, beaten, how it is to be in constant hiding, not being able to talk about it with anyone, living with fear of losing job and so on.

The medical use only recently has become legal and is only available on expensive private prescription.
Ask HN: How do you leave a job?
I've worked in the same job for 10 years. It always seems like I have a few tracks of work ongoing at the same time. Some of them I prefer more than others and some are closer to completion than others. Some might be new pieces of work that are just starting and could turn out to be interesting (but not always).

When I consider looking at other jobs, I always find myself thinking it's not the right time to leave. Other people seem to move jobs a lot more than me.

Do people generally just abandon the work in progress that they're doing or do they finish it out?
Can other ships just take the long away around? Obviously that would suck but it’s got to be faster than weeks right?
Sort of like blowing up a dead, beached whale? :)
p.s. if that doesn't ring a bell with you: https://www.youtube.com/watch?v=V6CLumsir34
> There's no better ambassador for the free software movement than RMS, full stop.

I disagree.

RMS is (much like Joseph Ratzinger, for a different religious movement) much better as a chief theologian, theorist of doctrine, and internal enforcer of and exhortationist to doctrinal purity within the Church than an ambassador or evangelist to those not already deeply committed.
If would be a very long diversion. The turning radius of large ships is, well, astronomical, we're talking miles.

The canal itself is MASSIVE - 79ft deep and 700ft wide - and if you're turning you'd need to be wider still. We're talking about removing absolutely massive amounts of material.
I found JS to be one of the better OO implementations in the wild. All these OO additions since ES2015 felt like a step back to me.
I've sailed the Suez canal on a cargo ship. No wonder the Ever Given got stuck
"In computer architecture, Amdahl's law (or Amdahl's argument[1]) is a formula which gives the theoretical speedup in latency of the execution of a task at fixed workload that can be expected of a system whose resources are improved. It is named after computer scientist Gene Amdahl, and was presented at the AFIPS Spring Joint Computer Conference in 1967."
Thanks for sharing your story. I use credit card as a charge card paying it off each month. So never had experience such as yours. The reason for use a credit card is to have someone between my checking account and the merchant.
> you assume that I support all the exaggerated points above (none of them mine)

Because you have never admitted censorship of Winnie the Pooh happened on Chinese social media. You kept questioning many of the evidence I provided (“if one can only read english sources it might be a little biased IMHO”, “I can not verify your claim since I don't play Kingdom Hearts”), or dismissing evidence as “trivia”.

I don’t know if you agree that censorship of Winnie the Pooh actually happened. So I had to keep Googling for alternative sources for you. You need to point out whether you agree with the key points in the above articles, or provide solid counter evidence (with sources).

Until then, there is no way to move the discussion forward.

BTW, more censorship news: https://game.udn.com/game/story/12982/5338115