skysight-inc/HackerNews huggingface dataset:
Long stories mostly, either novel or chat format. Sometimes summarization or insights, notably tests that you could't possible do with RAG chunking. Mostly short responses, not rewriting documents or huge code blocks or anything like that.

MistralLite is basically overfit to summarize and retrieve in its 32K context, but its extremely good at that for a 7B. Its kinda useless for anything else.

Yi 200K is... smart with the long context. An example I often cite is a Captain character in a story I 'wrote' with the llm. A Yi 200K finetune generated a debriefing for like 40K of context in a story, correctly assessing what plot points should be kept secret and making some very interesting deductions. You could never possibly do that with RAG on a 4K model, or even models that "cheat" with their huge attention like Anthropic.

I test at 75K just because that's the most my 3090 will hold.
Brutal. Will there be refunds?
I skimmed the article but it seems to contradict itself:

> Soy, brown rice, pea, corn, and potato protein have essential amino acid contents that meet the requirements as recommended by the WHO/FAO/UNU (WHO/FAO/UNU Expert Consultation 2007) (Fig. 2).
From Wikipedia [1], the definition of anti-Zionism is:

> [The belief that] the modern State of Israel, and the movement to create a sovereign Jewish state in the region of Palestine—the biblical Land of Israel—was flawed or unjust in some way

This is very different from "Israel must be destroyed".

Similarly, your interpretation of "From the river to the sea" is extreme. It's only really been a scrutinized slogan since Hamas started using it in 2017. Its previous ~60 years of use were consistently about creating a secular, multi-ethnic, democratic state for all the people inside its borders.

There has never been an official Palestinian position calling for the removal of Jews.

[1] https://en.wikipedia.org/wiki/Anti-Zionism
During Second World War the Czech resistance assassinated Reich Protector Reinhard Heydrich. To exact revenge the Nazis destroyed the village of Lidice and murdered 340 villagers. If we had social media back then, people would have made the same argument you now do. That the Germans had no choice but to eradicate the village. Because, hey, the only other option would be to ignore the attacks which surely wouldn't have been acceptable to any German.
> That's not an ethical system at all

The whole point I'm making is that there is no such thing. People disagree axiomatically. There is no oracle. Ethics isn't just unsolved, it's unsolvable. The closest thing to a universalizable value we have is consent. You say that it's not an ethical system, but you don't say why exactly, and you don't point to an alternative "ethical" system.

> Your logic allows for desperate people to sign themselves into slavery

Not necessarily, it depends on the kinds of contracts that are legally enforceable. I favour monetary penalties only, protected by bankruptcy. The ethics are complicated, but it boils down to how much "present you" is entitled to impose on "future you". In either case, you've not elaborated why exactly that would be "wrong".

> capitalism definitely isn't an ethics system

I agree. Capitalism is a description of the emergent properties of a liberal order. It happens when free people are allowed to interact consensually and resolve disputes via due process. Winners win and losers lose. It's you who is asserting that these emergent properties, which are common to all ecosystems, and totally inescapable wherever living organisms interact, are somehow "wrong".
>The majority of the world is against Israel's occupation of Palestine

The majority of the global ruling class is for Israel's occupation of Palestine.

History is incomprehensible if we ignore class conflict.
I used to believe this. Then I got a Girlfriend who I know brushes twice a day. Yet got cavities relatively often. I don't know why this is but there is a very large factor(or factors) that just makes some people much more vulnerable to cavities.
Google Podcasts user here.

I was waiting for the feature to export my subscriptions to import them to Pocket Casts. I already tested Pocket Casts and is good.

But I'm not seeing yet the export option on https://podcasts.google.com/settings as the article says.

Screenshot: https://imgur.com/a/I36vBAi

I guess the feature is gradually rolling out.

