skysight-inc/HackerNews huggingface dataset:
The specific place is important for historical reasons and there have been migrations of Jews back to the area (after being expelled from Spain/Portugal, etc) since the 1490s.

The population was small, up to about 5% of the region during the Ottomans (after heavy losses due to multiple Black Plague outbreaks), but the reason that specific area was chosen (as opposed to alternatives) was because there was already a community of Jews there.

Keep in mind that the vast majority of the area was uninhabited swamps until the 1940s and huge numbers of people died from malaria every year before resettling Jews completely changed the local terrain.

Look up details about the the late 1880s and the distinctions marking the difference between the Old Yishuv and New Yishuv.

Political aspirations of the Old Yishuv were pretty low due to the fact that they were broke as shit and depended on handouts from abroad, whereas New Yishuv resettlers came with money and dreams.
This is the problem with a nation that is so closely tied with a religion.

I don't believe the people out there who are angry at Israelis and non-Israeli Jews have a problem with the Torah, or keeping Shabbat, or menorahs, etc. They are angry at the actions of the Israeli state and military, and making the assumption that all Jews support them.
Sekaiju looks good, thanks for mentioning it!
Morality of the procedure aside, this is a very low quality study.

The most glaring omission is that they didnt account for possible confounding due to religious/political beliefs. To be fair, they acknowledge that this is a limitation, but I'd bet that this is possibly the main driving factor behind any differences in personality between the two groups.

We know for a fact that religious/conservative populations are markedly different across a variety of character traits, and they are also significantly likely to circumcise their child.

Any study that doesnt account for this is invalid IMO.
Yeah they sell archival-grade CD-Rs. CD-RWs are way more unstable; would not recommend.

One variable I'm recently able to validate (wow, 20 years later!) is write speed. Discs written (for archival) at slower speeds still work. Discs I wrote as fast as possible on my way out the door have mostly failed by now.
To say the west threw them in Israel, forgets to mention the mizrahi Jews who are 50% the Jewish-Israel population and were kicked out/ethnically cleansed from Arab countries.
Religion, hundreds of millions of people feel spiritually invested in that part of the world.
> it actually turns out to be about the same or cheaper than ongoing treatment of a untreated sickle cell

If I were a betting man I'd wager the house that the above is exactly why it costs what it does. 'Pay 2 million now, or pay 2 million over the rest of the patient's life as they suffer' is a pretty inarguable value proposition.

Of course once patents expire and processes refine prices will come down. The wheel of progress rolls on (more of less) as intended.
Windows 3.11 didn't come with TCP/IP stack, just IPX/SPX and NetBEUI. You had to install TCP/IP separately.
Which other nation is allowed to literally colonize land than even itself doesn't consider to be part of their country? What other nation can get away with military enforcement of said colonies?

If anything, Israel is given more slack in the west than any other nation. More civilians died in Gaza than in Ukraine yet clearly, only one nation has been condemned officially by western states and that's not Israel
You don't think the Hamas attack was a declaration of war?
Would Israel allow Gaza to have a conventional standing army? With barracks, heavy weapons and maybe airbases?

Isn't it a bit silly to complain about their lack of adherence to conventional military practices?
From the point of view of a book reader, that is a really bad book. Entire paragraphs simply restating the content of previous paragraphs with some minor additions of content.
Usually the quick crosswords are separate (different grid and answers) from the cryptics. The Grauniad also has quiptic crosswords, which are cryptic but usually easier than regular cryptics, and the Glasgow Herald has the Wee Stinker, which was smaller and harder than cryptics.
The killing of excess adjectives and adverbs is very good for fiction.
Veracrypt supports this, called hidden volume.
And if you can get access to their domain that'd be even smarter ;)

