skysight-inc/HackerNews huggingface dataset:
"I can understand that, but the thing about the BSD license is that such value never gets lost."

That is one side of the coin: value never gets lost!

The other side is that the BSD license is very clear what it allows. It's a good thing that there are licenses that allow what Redis did.
It is also a good thing that there are other licenses which can help prevent what Redis did.

It is our choice as developers and we should never blame others for exercising the rights we granted them.
Is that a prediction in the form of "There's a 30% chance of light rain that day." or "Temperature will reach 22,5°C at 14:00."?
The entire point is to protect against those (like the owner of the hardware) who have physical access.
See also this fantastic podcast (if I remember the episode correctly, although it doesn't matter much as they're all good and he talks about the subject frequently because it's tightly related to his day job)

https://www.preposterousuniverse.com/podcast/2022/06/06/200-...
Context is an interesting key here, I think. That point in the US coincided with a increased interest in First Nations, and in some places a renewed attempt to preserve their heritages, especially linguistically. The US generally sees itself as a nation of immigrants and one axis of its "Freedom of Speech" has historically seen the usefulness to speak one's own language, whatever it may be. Diversity of languages has been a goal for the US at various times in its cultural history. In that context, "what's the most diverse language that Americans speak?" is a question you can ask, and an answer you can find without much difficulty.

Japan had one and only one national language. Japan didn't have the culture of thinking of itself as a melting pot where many languages might meet. It probably wouldn't have thought to ask that question at all "what's the most diverse language that the Japanese speak?" In practice, we can assume that's also why it confused the Japanese for so long in the war, it wasn't a question to think of themselves, it probably was a hard question to ask of Americans if they saw "English" as the national language they might also not think to ask "what other languages do Americans speak?" or maybe even "why isn't this English or a derivative of/code for English?"
I think the README is missing some examples of what this can do. I used it for a script that marks every mail as seen:

#!/bin/bash

while true; do
# Run the command and capture its exit code
result=$(himalaya envelope list --folder INBOX --page 1 --page-size 100 --output json not flag Seen | \
jq -r '.[] | "\(.id) Seen"')
exit_code=$?

# Check the exit code of `himalaya`
if [[ $exit_code -ne 0 ]]; then
echo "No more unseen emails to process or an error occurred."
break
fi

# Check if result is empty
if [[ -z "$result" ]]; then
echo "No more unseen emails to process."
break
fi

# Process unseen emails
echo "$result" | xargs himalaya flag add

echo "Processed unseen emails. Checking for more..."
done

I'm not a shell coder and while writing the script I wasn't sure if the better way would have been to use the underlying Rust library, but that probably would have taken longer to build for such a small task.

Another idea I had was to use it to sort mails into folders by the receipient address suffix (my.name+amazon@example.com would sort into the amazon folder), which should be possible if I have read the man pages correctly.

Anyway, thanks for this, not sure if this is the "best" way for me to work with mails but it absolutely is the first tool that made me start automating my inbox.
don't forget the people who try to exploit the institution for their own gain. Thus ensuring institutions are bogged down in bureaucracy to prevent that.
Well there was this guy called Ted...
I develop a modular media center compatible with Stremio addons for Apple platforms. It's called [Vidi](https://vidi.plomo.se/).

I've done zero marketing and have a few thousand users from organic growth alone since August. It's a one-time purchase type of deal and I'm overwhelmed by positive feedback.
Good point. Earlier I mentioned languages insisting on the key/value side, but I totally include starlark and the imperative paradigm into the equation. There is also things done in the Typescript side and the goal is always similar: add safety for catching errors earlier. There should be a choice for everyone's flavor of that.
They claim 100% on https://en.wikipedia.org/wiki/Modified_condition/decision_co...

However, unless you can guarantee that every branch tested has been covered for all possibly relevant application states, that does not preclude CVEs.
Where did you get the hardcopy? (I already have the paperback for "Crafting Interpreters", but I prefer to buy hardcopies if available)

As far as I was aware, there are only paperbacks.
Archive https://archive.is/20241210211353/https://www.bloomberg.com/...

QUOTE:
Cruise and GM’s technical teams will be combined into a single effort focused on developing autonomous technology to offer in future models sold by GM, according to a statement
Tuesday. GM said it will no longer fund robotaxi development work “given the considerable time and resources that would be needed to scale the business, along with an increasingly competitive robotaxi market.”

It’s a big retrench for GM and Cruise, which survived a shakeout among autonomous-driving companies and restarted operations after one of its cars dragged a pedestrian last year.
...

The move has significant implications for GM. Chief Executive Officer Mary Barra wanted to transform the automaker into a transportation technology company and double GM’s revenue by 2030 in part by generating $50 billion from Cruise. Without a robotaxi business to bring in fares, that goal looks remote.
/QUOTE

The business of robotaxis has always been a bit suspect, given the unit economics of running 1000s of taxis, each with ~$100K of equipment (even as the COGS were coming down each generation).

My 2c: the only reason Waymo is succeeding (so far) is that its parent Alphabet has deeep pockets, it has a a 6th gen (?) technology of its AV driver, and they already exited the other AV trucking segment... implying they need to succeed in robotaxis, so it's all hands on deck.
It also helps that they have, so far, NOT blundered their way (=> a significant pedestrian collision) the way Uber ATG did or Cruise did.

This is a loong game to win, far longer than anything the tech bros have promised their their investors... We are still in the initial innings
http://profileoptimizer.org/

LinkedIn Profile Optimizer is an AI-driven service designed to enhance your LinkedIn profile, making it more appealing to recruiters and expanding your professional network. By analyzing each section of your profile, it provides personalized recommendations to help you stand out.

Key Features:
• AI-Powered Analysis: Thorough examination of your profile to identify areas for improvement.

• Tailored Content Suggestions: Customized advice for posts and updates to engage your audience.

• Optimized Headline and About Sections: Creation of compelling summaries that highlight your expertise.

• Profile Visibility Boost: Strategies to increase your profile’s reach and attractiveness to recruiters.

• CV Generation: Development of resumes tailored to specific LinkedIn job postings.

• Content Strategy Development: Formulation of plans to effectively engage your network.

By comparing your profile to industry leaders and staying updated with LinkedIn’s latest trends, LinkedIn Profile Optimizer offers actionable, prioritized recommendations to elevate your professional presence.
Yeah I'm in the latter camp where I manually move to money market funds. I don't avoid these platforms because I treat the uninvested cash as a checking account: my bills are paid through this account. I feel better comparing it against a regular checking account that pays zero interest.

To be frank, I do not think it should require people to hold some minimum cash amount. Rather, the brokerage can require that buying securities with this reserve cash should be manual, and not automatic. That still gives savvy investors a way to do it manually.
> Small anecdote: I visited a GM dealership this week and the salesperson told me Super Cruise was not enabled for test drives. The excuse was pretty weak, like the dealership would have to pay for the service or something. GM might have the technology but they are completely bungling the strategy.

Sadly this is believable, I've asked to check out things like remote start and control of heating/cooling, and the sales people cannot show those features off because they require an app + subscription tied to the car.
Bruce: Predatory ESP32 Firmware (OSS Flipper Zero Clone)
MSR has a very clear and accessible tutorial on quantum computing for anyone interested in getting up to speed with the fundamentals: https://www.youtube.com/watch?v=F_Riqjdh2oM .
I have come across this notion exactly once in the discourse so I don't think it's "taken over"

Another way to look at it is that inequality is too high, even for the top 0.2% that can't break into the top 0.1%. Being civil increases inequality. It's a curse of civilzation.
Sure, but with this new predictive model we will have better predictions to work backwards from.

OC was saying (I’m going to paraphrase) that this is the death of understanding in meteorology, but it’s not because we can always work backwards from accurate predictions.
That does not show that immigrants are more violent.

Gang violence is not the only form of violence. Are there really no forms of violence which are concentrated in highly segregated ethnic Swedish neighborhoods?

And there are non-violent crimes.

Another question is, are the numbers of immigrants who do not live in highly segregated immigrant neighborhoods with gang violence? It looks like over 1 million people in Sweden were born outside of Europe, or 10% of the population. They can't all be involved in violent crimes.

The Wikipedia entry for Husby points out the crime rates increased 'after the closure of the closest police station to Husby, in Rinkeby, in 2014. The station was reopened on the first of September 2023.' The Economist article you linked to was written in 2020.

Which leads me to wonder if immigrant neighborhoods were under-protected, which would place at least some blame on government failure rather than the people living there.
Also hard to disconnect when these content sites make money from you staying glued. From features to trending content; it’s all designed to keep you moving from one thing to the next, but always on the site.

As a software developer there’s the added pressure to, always be improving or be irrelevant. This is on top of the fear of missing out from content creators farming engagement. That’s a lot of pressure to stay engaged and keep watching.

I don’t always disconnect myself. But I am happiest when I find a better balance between what I consume and create. I feel better when I’m creating something. And some times that means I have to be more selective about what and when I consume.

Try using playlists and schedules. Allow yourself a space to explore and consume. Just be mindful and try not to go over your planned time for it. I find it helps prevent me from feeling guilty about spending too much time and alleviates the feeling that I might miss out on something neat.
> using the last hidden layer

iirc this is a well supported task iirc called "classification head" instead of "language modeling head" in case anyone else wants to do this as a fine-tuning project
I've been editing Wikipedia literally for decades and I'm astonished at the vitriol in these comments. Would any HNers care to share any examples of actual articles that showcase this "extreme ideological slant"?

Yes, editing Wikipedia is harder than it needs to be and you better have your Kevlar underwear on before venturing into hot potato topics, but there's a lot more to Wikipedia than that and contributions to more obscure/factual articles are generally more than welcome.
Show HN: Book on writing many kind of cool software from scratch
Still incomplete, but WIP!
Ultimately, a hybrid approach might win out in the end.

Use equations for what we know, use machine learning to fit parameters in the equations, as well as terms we don't know.

Prople nowadays can solve differential equations where some terms are "neural networks" and train those networks on data while numerically solving the equation. (some people call it "neural differential equations", if you want a search query to start)
Phone keyboards are a big security risk.

Is there a way to completely block them from accessing the network?
> Question then becomes, how do you build such non-constrained machines? Also, how do you confirm that such machines—or even small scale prototypes—are not constrained by classic laws of physics?

You mean, like... transistors? ;-)