Someone can see it?
doesn't require much data, in a 7B can take a couple hours ~
Local minima though, that larger group of people have already found the fastest/easiest/most intuitive way to build the everything tool. You've got a lot more prior art to be better than. If your goal is wide adoption and hype, that's not a great starting point unless you've found the next local minima.
Not necessarily. It might be a recursive descent parser (to generate better error messages).
> and two hiccups out of a dozen or so seems like a decent track record to me.

certainly better that the good (bad?) old days! At one point with laptops at least it seemed to be no better than chance. Maybe worse.
I am working on that for my PhD!
Apple isn't blocking competitive messaging apps from their platform. They are simply blocking unauthorized access to their services. EU won't look at Slack for blocking your irc client, and EU won't look at this.
If you find yourself on the “she shouldn’t have dressed that way” side of the argument, it’s probably time to take a step back and reevaluate.
Scaling Transformers for skillful and reliable medium-range weather forecasting
https://diskprices.com/

Of course you need Reed Solomon across drives (Eg raidz) regardless of media
Don‘t be a fool. Read books by Ilan Pappe, Noam Chomsky, Norman Finkelstein, and you’ll realise it’s the total opposite. Israel has killed 6400 Palestinians prior to 7/10 in 15 years. On the other hand around 300 Israelis were killed. And then look at 75 years back. Google Irgun, Deir Yassin masscare, the right to return for Palestinians, google how 700,000 settlements were built on Palestinian land. And then rethink your post.
Hamas is one of hundreds of organized anti-Israel groups that exist in the Middle East. If we use every one of those as an excuse to treat civilians as collateral, then the murder of innocents never ends. Israel is the only country capable of standing down in this situation.
This really depends on the software in question. I think it's appropriate for apps that are expected to be frequently updated and/or have variable costs to the maker.
Jews, Muslims and Christians have lived in that region relatively peacefully for a long time.

The end of Israel as an exclusionary apartheid state does not have to mean the end of Jews living there, in a pluralist state guaranteeing equal access to Christians, Jews and Muslims to their holy sites and shared ancestral homeland.
So wouldn't saying that Israel shouldn't be a Jewish state then be similar to saying that the United States shouldn't be a white state?
Afaik there was already a wall pre-Trump
https://twitter.com/sama/status/1732925866836210151
Thanks for putting this so eloquently. That's exactly how I feel as well.
Potato, potato. Would they authorize it if asked?
I think the reason that formal proofs haven't really caught on is because it's just adding more complexity and stuff to maintain. The list of things that need to be maintained just keeps growing: code, tests, deployment tooling, configs, environments, etc. And now add a formal proof onto that. If the user changes their requirements then the proof needs to change. A lot of code changes will probably necessitate a proof change as well. And it doesn't even eliminate bugs because the formal proof could include a bug too. I suppose it could help in trivial cases like sanity checking that a value isn't null or that a lock is only held by a single thread but it seems like a lot of those checks are already integrated in build tooling in one way or another.
This is one of the fundamental things about Sweden which is really quite weird when you come from the outside. Much of Swedish society runs on "recommendations" (or norms as someone else put it), so technically you don't have to abide by them (i.e. under the thread of the government monopoly on violence, how we enforce laws), but everyone just does it anyway.

This was an interesting experience for me during COVID, where lots of other countries put lots of rules/laws in place, while Sweden just had "recommendations" (and lax ones at that). The way I understood it, it would have been even incredibly difficult/legally impossible for the government to impose some of the same restrictions as in other countries.

It's actually fascinating how well the Swedish society functions without these laws.
> It starts mattering more for consumer software when you reach mass scale. Somewhat hard-to-find bugs at the scale of hundreds of millions of users (like a social media company), turn into bugs faced by hundreds of thousands of users.

From a cynical point of view, if those hundreds of thousands of users will use your product despite the bugs, does it matter?
While I don't think Apple handled that well, the intent is clearly different. In fact, the situations are so different, that I have to wonder if you are a troll.