Might be hard to pull this off without a person@company.io email
I think your point is pretty cogent, the comparison is not bad. But it suffers from a pretty big flaw in that the US hadn't spent the preceding several decades subjugating Afghanis or encroaching upon their land; didn't have a government whose members and officials openly issued bigoted and racist statements against Afghanis (though I am sure there were a few Congressional Republicans who may have bucked that trend, I don't remember), etc.

US foreign policy isn't nice or morally sound, but one thing it was not doing in the run-up to 9/11 and its subsequent invasion of Afghanistan was directly fucking up Afghani lives and killing Afghani children. Same can't be said for Israel in its relationship to the Palestinians.
>Okay - then what should be Israel's response?

The same response I have concluded should have been the US' response to 9/11: turn the other cheek, and invest heavily in reconciling with "enemy" forces while rebuilding "enemy" infrastructure and institutions, while dealing with individual bad actors on a case-by-case basis as a matter of legal (rather than martial) procedure.

And I'm not joking.

I feel bad for Israelis who have let their government doom them to a generation of government mismanagement and expensive, arduous military adventure. My single-payer health insurance and my friends' free college education went into a couple Patriot missiles, and I do wonder what they're going to have to give up.
The term "anti-semetic" is in and of itself "anti-semetic". It obfuscates the fact that palestinians are true semites by conflating itself with any anti-jewish sentiment or criticism.

The modern israeli's are not semites. Those that settled after WW2 were eastern european converts, khazars, with no genetic ties to the middle east. Those that are not ashkenazi are migrants from the surrounding countries, who largely did not move to the area until after the occupation of palestine.

The term "anti-semite" was invented to reinforce the lie that the ruling class of israel have some ancestral claim to the land. Using it is playing into that propaganda.
This is an interesting point that I think a lot of programming can miss.

Proving that the program has no bugs is akin to proving that the program won't make you feel sad. Like ... I'm not sure we have the math.

One of the more important jobs of the software engineer is to look deep into your customer's dreams and determine how those dreams will ultimately make your customer sad unless there's some sort of intervention before you finish the implementation.
What would be nice is an LLM to aid in translation between mathematics and a theorem proving language like Lean. That might fuel a revolution in how mathematics is done.
I don’t believe that the IDF wants to kill Gazan civilians.
I've long time stopped believing its about religion. Yes, religion is used as greese to get groups of people to "side". But the underlying reasons are --as always-- material.

You think the "red scare" was actually about the commies attacking? No, it was about limiting an alternative economic system == resource control.
I was thinking along the lines of setting the highest bit on the address line to either 1 or 0 based on the resistance, and programming the device to report half the capacity of the nand chip.
It’s certainly a possibility in some cases. But it’s also generally understood that ADHD has been underdiagnosed, and that many newly diagnosed ADHD patients sought diagnosis in response to their struggle with other aspects of life during the pandemic.
And here's the base model: https://huggingface.co/togethercomputer/StripedHyena-Hessian...

And GH repo: https://github.com/togethercomputer/stripedhyena
I don't know maybe give me unfettered access to all the NSAs data and I'll get back to you.
It was also formed to influence public opinion in the wake of the Israeli massacre at Qibya, which looked pretty bad.

https://www.washingtonpost.com/news/made-by-history/wp/2018/...
> You mean that thing that happened when we gifted huge tracts of lands to a few private businesses so they could pay for the railroads

Do huge tracts of land magically become working railroads? The word "happened" is carrying a lot of weight here.

In general, your argument handwaves the difference between basic research (often paid for by public grants to universities) and a working implementation subject to market forces. The two have radically different incentive structures and require very different competencies.

Good things don't happen by a politician's fiat, no matter how many tax dollars you throw at the problem. Behind every story of "America actually investing in itself" is men and women toiling away, breaking backs and burning midnight oil, almost always out of a profit motive.
Israel has now killed 20k Palestinians and destroyed half of the Gaza Strip. That is a crime of vastly greater proportion.
The clue should be "Book By AI" (ie random stochastic parrots) in the URL
Ask HN: What fuel for my data furnace?
I have a server with two old 6-core Xeon CPUs in it. In winter I used to run it full tilt on SETI and get a noticeable bump in room temperature.

Now that SETI is mothballed, what charity or mining software would you recommend I run? Anything more productive than re-calculating pi is my goal.
https://news.ycombinator.com/item?id=38433856
Jews were a majority of Jerusalem even in 1850. Some communities have existed since roman times. Its a complicated story that doesn't start within anyone's living memory.
I'm somehow positive that the folks that fix the things that break are thrilled on the daily that someone did something quickly, without really understanding the ramifications, when they could have asked about it first. ;)

You have a valid point about red tape, but does it really amount to 2 steps forward, or is it the same one step, but 2 forward, 1 back?

I work in environments where moving fast is usually bad (Enterprise/Healthcare), so I'm honestly asking.
Good point and thanks for being on-topic. Humans have three variants of the HBB gene and having sickling mutations in the variant expressed in adult is causal to SC disease.

The FDA-approved treatments reactivate the fetal HBB gene in adults and this change in gene expression control effectively prevents SCD.

Very cool and transformative work. Now we have to get the price tag down from seven figures to four or five figures so that it will be used widely. That may be a few decades. Let’s hope that more efficient alternatives are developed soon.
Even formally proved code can have bugs. If your requirement is wrong is the obvious thing. I don't work with formal proofs (I want to, I just don't know how), but I'm given to understand they have other real world limits that make them sometimes have other bugs.
If France is anything like the Netherlands, the benefits system isn't used by a few poor's, it's used by the majority of the country, instead of adapting tax codes. Simplifying it is going to (unintentionally and intentionally) hurt some groups, and nobody what's to be on the hook for it, despite it having been an increasingly large election theme.