https://en.wikipedia.org/wiki/History_of_the_transistor (search for quantum)
AI may not replace good journalism but it will flood the world with garbage so that it makes good journalism harder to spot for the average individual.
>Google/Waymo ... Amazon/Zoox ... Uber/Yandex ... GM Super Cruise ... Ford BluesClues

Conspicuously absent is The Car+AI Company That Shall Not Be Named.

That's the one the press release is referring to, I guarantee it.
Interesting! Is there anything like this that I could host myself?
Is this open for investors outside the USA? LLC?
as much as I dislike the hyperscalers parasitising open source...

"redis ltd" the company did not originate redis

"redis ltd" was originally "Garantia Data": a company that offered hosted redis as a service

fundamentally they are/were doing the same thing as AWS/Google: taking an existing open source product they did not originate, and selling hosting for it

they may have hired its creator (several years after he wrote it), and since then changed their name to "redis", but they're not any different to GCP/AWS

other than the complaining about others more successful business models

this is very different to e.g. sentry
Great point. Thanks for sharing.

I admit I get the cart before the horse.

I'm not looking for life changing money, but it would be nice to actually be able to submit a $500 mrr project here on HN.

These are my favorite threads
In many worlds the probability observed can absolutely be thought of as the ratio of worlds with that outcome vs another. Any specific numbers here are just as an example.
https://archive.ph/sAVVp
Thanks for the kind words and being a subscriber!
Define "our understanding". With complex / chaotic systems there sometimes are no higher level laws that govern them - all we have is just modeling and prediction.
Universe does not calculate the digits of Pi. We do.
> I believe in ideas, in debate, in persuasion