In battery gate, 1-2 year old devices were starting to reboot at low state-of-charge (typically <30% battery). Apple issued a software update that fixed the reboot problem... hmm, how does software fix what smells like a hardware issue? Well, the underlying cause was that aged batteries could not supply enough current and would brownout the CPU (which caused the reboots). The fix was to throttle the CPU a low SoC, which avoided the brownout--so they "fixed" a real problem that I experienced.

My feeling is that Apple owed customers like me some compensation. But, it is clear that the performance throttling was not just an arbitrary "fuck you". Rather, it was a misguided attempt to save the cost of warranty battery replacements in a way they thought customers wouldn't notice.

The current situation couldn't be more different. Here, the manufacturer has added software from the factory to create fake error codes. The hardware is working perfectly fine, but when the train sits in certain locations for too many days, it will pretend to have a hardware failure. During certain months of the year, the train will fake a hardware error. There is no possible explanation for this, except as a "fuck you" to the customer who wants to use 3rd party service.
You do point some interesting points.

Note that the issue in not the Nakba anymore. From memory Oslo was about giving to a demilitarize Palestinian state about 10% of the Palestine mandate territory mostly in "islands" controlled by Israel, then progressively over a long period, increasing it to 22%, with quite no hope to get East Jerusalem back. And now (even before oct. 7) that seems impossible, far too much for the Israelis. (in 1992 89% of the population was "Palestinian")

In general westerners don't care about what happen abroad when there is nothing connected to them. In French media we have seen many stuff about Nagorno-Karabakh (with an Armenian point of view), because there are Armenian in France, and because it fits the narrative of the clash of civilizations Christian Vs Muslim. But it was far, in unimportant countries for us, few dead, no suspense, nothing spectacular...

Israel Palestine is another beast :

- Jerusalem in Holly for half of the world population and most westerners

- Israel as been important in US politics for decades (partly because of the first point) and the USA are direct and strong ally

- Most non western country have been colonized or assaulted by westerners in "recent" history... This conflict is also the echo and symbol of this : westerners assaulting non westerners (while giving moral lesson to the world)

- For some westerners that is the echo of Muslim and terrorists attacking westerners - us (9 11, Paris attack are in all minds), and for some kind of a symbol of the clash of civilization

- And this is happening now, with a lot of pictures, media coverage, with new images everyday, some suspense, some twist...
I ask how do you build quality software in interviews. A lot of people are caught completely flat footed by it. They have no idea.
Think of it the other way around - the only real weapon Hamas has against the much stronger Israel is shifting public opinion, so it's in their incentive to bring as much negative attention as possible to Israel in the conflict
Yeah. Sleeping during a marathon defeats the purpose of a marathon. Which is to test your superhuman ability and seeing if you can run without resting or stopping.
Depends on the cryptocurrency. Some are designed to be intentionally difficult-to-impossible to optimize with an asic, with Monero being the big one I think is most well known.
Why can't we have nice things?
There is a corollary. You need to learn how to build quality software. You also need to know what level of quality vs completeness tradeoff you need to make.

Imagine I have a deadline of Jan 15th to demo features x, y, and z to senior leadership (who then will make funding decisions that could impact my project), and I get to Jan 15th with x, y, and not z - or worse, none of them working fully. But the code quality is high, there are no TODOs hanging around, no extra development focused logging, no duplication of code, no leaky abstractions.

That is a 100% fail in leadership's eyes, unless you have a really good story on why z didn't get shipped (and code quality is NOT that).

All those things I listed will have to be addressed at some point, and the longer they go without being addressed the harder they will be to address. But if you need to do that to meet deadlines, then you do it.

Of course, if you are in a place where leadership allows you to work from a backlog and demonstrations and features to demo are scheduled not arbitrarily based on leadership's schedule/interest, but on the features that are newly shipped since the last demo, then you are in luck.