France at least has a culture of constitutional reboots.
ShipFast (a paid Next.js startup boilerplate) Makes $55k/M 4 Months After Launch
I’m not completely bought into your comparison, but running with it for a second — If one were to challenge the notion that the Japanese state should privilege ethnic Japanese over other people living in its borders, no I would not consider that position to be “anti-Japanese”.

Similarly, I don’t understand is how expressing the personal view that all of the people living in the territory of Israel — Jews and non-Jews alike — would be better off living in a secular state, is somehow akin to anti-semitism.
>"I'll never use this knowledge" is the single worst thing you can say as a student, and it needs to be beaten out of undergrads' heads.

Everyone will think differently. I've never truly be research-minded and there's very much a bunch of odd classes that felt like a waste of my money (something to consider as education gets more expensive). But I do agree that there should be a space to foster researchers and especially one to overall round out a student, even if that space is more niche. I just don't think that everyone needs to go far into debt for that experience if they just want job training.

So I too desire a more explicit divide than "research university vs. industry university" and wish there were some better trade schools focused on software (not 6 month boot-camps. Think of a condensed university program without requirements of electives and maybe less supporting classes). But no one seems to be protesting this much.
You know why animals lick their wounds?
What would I do? Abandon the racist and outdated ethnostate ideal, which is dying all over the world anyway, and enfranchise "those people". Instead of "two people, two states", choose "one land, one humanity". This is the only way we don't all end up nuking each other.
There are hundreds and thousands of students and faculty in the U.S. I'm sorry, but a handful of examples is not really particularly convincing.

The survey results are interesting, but I think contradict the point you're trying to make in many cases. For example, the survey showed students felt less comfortable discussing abortion. An odd result if the claim is there's some kind of liberal oligarchy that's selectively punishing conservative speech.
Maybe it's used to be behind Twitter in stopping spam and shillbots but now ...
Less than a decade? You give them too much credit. Try six years.
If you're looking for a free app to edit MIDI, check out wavtool.com!