do you? Are you open to be convinced of the opposite of your view on this issue?

> I think despite the huge amount of noise we're all seeing about this, in absolute terms I think 95% people the population is firmly on the side of "murder is wrong"

I think you are wrong. Society very often sides with the side that is perceived as the threatened person acting in self-defense even when they use violence.

Also we cannot rule out racism. If the killer wasn't white (then fit for the role of hero in the US), it would be all different.
You should tell people that don't get it subsidized that they don't matter because they're too rich.
It sure has a way of making you feel old right? Thanks for using PortDroid :)
I think the point is that it might not happen in five years but it will certainly happen in 20, and we should still be as concerned about it then as we are now, because such a powerful technology could definitely spin out of control.
> Releasing code under a BSD license is making a promise that you are OK with people using your code for commercial purposes.

That's just a microcosm of the larger issue, isn't it? Contributors : Redis :: Redis : AWS - Redis gave Amazon the permission to host and make money off of Redis, but Redis was evidently salty about the state of affairs. I think contributors have reason to be salty too.
Yeah, redoing this site is on my list.
>There is no problem unless you insist on reflecting what you had in mind exactly.

Not disagreeing, just noting: this is not how [most?] people's minds work {I don't think you're holding to that opinion particularly, I'm just reflecting on this point}. We have vague ideas until an implementation is shown, then we examine it and latch on to a detail and decide if it matches our idea or not. For me, if I'm imagining "a superhero planting vegetables in his garden" I've no idea what they're actually wearing, but when an artist or genAI shows me it's a brown coat then I'll say "no something more marvel". Then when ultimately they show me something that matches the idea I had _and_ matches my current conception of the idea I had... then I'll point out the fingernails are too long, when in the idea I hadn't even perceived the person had fingers, never mind too-long fingernails!

