skysight-inc/HackerNews huggingface dataset:
The problem with this article's name is that we're in an era where actually checking whether "nearly all sorts are broken" against all publicly available implementations of binary searches would be almost feasible, but that's not actually what the article is claiming.

> Moreover, to be really certain that a program is correct, you have to test it for all possible input values, but this is seldom feasible.

This is incorrect. Generally it's just a little excessive to try to solve the halting problem in a library's unit tests ;). You don't have to test a program for all possible inputs, only for all materially unique state transitions. In a binary search, each variable can be zero, one, some(*), max, overflowed. The combination of these is not infinite as the values of some that cause different behavior is much more reasonable when grouped into chunks of the same behavior.
I sort of don't want to get into specific moderation examples, especially with Covid, because so many aspects of Covid are contentious. I'd just point out that this example has nothing to do with third party fact checkers, it was direct influence from a government on Meta; that can and will still happen even with Zuckerberg's policy changes. In fact I'd argue it will be even more likely now. If Meta had a robust policy on fact checking and removal of harmful content, that would be a weapon to push back on government interference.

It's also not necessary for third party fact checking to "always work" to have value, there will be some level of false positive rate that's still acceptable. Even with something like Covid, there is unambiguously false information with probably harmful consequences ("you can cure Covid by drinking a bottle of bleach", for example) that would be worth taking down by fact checkers.
Obligatory SMBC: https://www.smbc-comics.com/comic/2009-08-30
> the UX is just so obtuse and pricing unpredictable

Could you explain that in a bit more detail ?
I used both OVH, Google Cloud and NFS to host small websites. With OVH and Google, even for small things like setting up DNS I’d get lost in a hellish kafkian maze of help pages, wheras the NFS FAQ is the best one I’ve see. I have yet to find an issue it doesn’t cover. Pricing-wise, I’ve found it pretty transparent, and overall, dirt-cheap.
> ICBMs are not meant to go East or West, they go over the pole

Yes and No.

Most effective trajectory to reach Russia from US (or vice versa) is really over Arctic region.

But in USSR created ICBMs with capabilities to reach US over Antarctic region, and even semi-orbital ICBM R-36 orb (it is large and expensive and not in production now, but Russia have all drawings so could design modern remake).

And Israel created space rockets, which launched to west (usually space rockets, launched to east), because unfriendly countries on east side could make wrong considerations if Israel launch to east.

So, as I said, yes, most effective trajectory via North pole region, but years ago produced rockets, which could hit US from any direction.
My issue with the formal methods community is that it always tended to hand wave away the cost/benefit trade offs. It's not that they didnt see those trade offs (they constantly reiterated that they weren't suitable for every problem) - more that they saw it as someone else's problem to solve to decide which problem, when and why.

Im sure if somebody wrote a blog post that provided a sensemaking framework for WHEN formal methods are appropriate vs waste your time it would be popular.

I see hints of this all over the thread - e.g. some people seem to believe it works well for state machines (though I suspect they were nontrivial ones), but as a topic it rarely ever seems to be addressed head on. OP certainly doesnt.

I suspect this trope will reiterate again next year with "formal methods! useful! sometimes!". The community has been like this for decades.
About 10 years ago working with AST trees I (re)invented a flat structure representing trees in a flat array. It reminds me of what is described here but not exactly. In my case I needed only two indices per node: total sub-region length of all the children and sub-children and parent index (so no need to have indices of all children). Total sub-length basically can be interpreted as the index of the next sibling. With such a structure it's easy/cheap to execute FindFirstChild/FindNextSibling.

Later the theory behind such structures was revealed as "Nested set model" [1]. The article seems to not mention the internal representation, but I think that the implementation should use something like my solution, so fixed number of references per node

[1] https://en.wikipedia.org/wiki/Nested_set_model
The fallacy of gray?

https://www.greaterwrong.com/posts/dLJv2CoRCgeC2mPgj/the-fal...

> The Sophisticate: “The world isn’t black and white. No one does pure good or pure bad. It’s all gray. Therefore, no one is better than anyone else.”

> The Zetet: “Knowing only gray, you conclude that all grays are the same shade. You mock the simplicity of the two-color view, yet you replace it with a one-color view . . .”

> —Marc Stiegler, David’s Sling
I think a major part of this policy is that the hosting site does not want to (and does not want to be seen to) _profit_ from what they consider to be repugnant customers. It's not a bigotry offset policy: It's a self-modulation to preserve the integrity of their principles all the way to the end.
Spinning off Starlink into its own publicly traded company has been talked about for quite a while. I believe even Musk has mentioned it. If that were to happen, especially if Musk wasn't the majority shareholder and/or head of the company, his personal quirks would cease to matter. But you'd still have to be in the good graces of whoever happened to be in control of the United States at the time.
> There should be a name for the "nothing is perfect so everything is equally bad" fallacy. It's surprisingly common.