At the end of the day the important thing to remember is that you are not being paid to build software. You are being paid to provide a solution to your customer's problem. Other than CTOs and some forward thinking leaders, they don't care about the software. They care about whether the problem is solved, did it cost me more or less than expected in labor and materiel, and is it compliant with necessary laws/regulations.
this comment predicted it:
https://news.ycombinator.com/item?id=38536577
You mean the company who controls the protocol, and the clients, and the servers for a given service somehow found a way to stop a third-party from utilizing that service without permission?

I am shocked at this outcome, and shall write my senator.
The title is missing the key word "real-time" like in the paper title.

Optimization was one of the biggest bottlenecks. This will unlock fast, reconstruction on more types of hardware, more efficiently.

GS also is a great compression technique. Even so, Meta called their avatar one a Codec.
No, the majority of the world is against Israel's occupation of the West Bank, and until 2005 when Israel left Gaza, its occupation of Gaza.

The October 7th attack was carried out against civilians in their homes living on land that is internationally recognized as Israel by an overwhelming majority of countries.
„ The phrase was also used by the Israeli ruling Likud party as part of their 1977 election manifesto which stated "Judea and Samaria will not be handed to any foreign administration; between the Sea and the Jordan there will only be Israeli sovereignty." This slogan was repeated by Menachem Begin.“

https://en.m.wikipedia.org/wiki/From_the_river_to_the_sea
Ask HN: Are there alternatives to artificial neural networks?
I'm asking because i'm curious is this really the only the only way?

The closest I can see are SVMs which seem to be easier to train but require more work for inference.
As I already said in another comment:

> It's almost as if Israel has defensive technology (Iron Dome) to protect their citizens from Palestine's rocket attacks that target civilian areas (which is a war crime)
This is not true for all crypto coins. A small proportion of mining hash functions are deliberately designed to thwart ASICs, e.g. https://github.com/tevador/RandomX. It's a cat-and-mouse game, though: CryptoNight was designed to fulfill the same role, but ultimately failed: https://monerodocs.org/proof-of-work/cryptonight/.
Yeah, I learned that if I want something a certain way I make sure they include it in the quote and check while they're working just like a General Contractor would do. For things like fiber conduit I'm going to make sure the driveway people bury it.
>Many civilians are dying […] But it's hard to say this war isn't justified given the promises.

This is exactly the rhetoric that made Hamas think it was okay to kill Israeli civilians. Both think the other is an existential threat.
BTW, IIRC if you go the UUP dump route, then you should also be able to run the windows 11 installer directly from windows 10 after you mount the generated ISO so maybe you can indeed run the update instead of clean install. I did the update that way on a tablet, but that had TPM but no official Windows 11 support.
Archive link: https://archive.ph/IHh1g
I mean, what did they really expect when accessing a private messaging service without permission?

Maybe it shouldn't be private or whatever, but it still seemed weird to me that they thought this would "just work".
Why stop there?

https://en.wikipedia.org/wiki/Eradication_of_suffering
No, and, at the moment at least, they have no legal requirement to do so.
And yet they keep doing it, over and over and over and over again.
It's for your own good. Those Android users cannot be trusted.
Why get out of the hamster wheel?
Learning to Fly in Seconds
That democracy evaporated very quickly in Gaza.
I'm not sure that fully explains it. There is incredible amounts of anti-Israel disinformation as well, that would be easily debunked with a reverse image search if anyone could be bothered.

https://www.bellingcat.com/news/2023/10/11/hamas-attacks-isr...

https://www.bellingcat.com/news/2023/12/08/images-of-syrian-...
What sorts of statements are you lumping together here? If the kids saying “all lives matter” are getting a “slap on the wrist,” then “from the river to the sea” should get kids expelled. What people are outraged about is the warped value systems of these university administrators, not the punishments per se.
I completely understand university teaching algorithms over real dev stuff.

Algorithms are hard, and take serious work, they're basically math. University seems like the idea place to learn A* search or quicksort, I can't imagine figuring that out without a lot of effort and time spent just focusing on that.