I'd warrant any actualised artistic work has some delta with the artists current perception of the work; and a larger delta with their initial perception of it.
https://archive.ph/HGG0B
Alternatively the can do back testing - using historical data they feed a subset into the predictor, then compare it's predictions to actual history
Yep, but developers signed away their rights to MongoDB Inc. That is why I wrote "contributors who keep their rights in their contributions" above.

It is what makes all the difference between MongoDB and Linux, for example. What happened to MongoDB could never happen to Linux.
Isn't it a shame though that we created something like the internet that could have been a good thing and now it's a nightmare like this due to AI? It seems illogical that the same people who theoretically love the internet also created the technology that will make it a nightmare, but I guess money does that to them.
Just edited to add it in. Wikipedia says they're not going into production until 2027 though, and unlike the others I don't think they're operating in any markets.
> Isn't there basically Google/Waymo and then, seemingly much further behind

Yes. I think GM leadership has finally learned enough to realize how far behind they are.
https://github.com/rochus-keller/Luon
I am mostly playing devil's advocate

> and reality does not collapse immediately

How do you know that reality does not collapse immediately? At any given instant you could be a fresh brain that just came into existence, all your previous memories which imply a life lived up to this point also formed in that same instant.
> While US has excellent education

The US has excellent post-secondary education. K-12 seems to be a mixed bag at best, especially in bang-for-the-buck terms.
> Races do not exist, it is a scientific fact.

Races do not exist in the same sense that the periodic table does not exist. Both are constructs over reality, and they are both informative (i.e. science).
Do you honestly believe any of the SQLite authors or its millions of users (especially deep-pocketed companies like Apple) lose any sleep at night over this?
But revolutionary fascism is but one variant within a broader palette, is it not?

