skysight-inc/HackerNews huggingface dataset:
zsh-vi-mode: A better and friendly vi(Vim) mode plugin for ZSH
I don't have much Rust-specific experience, but I wonder if you need a library for this when the language/compiler is doing all the heavy lifting. When working with Elm, for example, that uses that a lot for the Model-View-Update framework, you just define your model states and pattern match them to build the view and update functions.
But that’s not really the way information works. If you say that and don’t immediately follow up with saying “but Bob is an untrustworthy source of information and is often full of shit, don’t believe it”, then a person looking for information on whether or not Joe is a pedophile will take that as a ringing endorsement of Bob’s statement.
OTP itself is very definitely worth learning about even if you aren't using it directly.

Reading up on the Erlang GC was fun.

So was reading Kernel.ex (Elixir's bootstrap file)
“Restoring a link to content Google had indexed which called someone a pedophile” is a lot different than the content itself and was just fined $500k. That’s a lot of liability for a link. That means any time someone asks for content to be taken down there’s a lot of risk in saying No.

The censors will win. The reputation management firms hired by billionaires will win. They will silence criticism, even true criticism. Even, especially, when they are in fact pedophiles, they will win a fight with Google, demand the Google AI take down all content that suggests they are anything but saints.

This world is coming. It may be here within a decade or two. HN used to be a place where people thought this was a bad thing.
Here goes.

n^m = m^n, so n^m and m^n share the same prime factorization. Call it p1^x1 * ... * pk^xk.

n = n^m^(1/m) = p1^(x1/m) * ... * pk^(xk/m)

m = m^n^(1/n) = p1^(x1/n) * ... * pk^(xk/n)

Therefore each xi is divisible by both n and m, so it's divisible by lcm(n, m). Call lcm(n, m) = d. Now define:

z = p1^(x1/d) * ... * pk^(xk/d)

Both n and m are powers of z!

n = z^(d/m)

m = z^(d/n)

Call a=d/m and b=d/n. Then:

n^m = (z^a)^(z^b) = z^(az^b)

m^n = (z^b)^(z^a) = z^(bz^a)

n^m = m^n -> z^(az^b) = z^(bz^a) -> az^b = bz^a

EDIT: continuing proof.

That's as far as I've got. Can someone run with it?
I recall talking with a 70 year old physicist who was the last professor forced out by mandatory retirement. He was a great teacher and incredibly bitter about this. I work with a number of 75+ programmers- it is hard to get this right, and, outside of judges who are protected constitutionally, you run into huge labor law problems
Nice just looked these up. So what is your use case.. is it just gaming or browsing, development etc.
Building a gRPC API with Node.js, TypeScript, Prisma, and Connect
> it has reached a settlement agreement with the Department that will see it pay $300 million over five years, in quarterly chunks of $15 million.

> ...Seagate persisted and between August 2020 and September 2021 sold 7.4 million hard drives to China, in 429 transactions worth a combined $1.1 billion.

Useless fine. This is a rounding error to Seagate.
Is there a turn-key POSSE blogging platform where I don't have to do more than pay, and sign in with each platform to start syndicating my posts? While I love the idea, I've always found implementing all of the integrations to be too much work.
Slowing down development of AI systems passing the Turing test
Arguably the entire concept was flawed, fueled more by a sci-fi concept of "wouldn't it be cool if" rather than a sober cost-benefit analysis. It was a space station, built into a rocket, built into an airplane that is also a reentry vehicle - most of the motivation to reuse the vehicle in the first place goes away if you don't make it so damn complex!

It just makes so much more sense to launch big payloads on heavy lift rockets, humans separately on human rated craft, and leave the space station part (robot arm etc) in orbit.

(The one type of mission you can't do without something like an orbiter is satellite retrieval. This capability was used a total of 4 times. Not really worth it.)
And in my hometown, tahri is a blanket term for turmeric rice that is literally handed out on streets (everyone just waits for a turn, puts up their hands, gets a handful and consumes on spot) for free.

Its varieties include additives like chicken or meat but that's about it.

Almost always its given as a way of offering to "feed the poor" and anyone around just turns up and is given a handful.

Don't know if any other place does something similar.

Edit: yeah, plain tahri is just rice cooked with turmeric and garnished with deep fried onions or spring onions.

A way to mass feed a lot of people for cheap.
> The Apple spokeswoman said the company had been developing its own electrocardiogram for the Apple Watch since 2012, three years before it launched the watch.

I'm sure that Apple does start researching and developing many features and technologies years before smaller companies bring them to market, many of which don't get released.

That doesn't mean that Apple isn't being predatory or 'stealing' engineers and ideas too though.
This sentiment I see more and more on HN.

My theory is it’s because tech is braking rules more and more often, and we all just love tech so it’s easier to just victim blame rather than address the actual issues.
And the stream from Everyday Astronaut, Tim Dodd:

https://www.youtube.com/watch?v=eAl3gVvMNNM
Avoiding food waste confusion
> So party affiliation or independent status wouldn't matter, just who an individual votes for.

I take it you don't think an independent will ever win the presidential election. You're almost certainly right, but that would be a flaw with this system.

If extended to state judges and the governorship, it would have been a problem for Alaska in 2014–2018, when Bill Walker was governor.

> That wouldn't be perfect

Here's a big flaw - it requires judges to have a party affiliation.

https://worldpopulationreview.com/state-rankings/registered-... says there are about 38.8 registered Republicans and 49 million registered Democrats and over 210 million registered voters. If those numbers are right, most of the voting population is not registered with a party, even though most of the population votes for one of two parties.

But in a system which requires judicial party membership to reflect voting preference, you end up forcing judges to join a party, just to have a job.

Right now a lot of judges are "non-partisan". Of the recent state Supreme Court elections, "61 are held by nonpartisan justices", "14 are held by Republican justices, "five are held by Democratic justices" - https://ballotpedia.org/State_supreme_court_elections,_2024 (Though I think that means the race was not partisan, not necessarily the judge wasn't a party member?)

Still, you can see AZ Supreme Court - https://ballotpedia.org/Ann_Timmer who is listed as nonpartisan and with "Partisan Confidence Score: Indeterminate".

This leads to problem #2: since there appear to be a lot of judges with no registered party membership - far more than the percentage of non-D/non-R votes - how do you determine if the current judicial distribution is skewed? Will you only select party-affiliated judges until the numbers balance the election results?
Michael Schumacher's family take legal action over AI-generated interview
Mullvad is obviously running an illegal fly-by-night operation by not plastering their site in dark-pattern overlay banners.

/s
is there a legal issue with AI generated NSFW?

(like https://twitter.com/search?q=stable%20diffusion)
Full title: Mullvad VPN was subject to a search warrant. Customer data not compromised

As a customer, I have no doubt about the "customer data not compromised". I'm a paying customer, yet I have never given them any PII. Great service.
But doesn’t google’s moral responsibility change once it’s been informed that the statement in question is likely illegal/incorrect/etc.
Fox also got off easy though. What Fox wanted to avoid was having their broadcasters on the stand under oath having to tell the truth and that is what they got.
Ask HN: SpaceX fake YouTube profile using AI generated audio?
While looking for the stream about the launch of the Starship I came across this video-stream.

Are they using AI generated audio of Elen Musk where he is talking about crypto (send one get 200% back)?

It´s scary that it sound so real but im sure that it is a SCAM !

Ps. Watch the other videos of this fake SpaceX channel.
Mullvad is 4 parallel universes ahead of NOA. This is the best kind of advertisement they could've ever gotten.
Results on the last page may very well be as useful as results on the first, if not more so. Especially considering for a lot of search queries there's countless biz and nefarious individuals gaming the SERPs with SEO schemes.

IMO, how Google presents data to users is largely worthless in 2023 unless you are utilizing special operators like quotation marks and minuses. Even then, it's really how the user is choosing to filter through that data.
I may be misremembering, but the only thing in the bond franchise I can think of that is at all related to the royals is the title of one of the films (On Her Majesty's Secret Service). I guess he's a government employee, but other than that I can't think of anything else in the films that is connected to the royal family.
For typical use cases, you're probably persisting the data, so I'll assume your use case is "Python with a database ORM like Django or SQLAlchemy".

The really short version of "use statemachine" is: store a single, explicit state for every 'thing' and create a log row every time that state changes.

- Make a python model / database table to represent "the things whose state can change" (like an Order or a Task).

- Give each a unique id and a 'state' column that is either a text field or an enumerated type (or a foreign key to a 'valid_states' table if you want to get fancy). Do this _instead_ of adding boolean columns like 'is_completed' or 'is_deleted'.

- Create a log table with the same columns as your Order table -- whenever you update an Order's state (or create a new one), add a new row to the log table with the new state and a timestamp. Now your 'Order' table shows the current state of every Order, while your log table shows every state that every Order has ever been in, which will come in _super_ handy for analytics later.

Everything else can be built on top of the above:

- defining valid states and their transitions (aka formalizing the state machine)

- preventing 'invalid' transitions if you want

- creating analytics tables to show the 'typical' flow of an Order (e.g. columns like 'creation_date', 'payment_date', 'ship_date', 'return_date')

- triggering other systems when Orders enter or leave a given state
- etc
My thought is that it's not up to Google or any company to be the judge and jury... if the statements are defamatory then the plaintiff should go to an elected judge and have their accuser brought to justice, and the judge can wield the power of the state to demand search engines and other publishers remove those results. I think you would agree that simply removing the search results in the short term doesn't bring the wrongdoers to justice at all. Perhaps this is an indictment of the slow movement of the justice system for cases like this.
That is a shame.

Is there an alternative VPN provider that wouldn't be subject to this?

Huh? Why all the downvotes all of a sudden? this is a genuine question.
Sf budget is about to get crushed.
As an American who used to enjoy the freedom of speech 20 years ago and whose freedom of speech has been greatly eroded by (among others) the big tech I strongly support this verdict.

If Google provides a neutral search it should not be responsible for what the found search results say. If those are illegal, courts should go after the author.

But should Google search suppress and promote specific viewpoints beyond clearly neutral pagerank-style search, their top links become promotions. And Google can be held liable for what those show. My 2c, IANAL.
McCheapest
Never mind space elevators - we could build useful sky hooks right now (and Mars might be the best place to do it...) https://youtu.be/dqwpQarrDwk
I'm impressed! I never thought I'd bump into another soul who knew about Baan C. Then again, I shouldn't be surprised given the demographic of the people who hang out here :)
Horrible may be a bit hyperbolic, but it underperforms other airliners.
Apparently it came back on the frontpage
If your dad told you someone is a pedo and you have many more friends than your dad, but you yell out "My dad says so and so is a pedo". I still think some of the onus is on you to shut your mouth if you're told to do so.
> The "ideal body" is actually healthier now than it was 20 years ago.

So you agree that the 'ideal body' does not necessarily mean it's 'heathier' and because the 'ideal' changes through time.
Symbolic languages make it trivial. The only really complex state machine i ever wrote was in lisp (it was an IA for a game). Not the most intelligent IA, but a breath to write.

The only feature a language really need to make usable state machines are closures.
Sounds like the scammers who hijacked Linus Tech Tips’ YouTube channel a few weeks ago.
I think one issue is, anyone who maybe could avoid the legal process would be located in the country and/or operate in a way …. where are you might not trust the business anyway.

Mullvad and how they operate seem to be the best choice for consumer vpn.
There is notthing "rich" in Richer UI. The same dumbed down interface like the rest of Google.
I think you missed the entire point of the article.
Once again this shows the huge disconnect between the government authorities and the tech industry. Basic knowledge and a quick investigation would make clear that Mullvad is not storing any customer data.
I predict a bold new operational exercise/publicity stunt for Mullvad or some other provider: every week they randomly pick a server/storage pod and send it to law enforcement.
Ask HN: How would you setup the pricing for a GraphQL API?
Most APIs usually price the user per request, I believe. How are you handling this with your GraphQL API that you are selling, or a GraphQL that you are paying for?

I couldn't find any helpful resources when googling this topic, so any insights would be appreciated. Thank you
“Endless cheap entertainment”…

How depressing that’s sounds. Kind of like cheap cattle feed or something.

Are you only here to be entertained?

I’d like to contribute that music is not just entertainment. One of the best, and accessible, books on the subject was recently The Philosophy of Modern Song by Bob Dylan.

What ever happened to automating the boring things? Instead we’re hearing thousands of software developers celebrating what they perceive as the end of art (it’s not, sorry, just mass noise being injected into human communication). If only it was done with a little more discourse and less blind superiority then we might have something to talk about. This is the saddest trend in some time.

Let’s go back to automating our taxes. Leave playing and writing music for all the time we create for ourselves instead.

That was once the promise.
To a legal inquiry via search warrant? Probably not unless it's operated in a country that doesn't have search warrants, but that sounds more like a lawless wasteland.
Like I said, if I use someone else’s stuff in my work, it’s my responsibility to assure myself, and anyone upstream, of the veracity of that work.

That’s the theory behind efforts like ISO-9000, but I find them pretty “top-heavy.”

A good example might be Linux. There are thousands of contributors, but Linux is backed by one of the best (and harshest) developers on Earth. He puts his personal stamp on it, and has trained a bunch of others to be equally insistent on Quality.

Git is the same (I believe that you may find some "relation" to Linux). In fact, Git has probably had a bigger impact on the world than Linux, and he put that out in ten days, as a side project.

The deal is, that he is used to developing software to be used as infrastructure, and that takes some serious Discipline. That kind of Discipline is actually fairly rare, these days. If someone has it, you can rely on almost anything they do.

The quality of the guarantor is an important component of almost any working relationship. Standards bodies try to avoid that, but I'm not confident it works. The one thing that I remember from working in ISO-9000 environments, was myriad ways to work around the requirements. They end up actually causing more problems than they solve.

There's really no way to avoid the need for personal and institutional Integrity.
Can you explain why? If his life has been negatively impacted by something false, and that impact has come at the expense of job opportunities, general quality of life, why should he not be reimbursed for damages?
This will probably conflict with the linux pass utility in google results, though not much to do there since it's such a generic name.
>> It can absolutely prioritize and plan, you literally just have to ask it and loop on itself.

GPT-4 can't perform simple classical planning tasks so it's doubtful that it can "plan" in a looser way, as I think you mean it:

https://twitter.com/rao2z/status/1643463201462579200
Technically they could have been logging your traffic, which is “customer data” even if it doesn’t identify you by name
I'm feeling quite ambivalent about where AI art is going. This passage from 1984 always stuck with me:

“The tune had been haunting London for weeks past. It was one of countless similar songs published for the benefit of the proles by a sub-section of the Music Department. The words of these songs were composed without any human intervention whatever on an instrument known as a versificator. But the woman sang so tunefully as to turn the dreadful rubbish into an almost pleasant sound.”

On the other hand, people like Rob Sheridan are doing amazing things with AI art, and I've played with and enjoyed it myself as just another creative tool.

I suppose it depends what you think music, or art is general, is for.
I know that sounds logical ... but it doesn't work in practice and that's why the law doesn't work like that. We don't want a situation in which newspapers and other powerful organisations can avoid being sued for libel simply by prefixing every article with "$RANDOM_PERSON says". If libel law were just going to be a booby trap for ordinary people who don't have legal advisors like newspapers do then it would be better not to have any libel law.
It's a simple text adventure game engine. It looks like this:

---

The Lost Kingdom

You are a brave explorer on a quest to find the lost kingdom of an ancient civilization.

You are in a mysterious cave with passageways leading in different directions.

What do you want to do? look

You are in a mysterious cave with passageways leading in different directions.

I see here:
a glowing gem

Exits: north

What do you want to do? take gem

Taken!

What do you want to do? look at gem

It's a glowing gem with an intricate pattern carved into its surface.

---

An interesting new feature is that you can ask the computer to do non-scripted things, like:

---

What do you want to do? eat gem

# Generating action...

You attempt to eat the gem, but it doesn't taste good. You spit it out and the gem is still in your possession.

---

The game, the scenario, the objects -- everything was created by GPT-3, and the script just have to keep track of the game state.
how so? it's your responsibility as an adult to understand that Bob is some random guy you don't know, so you can't trust him
Which is exactly what happened: the Montrealer did indeed ask Google to remove the defamatory search results, but they refused. So he took the matter to court and obtained a ruling from an elected judge and jury.

The court's decision to order Google to pay $500,000 in damages shows that there are consequences and you can't ignore them forever just because you're Google.

I'm also sure that the Montrealer tried to take down the original source directly, without succeeding.
0.3B fine on 1.1B of sales might not seem much, but that probably wipes out all their profits from those transactions.
I found this useful browser powered Kanban, pros is that uses browser local storage and does not sent any info to servers.
I also appreciate the lack of US-style warrant canary that might be necessary here, where depending on who comes asking, you're not allowed to post about it.
I’m confused. You’re saying cops came to your office 6 deep and just left with nothing even though your privacy policy says you have data [1]? There was no court case or investigation of any kind?

This blog post concerns me deeply for a number of reasons especially given a VPNs only actual differentiating value/proposition is trust.

[1] https://mullvad.net/en/help/privacy-policy
That's like asking whether someone can run a business without being subject to local laws and regulations.
A service provider may claim to not store any user data, but they could be lying.

From the article: "After demonstrating that this is indeed how our service works"

Presumably, Mullvad employees showed this data does not exist live.
It will either be hosted in a country where they can access the data legally or will access it illegally. Pick your poison.
POSSE is great from a content ownership perspective, and having syndication is better than having nothing in place.

That said, posting links to original content tends to get low engagement and is generally disliked on downstream social networks. It is often seen as not really participating in a native social network, instead spamming it for the sake of self-promotion. Even if the link is promising/worthwhile, the UX sucks. As it will be typically be consumed from mobile, it opens an in-app browser, your website loads, possibly with all kinds of distractions like cookie banners or a poor reading experience. Should your link contain yet other links, the experience pretty much breaks down.

Any feedback from downstream systems (likes, comments) are not syndicated back whilst at least for comments they can definitely enrich the content. Unless you have some very sophisticated polling mechanism, that content does not syndicate upwards. Similarly, if you reply to somebody else's content, your reply in a way is also your original content, but it's not preserved on your blog.

Should your link really have a high value, definitely don't expect that people pass down the link in distribution. They'll take quotes and make screenshots and post it natively.

Nitty gritty local cultures matter. On Reddit just posting the link may get you banned. On other networks you need to pay for API access. On Medium, you shouldn't post short form, on Mastodon, you might need a content warning and hashtags.

To handle the feedback of your syndication, you continue to need to deal with every local network personally. Manage their notifications, handle their replies and follow-ups. Your friends/followers are also not syndicated.

When using native social networks directly, people often use multiple personas. The standup professional on LinkedIn, but also the toxic gamer dude on Twitter. Same person, different masks. Or even multiple personas within the same network. Very hard to setup with POSSE.

Say you'd participate in a "#catphotooftheweek" competition that only is a thing on Twitter. You can post it on your blog but it makes no sense there. Syndication should only happen towards Twitter.

Anyway, like I said, better than nothing, but automated syndication often sucks. The content ownership part is the truly important part. You can most definitely consider syndicating manually, in optimal form per social network.
Still waiting for someone to convert an international waters oil rig to a lawless data center. Or like that submarine base that Microsoft did.
There's also usually another disconnect: between tech industry publicity and tech industry reality. Mullvad could have been, and maybe even still is, lying about how they operate, because it's good for business.