What I don't understand is why programmers themselves focus on algorithms over stuff like "Vague heuristics to guess if this JS framework you tear your hair out in a month".

That kind of this isn't really hard and doesn't require any heavy discipline and focus, it's just something you pick up when you've tried a few different systems and notice stuff like "Oh look, that linter caught this bug for me" and "Hey look, there's not much autoformat support for Mako, maybe I'll just use Jinja2 like everyone else".

Instead they tell us to do stuff like code katas and endlessly polish our coding and algorithm skills rather than practice working on big stuff and managing complexity.

Maybe it's because algorithms are the hard part, and being really good at that is needed to work on the real cutting edge stuff.
Recent and related:

Show HN: Beeper Mini – iMessage client for Android - https://news.ycombinator.com/item?id=38531759 - Dec 2023 (863 comments)

iMessage, explained - https://news.ycombinator.com/item?id=38532167 - Dec 2023 (143 comments)
I think that "quality software" is not well defined, so until it's well defined, we're not talking about the same thing.
Various gradient boosting models are said to very competitive for tabular data.
Not expecting tik tok to be a representation of the Gen Z population and to expect the normal should be a 50/50 distribution in addition to think that the groups are mutual exclusive. i.e if you have posted content that "suppport" either side that means you do not support the opposite. Its perfectly fine to be horrified both of civilians killed in a terrorist attack and civilians being bombed.
Not to get too meta here but… what is your definition of a bug? One plausible definition is “system deviates from its specification”.
Ah, so it‘s why Palestinians are dying by the thousands, because they don’t have Iron Dome then.
Building a Hypercube Interpolator (in Rust)
Humans. Humans are why we can't have nice things.
> none of them are taking Palestinian refugees

They believe that Israel would like to drive out the refugees and seize their land, essentially putting an end to Palestinians in Israel. They believe that's what happened when Israel was founded and subsequently - there are still refugee camps, and a priority of Palestinians is the 'right of return' to their former lands - and with recent Jewish settlements in the West Bank, and specifically with Israeli actions in the West Bank since Oct 7.

Essentially, they think refugees will never be allowed back.

That doesn't mean they care, but without that issue resolved, they won't accept refugees. Also, probably they don't want to take on care and feeding of millions, and to simultaneously relieve Israel, their enemy, of that burden.
Sure seems that way sometimes
The Israeli government (and particularly the faction that, on top of lots of prior ills. incited, celebrated, and has run the government for most of the time since the assassination of Yitzhak Rabin) is not “the Jews”, though promoting that rhetorical equivalency has been their favorite way of deflecting foreign criticism for, well, decades.
Doesn’t mean you’d get true positives either. Garbage in, garbage out.
It's realpolitik. It's not about Israel. It's about Russia and Iran. To a lesser extent it's also about the Suez.

It also doesn't hurt that any aid, is defense spending in the US which is a stimulus for jobs or manufacturing for defense.

Overall it's cheap expenditure for the US.
Almost no university teaches software testing in a competent way. For some years, Cem Kaner and I (he, a professor at Florida Tech; me, a proud high school dropout) ran a small annual conference called the Workshop on Teaching Software Testing. We specifically invited Computer Science professors to come and grapple with the problem. Thus, I personally witnessed and engaged with the sorry state of practice with teaching people about testing.

Cem developed a great testing class for Florida Tech, later commercialized under the name BBST, that drew in contributions from prominent industry voices. Otherwise, I don't know of any other University that has put the effort in. An exception may be what Tanja Vos is doing at Open University.

The problem I have with CMU is that they are the source of the Capability Maturity Model, which is simply incompetent work, justified by no science whatsoever, which tries to apply Taylorist management theory to software engineering. It never caught on despite all the marketing they've done-- it's only popular in military circles. I shudder to think what they are telling students about testing.

You can disagree with me, of course-- but in doing so you have to admit there is at least a schism in the industry among various schools of thought about what testing is and should be. My part of the field considers testing to belong to social science, not computer science.