If we substitute "The West and its degenerate values" for the usual enemies, then Stanley's definition seems to describe Putin's regime quite succinctly:

In his book How Fascism Works: The Politics of Us and Them (2018), Jason Stanley defined fascism thusly:

[A] cult of the leader who promises national restoration in the face of humiliation brought on by supposed communists, Marxists and minorities and immigrants who are supposedly posing a threat to the character and the history of a nation ... The leader proposes that only he can solve it and all of his political opponents are enemies or traitors.

I would agree that Putin is not an archetypal fascist in all categories - but he does seem be on the spectrum.
COVID is known to cause neurological damage including brain damage. I think we're now seeing the collective impact to IQ due to repeated COVID infections.
If you have a Mac, get "Draw Things": https://drawthings.ai/releases/

It supports all major models and has a native Mac UI, and as far as I can tell there's nothing faster for generation.

The "best" models, and a bunch more, are built-in. The state of the art is FLUX.1, "dev" version for quality, "schnell" version for speed.

SDXL is an older, but still good model, and is faster.
Scientists say it's time for a plan for if AI becomes conscious
> The Migrants eating Cats story for example — the national networks ran statements from certain local officials but didn’t actually go there and interview or investigate directly.

This is just trivially debunkable. Video evidence to the contrary - with CNN reporters wandering through town, interviewing locals - takes seconds to Google.

https://www.youtube.com/watch?v=BTWHDF-2FlI

Here's PBS doing the same - drone shots, interviews in local churches, talking to Haitian families in the area, for a detailed ~9 minute segment:

https://www.pbs.org/video/ohio-city-with-haitian-migrant-inf...

It got more investigating than the wild, baseless claim deserved, if anything. Especially considering the person who started it recanted.

https://www.nbcnews.com/news/us-news/-just-exploded-springfi...

> The woman behind an early Facebook post spreading a harmful and baseless claim about Haitian immigrants eating local pets that helped thrust a small Ohio city into the national spotlight says she had no firsthand knowledge of any such incident and is now filled with regret and fear as a result of the ensuing fallout.
I share Marcel's view, a DSL is the ideal position on the configuration complexity clock. CUE in particular is ideal for configuration because of how it handles unification.

I wrote up why we selected CUE here, with links to explanations from Marcel who explains it better than I: https://holos.run/blog/why-cue-for-configuration/

These comments in particular reminded me of Marcel's video linked at the bottom of that article, where he talks about the history of CUE in the context of configuration languages at Google: https://www.youtube.com/watch?v=jSRXobu1jHk
But in this specific implementation the keys are stored separately, each one at its own malloc()ed address. So its performance is limited by memory latency, cache (non-)locality, etc. just like the chained-lists variety.
> > The SQLite3 business model is that SQLite3 is open source but the best test suite for it is proprietary

> no.

> the business model is services, and a red phone to companies who use sqlite in production. like nokia back in the days when we had these little flip phones, or desk phones had a "rolodesk" built in, or many other embedded uses of a little lovely dependable data store.

Members of the SQLite Consortium surely have this "red phone" you speak of. So in what way was my characterization of their business model wrong?
The article mentions the bad guys in this case are Chinese scammers that acquired the newspaper's domain and filled the site with lightly-rewritten articles from legitimate sources.
https://www.fidelity.com/spend-save/fidelity-cash-management...

(Note that SPAXX was up to about 5% 7-day yield within the last few months, IIRC, but currently 4.25%.)
The hardware is progressing, we have a issue though: we don't have algorithms to run on quantum computers. Besides Shor's algorithm, useful to break RSA, we have nothing.

Just vague ideas like: it could be useful for quantum simulations or optimisation or maybe ...

If tomorrow we have a full running quantum computing what would we run on it? We are in a vacuum.

The only hope is a breakthrough in quantum algorithms. Nothing in sight, not much progress on this side.

Oh yes, Zapata Computing, the best funded company in quantum algorithms just went under this year.