I think this falls under splitting (black-and-white thinking), a form of defense mechanism or (I suspect) mere rhetorical tool.

https://en.wikipedia.org/wiki/Black_and_white_thinking
I've been using emacs for over 10 years. Maybe close to 15. I can't get rid of it, because even for all its faults, I love it. I'm hopelessly stuck with it.

However, emacs is a fucking mess, and there is a reason "init.el bankruptcy" is a thing and why the most popular way to use emacs is through various frameworks such as doom or spacemacs.

In emacs, nearly everything can(and often does) mess with everything else. It is serious integration hell to actually get things to work together, and the work that goes into e.g. doom is basically all about managing that complexity through good abstractions and more rigid ways to configure and install things.

Emacs is also objectively dogshit in a lot of ways compared to most modern editors. LSP is ridiculously slow and a constant source of performance issues, many of which are probably directly related to emacs internals. Eglot seems to do better but it's a lot more limited(you can't use multiple language servers together, for example). Then there's things like the buffer being the data-structure for everything, which is sort of like modeling nearly everything as one long string. Things that would be trivial to do in most other languages or contexts are difficult and error-prone in emacs.
"People per house" is not a fixed number.
I think that's a pretty biased misrepresentation of the facts. Florida is denying children access to those books by actively forcing teachers to not talk about them (or educate kids about their content). Teachers in violation are at risk of being fired (several have been fired). Schools are being threatened with getting their funding cut. They are also forbidding libraries from having those books.

And of course, the list of books is getting pretty long and what's on that list is basically determined by a very small but vocal group of christian conservatives with uptight opinions on things like science, evolution, sexuality, and other things they insist are wrong/evil/dangerous.

So they are not technically banning anything. But they are punishing people that go against this nonetheless. Which makes it kind of a ban. It doesn't go as far as Nazi book burnings. But I have just about as much sympathy for the people that did as I have for those insisting e.g. Harry Potter must not be in a school library succeeding with that because the threats against teachers and schools are very real and these people wield a lot of power, apparently. Bullying teachers and librarians into complying with this seems to happen a lot in Florida. That's not banned at all and actively encouraged.

What's next Uncle Tom's Cabin? Oh wait that actually happened as well in some schools. Because these people also include some racists and xenophobes. You might call some of these people fascists even. And they just don't like being reminded of things like slavery.
Maybe its unfair pessimism, but I definitely believe that Kiwifarms (ex) is way more efficient at turning money into targeted hate than - say - the Trevor Project is at countering it.

I guess my sense is that if you actually want to counter this kind of harm, you have to do so on a fundamentally structural level, and the host in question is the structural enabler.
Actually a healthy person can regulate Na levels very good. There is a lot of debate if it is as bad as portrayed.
Yeah, this article seems to be measuring detentions, including short term holds (different than longterm commitments), but not unique by person. So it's detentions per population vs unique people detained per population. I assume there is a high recurrence rate.
No. Absolutely no. The kidneys take care of it pretty good.
They hope to offset some sort of imperative burden (presumably moral) of hosting onerous content by countermanding the effect of hosting that content with paired monetary support of its adversary. My consideration is that pairing effect there is extremely weak - maybe so weak that the policy is on net dubios.
My one-shot memory worsened with years but grasping concepts from examples got much better due to experience. So I find walls of text much less useful than a continuous “synopsis” of snippets and best practices. One usage example is worth a hundred of words and few pages of it may be worth a whole manual, especially when “at hand” through editor means. For bash idk if that exists on the internet, so I maintain my own in my one big text file. I wish every manual had the synopsis-only section (maybe I should just LLM these).
There are facts and history of course, just not on social networks. For people who call the shots - the elite and the intellectuals - things are just fine, but they don't spend days arguing with each other on Facebook.
What a time to be alive! Honestly though none of these products appeal to me at all. It’s like the thing without the thing that makes it enjoyable. Except air fryers since the foods do still have some fat naturally
Not really. Of course you tend to drink and sweat more, which contributes.
> Every Watt of energy that doesn't become torque at a rotational velocity is just heat.

Do you have any rough numbers to put on this? If there was 1000w of electrical power going to a wheel like this, what kind of heat loss are we talking? 5%, 10%, 30%?
But not standard VGA.
> My understanding is the only other country outside the US to have a connection at that point was Norway

I speak enough Norwegian to have gone around a few museums that tourists and other foreigners don't usually visit, and this is my understanding too.
You might find it helpful to print this handy cheat sheet!