We're not open source, but our free product has pretty good MIDI editing for conventional use cases. There's also an interactive MIDI composition AI model.
I knew that is what it was, I just didn't realize it would be so bad.
Is there a reverse Moore's law that describes the phenomenon where most forums turn to shit after doubling every x number of years?
There's a really good cryptic crossword trainer on mobile ( https://www.learncrypticcrosswords.com/ ) that teaches you how to recognize these sorts of hint words and parse the clues. It costs a few bucks to unlock all the lessons, but I started enjoying cryptics a lot more with that basic grounding. Turns out it's actually a very structured activity, for all the apparent chaos.
Yes - like Asahi Linux, the developers of antiX seem pretty volatile and untrustworthy. Best to stay away.
I’ll ask again, can you cite any example of an Israeli Arab being denied any legal right under that law?
How exactly are health insurance premiums "unrelated" to care outflows (what you're calling "expected loss")? Are you saying that health insurers books don't balance and that they're losing money (they aren't) or making too much profit (not unless they're criminally hiding it)?

What you're saying doesn't make sense. There's no difference between health insurance and any other insurance in the way it works. You collect reliable and regular premiums from everyone, pay out unreliable/bursty (but statistically very predictable in aggregate!) losses as contracted, and pocket the remainder as profit. And it works.

Really, I don't know what you're talking about here. Health insurance is "expensive" in the US, sure. But it's not failing.
Can you provide examples of a Genocide where the population of the people being exterminated multiplies during the genocide process?
I would say the US has been limp-dicked in the past few weeks with their admonitions and entreaties that Israel try to avoid killing civilians (as if there isn't a strong case to be made that this is part of Israel's goal, both as a matter of simple revenge and also a strat for getting their hostages back).

However, criticizing our government as weak would require believing it cares about Palestinian lives in the first place, which is a highly questionable assumption at this point.
Gaza borders Egypt and the West Bank borders Jordan.

If they are blockaded by the country that they cant get along with then it is at least partially on Egypt and Jordan that they are given no way out.
Right to repair is such an issue in the farming space right now, Big Bud re-entered the markets with a fully repairable tractor. Rumors are that pre-orders are significant.

https://agupdate.com/farmandranchguide/news/state-and-region...
There are so many things that receive patents where prior art exists. I wouldn't be surprised if someone looked just a little bit, they could find prior art for just about any drug and rule that it is close enough to invalidate the patent. All it takes is someone challenging it.
The initial news reports here in the US mainstream media made it seem like dozens or hundreds at most. The music festival seemed like the worst of it.
Japan isn't an officially Shinto state, afaik. And it wouldn't be wrong to criticize its subjugation of the indigenous Ainu people. I think that calling for a multi-ethnic, secular Japanese state is fair.
Why Wikipedia's highway editors took the exit ramp
So this specific model ships with a default config of 2 experts per token.

So you need roughly two loaded in memory per token. Roughly the speed and memory of a 13B per token.

Only issues is that's per-token. 2 experts are choosen per token, which means if they aren't the same ones as the last token, you need to load them into memory.

So yeah to not be disk limited you'd need roughly 8 times the memory and it would run at the speed of a 13B model.

~~~Note on quantization, iirc smaller models lose more performance when quantized vs larger models. So this would be the speed of a 4bit 13B model but with the penalty from a 4bit 7B model.~~~ Actually I have zero idea how quantization scales for MoE, I imagine it has the penalty I mentioned but that's pure speculation.
You've specifically isolated yourself from people who would talk about the issue, so you're not in a position to determine whether or not people have been talking about it. In my social circles, the conversation about injustice in Palestine is over a decade old.
The wall wasn’t always there. Just like how the wall trump put between US and Mexico wasn’t always there. Actions have consequences and the West Bank situation regressed from continued suicide bombing and terrorist attackers.
May I interest you in the magical world of... ... CRYPTO MINING???
Every time this happens to me I keep thinking of that "How many times do we have to teach you this lesson old man?" meme.
I largely agree but the community was pretty persecuted and dispersed from the early 5th century through basically the 1200s.

The biggest problem I find with the collective understanding people have of the conflict is that people largely think nothing of note happened before 1900 but the prior history determines a ton of why later decisions were made that people attribute to the start of conflict.
A collection of LLM evaluation tools
Yeah, if you can have a formally proven compiler from slides, poorly written user stories and clarification phone calls to x86_64 binary then alright.
Most of the complaints I've seen are in the opposite direction, complaining about how pro Isreal reddit is.

I'm sure it depends on what subredits you look at. The moderators are essentially free to enforce their politics.
Aviation in particular has a very strong culture around (government mandated) checklists and post-crash investigations. This has both pros and cons. The pros is that every airline learns from the mistakes made by every other airline and over time the system becomes really quite safe indeed. The cons are that it is quite expensive and time consuming.

Imagine if every software company was obliged by law to:

- Every single release has to have been signed off by someone who got their "software release engineer" certification at the software equivalent of the FAA.

- This engineer is required by law to not sign off unless every box on a 534 item checklist has been manually verified.

- Any time an unplanned downtime happens at any company, a government team comes in to investigate the root cause and add points nr 535 through 567 to the checklist to make sure it never happens again.

If such a system was mandated for software companies, most of the common bugs would very rapidly become a thing of the past. Development velocity would also fall through the floor though, and most startups would probably die overnight. Only companies that could support the overhead of such a heavyweight process would be viable, and the barrier to entry would massively increase.
Yearly reports. They can be buggy, can be off by millions, due to rounding errors. They can crash. They can run for days. Nobody cares enough to rewrite them, because regulation will change before that effort amortizes.

Also note that I wrote "code" originally, because there can be programs which are run very often, but certain code paths are not, so my statement applies even for some parts of popular software.

The image I think would be valuable for you to consider is a curve, where 20% of code has 80% of all executions, and 80% of code get's the rest. It makes sense to put in a lot of effort into writing the top 20%, but on any given day it is very likely you'll be working on the lower 80%.
Not really. Imagine the proof says: "in this protocol, when there are more than 0 participants, exactly one participant holds the lock at any time"

It might be wrong, but it's pretty easy to inspect and has a much higher chance of being right than your code does.

You then use proof refinement to eventually link this very high level statement down to the code implementing it.

That's the vision, at least, and it's sometimes possible to achieve it. See, for example, Ironfleet: https://www.microsoft.com/en-us/research/publication/ironfle...
Per the video, 5.7hp for the horse tested.
Actually yes. Several of the neighbouring countries have taken in large numbers of Palestinian refugees over the years.

Regardless of that point, it's not their responsibility to facilitate Israel's ethnic cleansing of Palestinians.
That's closer, but still not quite right.

There are well-formed statements that can be proved but which assert that its godelized value represents a non-provable theorem.

Therefore, you must accept that it and its contradiction are both provable (leading to an inconsistent system), or not accept it and now there are provable theorems that cannot be expressed in the system.

Furthermore, that this can be constructed from anything with base arithmetic and induction over first-order logic (Gödel's original paper included how broadly it could be applied to basically every logical system).
Show HN: Atomify – molecular dynamics simulation+visualization in the browser
I know, but the SIM-card reader broke.
Evals are important for LLM app development. I've noticed dozens of tools in this space, including 11 (!) YC companies, so I put them together on a page.
20k deaths includes Hamas militants. So far the militant to civilian casualty ratio is actually lower than most other modern urban conflicts. Some being as high as 10 civilians for every 1 militant death.
I think there are still some pretty onerous laws about French localization of products and services made available in the French-speaking part of Canada. Could be that...