skysight-inc/HackerNews huggingface dataset:
they do not fully own said proprietary sql test suite. they've licensed it. that's why they can _run_ it but not publish it or share it. That's at least how I remember Richard Hick describing the situation at a talk.
Cannot speak for the community, but I'd assume that the right thing would be to handover Redis brand to a FOSS foundation.

Anything else just complicates things, like we see today, where Valkey and others are referenced as being Redis compatible (at least as far as RESP is concerned), and we either have specific clients (such as valkey-go), or existing Redis clients, that seem to want to maintain compatibility with most (all?) of them.
This piece, while providing context, makes me question basically everything about Redis, despite it's lovely API.

Antirez extolling the virtue of the current LLM wave of hype coupled with his bizarre apologism for Redis Labs behavior is less strange than "why is this guy not 1)personally extremely wealthy 2)having reserved some key powers and control from Redis Labs from day1 such that he could have steered this, aka why content to be a somewhat powerless entity throughout the whole story of what happens to rhe software he wrote"

I also felt like the entire essay felt milquetoast as if Antirez was assigned to do damage control and upon recitation of the actual events, felt the need to defend his own choices to himself, as if he didn't even believe himself, defensive?

I have a huge amount of respect for the core design and its philosophy, FWIW
https://en.m.wikipedia.org/wiki/Great_Hearts_Academies

Note that their "officially" Christian schools are private: https://christos.greatheartsamerica.org/

So in theory their charters are more secular, but they're going to get as far up on the line as they can.

I have (a not close) relative who is sending his kid to a different charter where their whole website is about how much patriotism and flag rah rah is in the curriculum and how they adhere to traditional gender roles, but for the life of me I can't remember the name.
Isn't that how all companies operate? For instance, GM reconsidering Cruise is clearly from Mary Barra, but the decision is overall a GM decision. Saying "Mary Barra is shutting down Cruise" would just seem childish.
Humans can also decide they want to get a better look at something and move their head (or block out the sun with their hands) which cameras generally don't do.
> And killing the infowars brand means little in the short/long run. The real brand is Alex's name. It's not like his audience will suddenly not follow him to a new show with a new name.

This is absolutely true. Other media people that lost their job or channel, handle on various platforms, typically refresh to the same number of followers within a year or two.
There are multiple threats to meritocracy. Nepotism and hedonism are two. What can you do about those?
That's what congestion pricing is for.
https://eprint.iacr.org/2015/1018.pdf

As pointed out in [57], there has never been a genuine implementation of Shor’s algorithm. The only numbers ever to have been factored by that type of algorithm are 15 and 21, and those factorizations used a simplified version of Shor’s algorithm that requires one to know the factorization in advance.
Show HN: Powerdrill – Leverage LLMs to Simplify Data Analysis
Powerdrill is an AI tool that enables users to chat with their data to get anything they want to know from their data. It's designed for individuals who need to work with data regularly but have limited data analysis skills.
Users only need to input their questions. Then Powerdrill understands user queries, generates Python or SQL code, executes it, and provides answers with valuable insights and visualized data.
Powerdrill supports various types of data, including PDFs, Word documents, Excel sheets, TSV files, and databases.
It also offers data agents that save users time on repetitive tasks, such as generating reports and presentations with a single click.
Unfortunately, sometimes the law allows for the legal murder of people by pen. More people are killed by keyboards and pens, and I don't mean like John Wick, than are killed by guns because we have "for-profit healthcare". That means that the motive of the company is not determined by whether their decisions will kill people by the policies they create, but whether the decisions they make will be profitable. As long as those decisions don't run afoul of the law, they can kill at will. If that sounds fucked up, it is because it is fucked up.
Heat disproportionately kills young people (study in Mexico)
> They don't have a judgement of ownership in infowars they have a debt and the court is forcing Alex to sell all assets to cover the debt.

It's a chapter 7 bankruptcy, the bankruptcy estate already owns the infowars assets.

> There are rules around this process for a reason. If you allowed someone who has a debt judgement to just take over a company what is it's true value. Alex could try to value infowars at a trillion. So they put it up for an auction to get the real value. That's the fairest way for all cases.

Specifically, the reason is protecting minority and junior creditors (including the debtor when assets are in excess of debts). If nobody offered up enough cash to pay off the debts in full and there is only one creditor who would rather have the business than the best cash offer, I don't think there'd be any reason for the courts to object. The big issue is, again, minority creditors getting less than their "fair share" of the assets, along with over-compensating senior claims with junior ones outstanding.

Neither are at issue here - The Onion's offer paid more cash to the minority creditors, the majority creditor opted into the deal, and the assets are clearly worth less than the debts.
I've struggled with "but factory farmed meat and dairy conflict with my moral beliefs" when trying keto. It's nice, but very challenging to do sustainably if you have dietary limits like that.
This was my first thought too. AFAIK each layer encodes different information, and it's not clear that the last layer would be able to communicate well with the first layer without substantial retraining.