https://www.cuttle.cards/img/cuttle_rules.pdf
I think this predates computers entirely.
And Na is absolutely vital, and depending on your diet, if you cut 100% of table salt you will get deprived of Na and Iodine
Here is one!

https://www.cuttle.cards/img/cuttle_rules.pdf
"the high you go" reinforces my initial assumption that this is self-filtering clickbait.
Sure I would.
Or maybe theres just less people from certain cultures that want to be a software developer.

Whats next, you want to force more white people to become developers because ethnic Indian devs are becoming too populous in the industry.

In my country most of the blacks are in London and so we have no black devs in our office. We arent going to go out and find some to hire.
I was reading something interesting on bike lanes recently.

A lot of cities have sold off parking concessions to investment funds, I believe Chicago is a classic example. Such deals often include huge penalties for parking spots going out of action, which can be for anything, including basic road repairs.

In this context, bike lanes are unthinkable, as the cities don't actually own the slots they'd be built on. Huge barrier to wider adoption.
I'm sorry, but this makes no sense.

Denmark has been a a big Ally of the US, including a military alliance. These words used to mean something, right?

Denmark has played ball with the USA over the years, so if the US wanted to invest in Greenland or set up military facilities, surely a few meetings and agreements would do the work.

This sounds more like about legacy, sadly in a typical imperialist way.

If a US elected leader is willing to take their allies land by force out of greed, that will be the beginning of the end.

In fact, just the fact that this conversation is happening out in the open signals the beginning of the end.

European countries need their nuclear deterrence and they need it ASAP.
Sequoia Backs Startup Giving Offshore Accounts to People in Unstable Economies
Oh shit I totally misread the policy - I interpreted "payments to such accounts" to mean donations etc. made through channels that the host supported. As written, it's not really an offset, and really just a way to wash hands, which honestly I probably support more.
Or using an OS which doesn’t ship ancient software. Linux exists. It’s pretty awesome.
Title needs updating with the year 2006
Yes, sure, I get the jokes. I just found it puzzling that someone would think it stopped.

And I don’t talk about work at parties anyway :)
Yeah, that's a valid argument.
The L502X speakers were in a completely different class for the era, and still competitive today against current MBPs.

IMO, ThinkPads from the same release year (T420 etc.) equipped with the NMB keyboard had a far better layout and feel.
Ask HN: What is your favorite quote from a scientist?
Lactose and gluten free also…

All foods which say “X free” take care of not saying what DOES is inside…
... And they can't invest in foreign territory of an ally like they've been doing for decades?
You don't have to implement the compiler that way if you don't want to. UBSan is fast enough to ship with it on and there's -fbounds-safety.
Speaking as a Finn.

It's foremost NOT about mental&substance issues treatment but general financial aid to anyone in need.

I think this phraze from the article summarizes it well.

"The Finnish experience demonstrates the effectiveness of tackling homelessness through a combination of financial assistance, integrated and targeted support services and more supply: "

It's a holistic system that actually kicks-in way before one is in danger of being homeless, and if someone would suddenly find themselves homeless, the state security blanket is available to all. So 1. direct assistance 2. support services and 3. supply.

On the first order, this is not related to substance abuse or mental illness, and should not be viewed as such. They are just a way to make sure nobody freezes to death.

The way these policies link with mental&substance issues is that before 90's you were denied housing if you had ongoing substance abuse issues. This policy was dialed back to allow all housing regardless of any other issues, specifically because it was considered being homeless does not help in any way to resolve the above matters.

So viewing this as "something only for ill people" is the wrong lens. It's a system for everyone. Of course mentally ill and those suffering substance issue are often without financial means so they are represented in the population receiving support.

But the actual treatment to the above issues is a separate policy matter (after nobody was excluded anymore).

The downside is that unless a polity has similar wide cover social security system in place, I have no idea what learnings you could get from this.
From Oxford

> prejudice, discrimination, or antagonism by an individual, community, or institution against a person or people on the basis of their membership of a particular racial or ethnic group, typically one that is a minority or marginalized.

Not giving someone a job based on their skin colour (a racial group) is discrimination, therefore meets the definition.
> Especially a defensive war.

You surely mean Russia defending itself against NATO eastwards expansion?
They can't quantify what business practice is causing customers to leave though. They can really only quantify who comes to the store. In the US, most stores put a URL for a feedback form on their receipts. I've used these a few times to air out my grievances. I like to think it works - the bike rack and the additional self-checkout registers only came after I called the CEO a lazy loser nepo baby a few times in the feedback forms.
Or at least is something like iron and not cadmium or lead.
But as you note, you used race to discriminate, and someone who otherwise would have been qualified who wasn’t black (apparently), lost not due to some skill gap or the like, but apparently purely due to the color of their skin. At least that is how I read it.

At some point (when growth is not infinite), there are a limited number of positions after all.