Like in a CNN for instance, if you fed later representations back in to the first kernels they wouldn't be able to find anything meaningful because it's not the image anymore, it's some latent representation of the image that the early kernels aren't trained on.
The sentence you quoted is a decent simplification but you probably shouldn’t take it too literally. It’s not really that the melody uses exactly seven notes. It is that these seven notes form the harmonic context that the chords and melody sits in. Normally that also means that the notes in question will be the most common ones in both chords and melody, but you can certainly use other notes as well.

A key is really an “I know it when I hear it” thing. The notes used are just one of many clues working together.
eh, probably both. Why does it have to be a fight between two schools of thoughts? Thoughts can be across-modal. Some of it can be done in specific language or some could be visual.

(universal grammar peoole hates this somehow, it's weird)
as mentioned elsewhere, weather.gov has accurate enough predictions for stuff like rain.

It's good enough that i can confidently claim on a wednesday that i need to leave some place before 16:30 because there's a storm coming that i saw on weather.gov the preceeding sunday or monday. and there's a 75% chance that it will be raining at 16:30. This may not sound impressive, but in Louisiana knowing when a storm system is coming as opposed to some rain is probably pretty taxing on weather models; and is nearly universally good information to have.

I find i can't rely on the temperature and humidity readings, the "local prediction center" is in a concrete jungle (near an "international" airport, to boot), and "town" is consistently 7 degrees warmer than where i reside. Other than that, if it says temp below 32, it will freeze. if there's a heat advisory, we feel it too, just less so than town 20 miles away.

Hope this helps, and i hope other countries/regions do this as well as weather.gov - it just works! I do use ventusky for tropical system paths and the like, if the gov site allcaps weather briefing doesn't give me enough detail

my android phones always say "30c", no matter what settings i change - the built in weather thing is just broken.

As far as phone apps go, i don't know any good weather ones. I've never used ventusky on a cellphone, either.
> If we solved SAT, well, no one cares about SAT

Really? SAT is the question "I have a set of constraints. Is it possible to obey all of them at once?"

If it were impossible to use that question to answer any other questions, I'm pretty sure there would be a lot of interest anyway.

It's kind of like how a lot of people care about the determinant of a matrix, which is exactly the same question set against a much more restrictive set of possible constraints.
Power is not the point. The point is just that probabilistic TM's (i.e. TMs with a random oracle) are different. For example, the usual proof of the uncomputability of the halting problem does not apply to PTMs. The proof can be generalized to PTMs, but the point is that this generalization is necessary. You can't simply reduce a PTM to a DTM.
Well I'll be dead by that timeline so it matters a little.
Viva la revolution.
so books 9.99 or less means 30% - data fee

wonder what data fee means?
As a cyclist I’d rather take my chances with streetcar rails than with cars. Rails don’t appear from nowhere and hit me.
There are peaceful means to affect policy. But not only you have to vote for the right people, you also have to let candidates know what they have to promise in order to gain the votes.

This election cycle nobody quite focused on healthcare; more abstract culture wars were in focus instead.

You can't blame that on congress and on judges etc. The whole society is responsible. The way we talk (or not talk) to our relatives and neighbors has profound effects on the society you'll live in
Cell phones are little dopamine bags that we give our kids to carry around, and squeeze whenever they need a "hit". (Paraphrased from Scott Galloway)
If you think the system is designed to do anything but transfer wealth from the poorest to the wealthiest, then you should seriously do some critical thinking on the subject.
Small correction: The PAL doesn't handle presidential authentication. It's an extra layer of security to prevent a third party from detonating a warhead should they come into physical possession of one, and is (presumably) a static code which is integral to the operation of the weapon itself. Changing it would require complete reassembly of the warhead. The presidential authentication is handled by the missile crew, and the codes rotate daily. The PAL code is fixed and kept safe in the silo, where it is only accessed and input after the presidential order has been authenticated.
That is indeed what I was referring to. To clarify, plenty of classical physical models work only with distributions too. You don't need a random oracle because your model doesn't predict a single microstate. It wouldn't be possible or useful to do so. You can model the flow of heat without an oracle to tell you which atoms are vibrating.
You run the risk of the old regime continuing in some form and a repeat in a decade of the same war. Germany surrender in The Great War and the world was back at it again 15 years later.

This played a big part in the attitude of do it right this time.
[1]

I don't understand what your purpose here is if you're just going to insult.
i was using scikit-learn or some other scaffolding/boilerplating similar software for doing predictions and i hate massaging data so i just generated primes and trained it on the prime series to like 300 or 1000, then had it go on trying to "guess" future primes or assert if a number was prime or not that it had seen before

and hilariously it was completely wrong (like 12% hit rate or something). I complained online and i forget the exact scope of my lack of understanding but suffice to say i did not earn respect that day!
"Hapless" is the word that comes to mind.
I mean, if the OSS you write gets commercialized and you aren't the one commercializing it...
They have plenty of time to suffer between diagnosis and not being able to be aware of the world at all though. Dad had years of depression due to the gradual decline before being incapable of communicating.
Taking the man's source of income is absolutely a way to get paid. He can work a day job like anyone else.
It's very creative! LOL
But in practice most my tables that are uncapped end up with IDs are 64bits and i suspect not being the only one.. 32b is in fact quite small ~ 4B rows.
this is great news. I can see the chop framework aficionado directing the react library to hammer on the wordpress template, where are my shades?
The next administration's think tank's plan to solve this is to eliminate the program altogether. There was also talk in a video I think from Jamelle Bouie of the NYT talking about these groups going further and declaring anyone that subsequently went on to be naturalized while living here under these and other programs to have their citizenship revoked. The idea being that only applying for citizenship under the slow process while you are in your home country will be seen as legal, and this is a part of the Chevron Deference ruling. I'd love to hear anyone weigh in on that from a legal standpoint, or offer anything specifically refuting it, and of course all of this will be immediately challenged, so, no reason to feel like the fight has been lost before it has begun.

Some stuff about wanting to highly restrict these programs:

https://www.rnlawgroup.com/project-2025-and-work-based-immig...

https://www.murthy.com/2024/07/29/how-project-2025-could-imp...
Ucacher: Speeding up GitHub Actions via syscall instrumentation
Ah, so it's all pointers after all...
Hi, now we adopted a dual license model (AGPLv3 and ELv2).
When using Desktop Linux, how are applications prevented from using camera, microphone, address book, etc without user agreeing to it?
Perhaps you're right, but it did come with a very large cost in lives on both sides.
> it seems painful to know that family suffers the loss of the same person essentially twice

Speaking from second-hand experience -- that is, seeing my father experience the loss of his aunts/grandmother "twice".

One of his aunts was like a mother to him (his mother passed when he was 2, his father when he was 21). I feel that he really only suffered the loss once: when she succumbed to Alzheimer's.

The loss was mostly grieved then, and by the time she passed, he had already grieved. I'm not saying her death wasn't hard. But in a lot of ways, I feel like there was as much relief and peace, as there was suffering from her death. By the time of her death, she had been long gone anyway.

Of course, everyone is different, and every loss/Alzheimer's diagnosis is different. But it seems like you can lose someone you love in a number of ways, and often multiple ways, before their ultimate passing. And each one of those partial losses seem to add up to ~a single loss of mourning/grief, rather than experiencing full grief for each one.

Another example is simply having geographical distance from a loved one. Moving away (or them moving away from you) can result in experiencing (grieving/mourning) a loss. And then once they pass, you've already partially grieved, and the additional grieving is lessened from already having been distanced from them (vs. other loved ones that still live close, and grieve more from having them a part of their lives more frequently).

Again, this is just from my experience/observations from seeing how those close to me have grieved. Others may feel differently.
>You cannot conclude that USA has excellent educational system if it delivers the great outcomes for certain advantaged subgroups.

If group B has characteristics that make education more difficult relative to group A (e.g. lower mean IQ), then if there are two countries with identical educations systems, the one with more students of group B will end up with worse educational outcomes, just because group B are harder to educate regardless of the system.
there probably already is, and it's deployed with a kill-switch one would hope at the HFT firms.

I don't have any insider knowledge but i'm pretty sure that one Quant group that everyone knows about probably figured out most of the "tricks" used to get llms and SD to really take off a decade before anyone else. iirc they consistently get like 30% or greater returns, which is practically black magic and means that they have something that can see a pattern(s) in the data.
A couple of things here:

- the WASI build is targeting WASI snapshot preview 1, and so should work in any compatible runtime.

- for the web, currently we use Emscripten, but we are considering moving to a single WASI build there as well. We'll be writing our own JS WASI shim if we do. Having full control of the JS code will help to solve some of the problems we've faced with Emscripten.

- we are also exploring a route to native where we take the WASI build and decompile it back to C. This seems a little mad, but it makes it possible to compile (with any tool chain) a native binary with a very minimal WASI-like api that can be linked to from any app. It essentially end up a little like the SQLite amalgamated header file as a build route. It's very experimental, and we haven't committed to it yet, but it looks like it may work.
To be clear, Poland has recorded high economic growth, not increasing the quality of education.
Neither are the gradual decline before that. At least there can be time to prepare for the inevitable.
He can't pay his debts. What alternative to bankruptcy do you propose?
It's also nonsense, if that was true then every merger and acquisition would need fresh Twitter accounts. He's thumbing the scale here and back justifying it.
my understanding is they lied to regulators. telling the truth is easy. lying is their fault.
Nope. An excerpt from https://www.nature.com/articles/s41586-024-08252-9:

>Figure 2 shows some of the forecast samples of GenCast for Typhoon Hagibis, shortly before it made landfall in Japan on 12 October 2019. Figure 2b–e,g,h–k,m shows that GenCast forecasts are sharp and have spherical harmonic power spectra that closely match the ERA5 ground truth at both 1- and 15-day lead times
No theory can stand on steady ground without the critics checking its foundations.

It's a shame we cast their role in the history of science in such a negative light, as if science was a game to be won or lost instead of a collective process where a clear path forward only appears in hindsight (only to be proven wrong again sometime later) .

Oh yeah, and that anecdote you told about tectonic plates screams survivorship bias; that's the problem with anecdotes.
There was no public auction of InfoWars. That alone is a stain on the whole process. The objective of a bankruptcy court is not to institute some arbitrary meta-ethical standard. It is to deliver maximum cash to the creditors in a fair manner.

>Is the issue that there are other creditors who are unhappy with this, who would get paid before the aggrieved families' damages would? The lawyers seem to be fine with it, as they're the ones advocating for this plan...

Based on discussions I've heard on this subject, a subset of the families was pledging money they didn't have in the non-competitive bidding. This is highly questionable. They may never receive the money they claim for the purchase. So by buying a real asset on the promise of money they aren't going to get, it is taking money away from other people who are rightfully owed money. If they wanted to do it the right way they could try to borrow the money from someone, but nobody in their right mind thinks Alex Jones has this money or ever did. The size of the judgement was calculated to lead to exactly this conclusion. As you said, the judgement was orders of magnitude more than the value of his company. So you should be satisfied with that. It is not necessary for the funniest possible outcome to manifest in order for justice to be served. Alex Jones will not go away because he has rights just like anyone else, and the legal process must conclude eventually.
Because of the Citizens United ruling by the Supreme Court of the United States, money is speech. Therefore the more money you have, the more speech you have, and the more speech you have the more loudly your voice is heard. The more money you have, the more political influence you have. Because of the Citizens United decision, the politicians are no longer beholden to the will of the voters, but to the will of the donors. The Supreme Court is not supposed to make law, that is the providence of the Congress, but here they made law. Money is speech and corporations are people. If you can't match their donations, you shut sit down and shut the fuck up because you do not count anymore with your pithy vote an no money to donate.
As the other replies say, you don't get to stop paying taxes, but the local school does get to stop receiving them.
I like to do lazy keto (which is easy, just forget to buy snacks after you run out) but always find I'm thirsty and specifically always want miso soup. Maybe that's why.
As far as I can tell, the Gnome project wanted to make sure that their core apps have a unified UX design, and updating Gnome Terminal to match the other core apps would've been difficult.

Meanwhile, someone had developed a terminal emulator for use in Phosh on their Linux phone, calling it "King's Cross."

Apparently (maybe because it was designed for mobile use) this new terminal emulator meshed better with Gnome's UX, so it was adopted as a core app and christened Gnome Console to distinguish it from Gnome Terminal.

Clearly, Ubuntu doesn't want to simply copy whatever Gnome's doing, but apparently doen't want to stay with Gnome Terminal either.
It's a good questiopn why that is so. But I wouldn't draw from that the conclusion that Universe somehow "calculates Pi", and then puts it in all the forces it "has" so it turns out in our formulas. That is rather fantastical way of thinking and I do see its poetic appeal. A bit like "God doesn't play dice, or does he?"

What is calculation anyway we may ask. Isn't it just term-rewriting?
> I do not recall it being particularly difficult and most students were able to do this stuff. I'd say that by the end we had 100% success at this out of the 50 students or so in my class. Is this algebra in the US or is it the group theory stuff we studied later on.

Your parent comment is talking about solving a single linear equation such as "5x + 2 = 1". That's where "algebra" begins in a US pre-university context.

In a university context, "algebra" does indeed refer to group theory, and the basic concept of manipulating a numeric variable goes by the more elevated name "college algebra".
The US is a defacto oligarchy due to the Citizens United decision. At least try understand what you are talking about.
The problem very much is binary. Ocne you have a self sustaining feedback loop going it's game over.

Its a gradient until it isn't.
The offer would have seen the families temporarily forgo immediate cash in return for future ad revenue.
Ultimately, the parent has the full responsibility for their kid, because they have way more involvement in developement of the "core" neural networks of the child.

Not enough emphasis is placed on this.