Or did everyone evaluate the candidate without awareness of their color, and come to the decision?

Same as someone who was black, but otherwise qualified, would have if someone discriminated against them, yes? Like the folks who never got considered because they went to the wrong college. (Though notably, you apparently did get hired despite going to that college correct?)

Why shouldn’t those ‘angry white dudes’ be angry? Really?

Anymore than a black dude be angry when the same happens to him?

Because they ‘already had enough’? When should they stop being angry then? When they no longer have enough? Who decides that? And why should they let someone decide that for them?

I’m not saying either choice is good - I’m saying this is why making those choices this way fundamentally causes the problems it does.

But I’m also under no illusions that will change anytime soon.

The strong do what they will while they are strong, and it’s a fool that lets someone make them weak enough they are no longer strong eh?

And the weak will do what they can to be strong, and it’s a fool who lets themselves get talked out of that too.

The difference is if ‘us’ means people with a common nation, or a common color, or gender, or sex, or religion.

In your personal situation, how long would it take of not actually having opportunities before you’re willing to get angry enough to do something? Or lost potential income due to better opportunities you could have had, but didn’t.

Some people are less patient, and more violent than you likely are. And apparently, they just won the elections.

Frankly, they often do.
Primarily seafood.

You can get it from a lot of other places, but they are unreliable. Plants grown in iodine rich soil will have iodine, but good luck identifying that.

I use iodized salt because I don't love the alternatives.
That is certainly true - associative arrays in c++ (std::map) for example, are implemented as red-black trees.
> it’s easy to know what sort of speech is about harming other people

Is it? If you just mean explicit "lets go kill <group>" messages, then sure. But, we also have:

- People who think the existence of trans people is harming children
- People who think alternative medical practices like homeopathy is harming people
- People who think vaccines are harming people
- People who think 5G towers are harming people
- People who think discussing methods of suicide is harming people
- People who think abortion is harming people
Well also glutamate can be replaced.
A comment worth more than a post, thanks!
So is this fact or fiction?
Indeed this does sound like a planted idea, and I'm saying this lightly.

Has the WH been compromised?
Tool computes a potentially visible set (PVS) for a Quake map
https://scholarworks.iu.edu/dspace/items/3ab772c9-92c9-4f59-...

Iverson's 1962 book also mentions tree representations, see pp45-62: https://archive.org/details/aprogramminglanguage1962/page/n6...
In an ideal situation where your arrays both fit in L1 cache and are in L1 cache, yes. However, in typical real world situations, you will not have them fit in L1 cache and then what will happen after the reads are issued will look like this:

* Some time passes
* Load 1 finishes
* Some time passes
* Load 2 finishes
* FMA executes

As we are doing FMA on arrays, this is presumably part of a tight loop. During the first few loop iterations, the CPU core’s memory prefetcher will figure out that you have two linear access patterns and that your code is likely to request the next parts of both arrays. The memory prefetcher will then begin issuing loads before your code does and when the CPU issues a load that has already been issued by the prefetcher, it will begin waiting on the result as if it had issued the load. Internally, the CPU is pipelined, so if it can only issue 1 load per cycle, and there are two loads to be issued, it does not wait for the first load to finish and instead issues the second load on the next cycle. The second load will also begin waiting on a load that was done early by the prefetcher. It does not really matter whether you are issuing the AVX-512 loads in 1 cycle or 2 cycles, because the issue of the loads will occur in the time while we are already waiting for the loads to finish thanks to the prefetcher beginning the loads early.

There is an inherent assumption in this that the loads will finish serially rather than in parallel, and it would seem reasonable to think that the loads will finish in parallel. However, in reality, the loads will finish serially. This is because the hardware is serial. On the 9800X3D, the physical lines connecting the memory to the CPU can only send 128-bits at a time (well, 128-bits that matter for this reasoning; we are ignoring things like transparent ECC that are not relevant for our reasoning). An AVX-512 load needs to wait for 4x 128-bits to be sent over those lines. The result is that even if you issue two AVX-512 reads in a single cycle, one will always finish first and you will still need to wait for the second one.

I realize I did not address L2 cache and L3 cache, but much like system RAM, neither of those will keep up with 2 AVX-512 loads per cycle (or 1 for that matter), so what will happen when things are in L2 or L3 cache will be similar to what happens when loads come from system memory although with less time spent waiting.

It could be that you will end up with the loop finishing a few cycles faster with the 2 AVX-512 read per cycle version (because it could make the memory prefetcher realize the linear access pattern a few cycles faster), but if your loop takes 1 billion cycles to execute, you are not going to notice a savings of a few cycles, which is why I think being able to issue 2 AVX-512 loads instead of 1 in a single cycle does not matter very much.

Does my explanation make sense?