skysight-inc/HackerNews huggingface dataset:
> You should use a `Result` or `Either` type for that like everyone does.

You have missed the thread context, which is whether `Either a a` (also written `a + a`) has any merits over simply `a` (which is identical to `a | a`). If you're on the `Either` train already, we are arguing over imaginary beef.

> No disrespect, but that still sounds entirely useless to me.

It is disrespectful to say something "makes zero sense", regardless of anything you might say to the contrary. You've misrepresented my point: nobody wants to model something as `String | String`.

If you have, say, an `Int | Bool`, and you pass both sides through some kind of stringification function, you're naturally going to get `String | String` without ever having written that type down yourself. You wouldn't necessarily want to collapse that to `String`, however, because you may -- for instance -- want to give strings and ints different decorations around them before finally flattening them. You might write such a function as something like

(ib) => ib
.mapBoth(showInt, showBool)
.visit(prepend("int: "), prepend("bool: "));

You couldn't run this if the result of the `mapBoth` had type `String | String`: that type is indistinguishable from `String`, and since you can't tell which case you're in, you wouldn't know which tag to prepend.

You could write the same function without passing through `String | String`:

(ib) => ib.visit(
sequence(showInt, prepend("int: ")),
sequence(showBool, prepend("bool: ")));

And yes, in this especially contrived example, perhaps you may find that to make more sense anyway. But in longer pipelines, sometimes separated over multiple functions, often involving generic code, it becomes much harder to simply always fuse steps in this manner. This is why we say sum types (e.g. `String + String`) compose better: they don't behave any differently depending on whether the two sides are the same or not. You have explicit control over when the two sides rejoin.
I can’t say that I was all that great at statistics, but I’m pretty sure that’s not how percentiles work.
one reason that spacex has been so successful is because he isn’t getting in the way. he hired Gwynne Shotwell as the president and chief operating officer (COO). She runs a tight ship.

She doesn’t waste her weekdays posting on social media or getting bad press lol.
> substitute error with whatever type you want there - null, Error, or your own thing

And if I want `error` to be `string` so I can just provide an error message? Proper disjoint sum types let me keep the two sides disjoint, even if they happen to be the same type. Union types will collapse on any overlap, so if I happen to instantiate `error` at `string` then I can no longer tell my error case from my data case.
It's pretty funny, there was so much pent up demand for EVs that the one guy that actually did it not as a political stunt became a billionaire.

It's not like they didn't have a chance to either, they all developed EVs as side projects [1]. Some of which were incredibly loved by their leasers (?) [2].

[1]: https://avt.inl.gov/sites/default/files/pdf/fsev/HistoryOfEl...

[2]: https://en.wikipedia.org/wiki/Who_Killed_the_Electric_Car%3F
I mean how bad is it out there if you have 5 to 10 years of experience the degree and a few certs like rhcsa and AWS professional?
It seems to correlate with reddit usage. Reddit is easily astroturfed to manufacture consensus, and there are plenty of people out there with an interest in turning people against SpaceX. Notably the CCP. If you chart tonnage to orbit by year, you'll see that China briefly overtook America before being absolutely eclipsed by SpaceX. Not much they can do about it either, but stoking domestic opposition to SpaceX is one thing they could do.
I understand your sentiment, but honestly at this point probably you should hope that Elon stays focused on culture wars, Xitter, and Tesla and leaves SpaceX alone.
Or cynically pump & dumping Dogecoin, or the Cybertruck rollout, or the cave rescue sub, or buying and maintaining Twitter, or not calling decent people pedophiles because he felt slighted.

Or pretending he had bigger parts in the development of companies which he actually bought after the work was done. Or selectively withdrawing Starlink access to entire regions on his own whims at critical moments. Or creating a special system to promote his own tweets above everyone elses.

Or covering up heinous and illegal animal abuse for Neuralink. Or setting us up for an ablation cascade. Or not paying rent in his offices. Or lying about his father's emerald mines in apartheid South Africa.

... I'm just saying - the anti-fraud he fuckin ain't.
Two things:

1. In many cases whole Gazen families have bee killed in their homes.

2. I always blame those giving orders. On both sides.
Nothing wrong with a little schadenfreude.
Please point to the portion of the rocket that was designed or manufactured by Elon Musk.

Testimonies from SpaceX's own employees show that Musk is a capricious and immature meddler whose presence is to be managed and deflected rather than welcomed. His documented cronyism and looting of Tesla with his ridiculous and petulant demands for tens of billions in bonus compensation while threatening to leave the company if he doesn't get his way show that he treats Tesla as his personal piggybank rather than offering anything tangible, other than alienating Tesla's core demographic via his ill-considered tweets. Meanwhile, here on this site, every programmer knew he was a fraud of a manager the moment he ordered Twitter employees to print out their most recent code so that he could determine who to fire.

If Elon Musk didn't want to be called a liar, maybe he should try telling fewer lies?
"Over the top" means exaggerated and corny, almost the opposite of "cool".
Apparently "Palestine" (which is not a state/country) signed on and due to that the court ruled (in some other case) that it does have jurisdiction. Also the "Palestine" side of the warrants are against Hamas which also feels weird (Hamas is also not a signatory nation and many suggest that Hamas != Palestine). Given Palestine is a signatory does it mean they have to take action to extradite the Hamas leadership to face trial? What consequences do they face if they fail to do that?
We have already been robbed of so much biodiversity in the last 100 years and it doesn't take much research to realize it. We should do our best to avoid depriving those generations ahead of us even more :(
Why is one of the “I”s randomly a pipe?
I'm excited to see how RocketLab's Neutron could maybe add a second real player. Somebody's gotta do something! But yes indeed, Starship being operational and reusbale will absolutely dominate.

We're looking at multiple Starship launches per day, right? Eventually. Each with far more mass-to-orbit capability than anybody else, and per launch. It's going to be 1,000x the rest of everyone combined.

We will need more useful metrics though. Many of Starship's tonnage to orbit will be fuel for other missions, and this will clutter the stats. Of course, tonnage-to-orbit will still be a metric. Even "useful tonnage to orbit" (which is even an Elon-touted metric I think) will be tainted by the large number of fuel launches (Which are useful of course, but not the same as active hardware).

Other than RocketLab/Neutron, realistically, what other competitors are there in reusibility for the next 10 years? Is BO going to burst on to the scene with a surprise cadence of useful orbital launches and flip the discussion a bit on strategy? - I mean, so far SpaceX is so ahead in the game based on their iterative development that any suggestion that BO has the right idea is falling flat. Clearly SpaceX has the right idea.

But gosh!! There's gotta be somebody! to compete. Neutron isn't even quite at F9 level - there is no Starship competitor at all AFAIK.
His enthusiasm for SwiftUI in particular is a bit hard to reconcile with my experience using it. It's nice on the happy path but you very easily stray into areas with baffling compiler errors and terrible UI performance.
Is... WHAT?
>Is there a distinction?

Yes, that would be a copyright violation on top of everything else.

Great idea though!

I'm going to start selling Keanu Reeves T-Shirts using this little trick.

See, I'm not using Keanu's likeness if I don't label it as Keanu. I'm just going to write Neo in a Tweet, and then say I'm just cloning Neo's likeness.

Neo is not a real person, so Keanu can't sue me! Bwahahaha
> Maybe you could argue Israel is not accidentally doing this,

I think there is an element in glee at civilian casualties on both sides
this year
Thanks for pointing this out. I was confused when I initially read the article.

Only have access to the abstract but it looks like they are basically converting optical diode to a BJT to modulate bias current. (Might be pulling this out of my 6'o'clock positioned chemical vapor deposition chamber though, haha)
She has no incentive to settle and actually could win big by being the figurehead of the creative industry against AI. It’s understandable why she accepted a settlement from Disney, but there’s no reason why she should settle with a random startup that has no other influence on her employability in Hollywood.
Judging from this, YouTube is gonna make a ton of money from Sora.
post it on lobsters first, then if its good, someone else will probably repost it here without your having to do anything, and then handful of people that saw it over there will likely upvote it on here also. good luck
It’s really hard to assume in good faith that you are unfamiliar with the concept of impersonation. Just in case: https://en.m.wikipedia.org/wiki/Impersonator

There is no doubt that the hired actor was an impersonator, this was explicitly stated by scama himself.
Bette Midler and Tom Waits didn't control their songs when they sued the companies.
Only a corporation could do this. Imagine pulling this as a natural person. ;(
Yeah before turning into 2nd howard hughes, I hope he can.
An interface, sure; but the specific interface they are currently using, to which the previous comment was referring? Of course not.
I like to listen to the opinions of people that worked directly for him. Ilya Sutskever and Andrej Karpathy both have very positive things to say.
> It’s done even in banking

What are you basing this on, banks have less real time constraints when it comes to certain data but thats rare. You will almost never see a bank, processor, etc. archive their system of record data.
It's funny because colleges will spout things about equity and helping the disadvantaged but the emphasis on esoteric extracurriculars is defacto classism.

I grew up in a small nowhere town and played JV & rec league sports (basically free) while working a part time job from when I was like 15. So my extracurriculars don't really count, and were cash flow positive.

These days being in NYC, my friends kids are adopting expensive signaling hobbies, going to Oxford & Princeton pre-college summer prep programs, using parents connections to get high school unpaid internships, and all sorts of other time & money intensive endeavors that could easily cost $50K by the time the kid is applying to college.
Discussion [0] (51 points, 6 hours ago, 40 comments)

[0]: https://news.ycombinator.com/item?id=40417837
Pretty soon all of my typos will be proper nouns.
Get with the times. You're still partying like it's 1999 there.
Unlike the dogshit Search case, this one scares them.
The damning part is that they tried to contact her and get her to reconsider their offer only 2 days before the model was demoed. That tells you that at the very least they either felt a moral or legal obligation to get her to agree with their release of the model.
Clearly Sam Altman though it sounded like ScarJo as well :-(
I'd be surprised if it was legal anywhere in the US, but this just puts the final nail into Sky's coffin.
Probably whatever they're calling Windows Store apps now, universal windows app or something. These are .net applications that are natively compiled when installed (I think).
I'm curious about the ToS. As far as i know, their version of ChatGPT on Copilot don't like +18/sexual stuff, so how would the Copilot+ react to a lot of it? Would you get banned? would it work? Would it simple ignore all the stuff when asked for it?
Not the parent but I've seen this scenario a few times. Essentially what you get is random groups of devs (often you never even knew they existed or were messing with your DB) who mount a DoS attack (not their intention but that's the result). Long lived transactions, unindexed queries, unexpected deadlocks, etc etc. Worst thing is their reaction is that your database sucks. So no amount of education will fix the problem. They think you're the problem. So you end up with a defensive architecture where the blast radius for any single act of stupidity is limited.
Exactly, it was absolutely meant to be Johansson's voice
> the government claimed that Google owed this amount of money

Where did the Gov claim Google owed [the amount equal to the check]?
Not to disagree, but if your company has around 300,000 LoC in business logic and your pet project has 1,000 LoC, the processing times are going to be significantly different.
That has a much better chance of falling under fair use (parody, non-commercial) if the actors ever tried to sue.

There is a major difference between parodying someone by imitating them while clearly and almost explicitly being an imitation; and deceptively imitating someone to suggest they are associated with your product in a serious manner.
yep exactly. In contrast, with "Dreams" -- if you change your mind or stop pursuing them or take a break from pursuing them... the implication is "failure". It's unnecessary, distracting pressure.
I wouldn’t go as far as your last statement. While shocking, it’s not inconceivable that there’s native token I/O for audio. In fact tokenizing audio directly actually seems more efficient since the tokenization could be local.

Nevertheless. This is still incredibly embarrassing for OpenAI. And totally hurts the company’s aspiration to be good for humanity.
It’s now “respect the opportunity”. The second half, “to screw over billions of users”, is often - but not always! - left unsaid.
And... No. That is what OpenAI will assert, and good discovery by Scar Jo reps may prove or disprove.
> Further large-scale strikes look increasingly performative.

Israel is not doing large scale strikes in most of Gaza, except Raffa. It was in the news a few weeks ago that Israel withdrew most of their troops from Gaza.

They have in fact switched to limited strikes. But they're going to finish the job in Raffa first, in particular they want to destroy tunnels - especially tunnels going into Egypt.

After that the PA is going to try to take over. And Israel will "protest" the whole time like the Br'er Rabbit. The PA can't look like Israel helped them take the area. Both the PA and Israel want the PA in Gaza, but neither can say it out loud.

The whole "Israel has no day after plan" thing is just a show. There's a reason Biden stopped complaining about it.
I once had the displeasure of submitting a Form W-9 on an authenticated website. It was an unmitigated disaster involving one time codes distributed over email via a team of apparent actual people outsourced outside the US, a website, PDFs POSTed to said website, and marked-up copies of said PDFs emailed back by said outsourced team asking inane questions. And, presumably since the whole mess wasn’t actually machine-readable, the form still got entered wrong and incorrect tax forms were issued.

It would have worked much better as an emailed PDF, or a simpler form. Or an ordinary non-PDF form that would generate a filled-in PDF that the user could then sign.

> I'm going to discontinue this conversation though.

Oh, well.
> chose to forgo substantial royalties and collaboration potential

We know nothing about their offer to her. Could have just been a bad deal
Remember the good ol' days where you actually owned the PC you paid good money for? And nobody knew what you did with it?
Probably COBOL and Fortran, which can run on modern architectures, but in practice mostly don't.
> Humanity is deprecating TypeScript next year, so we're migrating our proxy server to HypeScript.

"HypeScript". This captures contemporary commercial software development and business in a nutshell. In a few short years it went from cryptocurrency/blockchain, to metaverse (for about 6 months lol, gotta be a new record) to now AI (but somehow only if its a chatbot?).
To me it was dystopian in all the ways a good Black Mirror episode is, a future where humans are falling in love with LLMs is not a utopian outcome
That’s a weaksauce argument IMO. The character was played by SJ. Depictions of this character necessarily have to be depictions of the voice actress.

Your argument may be stronger if OpenAI said something like “the movie studio owns the rights to this character’s likeness, so we approached them,” but it’s not clear they attempted that.
I mean you literally work on Dotnet, don't you? That's probably why you don't have issues with the naming. I agree that it's currently fine now that it stabilized on the core naming scheme, but I don't see how it was very confusing when there's stuff like ASP.NET Core on framework, and ASP.NET Core on Dotnet core... that's just confusing, especially since other ecosystems don't usually have such a weird naming scheme.
There is no need to turn people into absolutes. He can be a genius in one industry and a fraud in another.
Wow this is a huge breach of trust for a company that claims it has strong privacy protections.

Also from a different article (https://www.theverge.com/2024/5/20/24161152/apple-ios-17-pho...):

> Another post claimed that old photos appeared on an iPad that was sold to another person.

It is SO weird for Apple to fix the bug in a patch but say nothing about the fact that photos deleted years earlier reappeared for a time. They absolutely must come clean here.
Show me a company that doesn’t over promise on their marketing.
Once you have enough money for you and your children to live comfortably for the rest of your lives without lifting a finger, there is no risk whatsoever to spending whatever money you have left over. At no point was Elon Musk ever risking his comfort or the future of his family's financial well-being, unlike actual rags-to-riches entrepreneurs with skin in the game and actual consequences for failure.
You're failing to account for the most common cognitive bias on the entire internet which is : "People I agree with are smart. People I disagree with are stupid."
That seems like a massive invasion of privacy which I believe is illegal for them to do.
I agree that Gwynne should be getting more praise than she gets now.

But Elon is phenomenally good at getting from 0 to something that works. And colonizing Mars has many, many various needs beyond Starship that have never been done before.
There was a lot of talk about Spanish descended Hispanics in RGV preferentially voting for Trump
Because this isn't training an audio model along with a million other voices to understand English, etc. It's clearly meant to sound exactly like that one celebrity.

I suspect a video avatar service that looked exactly like her would fall afoul of fair use as well. Though an image gen that used some images of her (and many others) to train and spit out generic "attractive blonde woman" is fair use in my opinion.
Atlinsky is nice but he's kind of tepid and Western anti-violentist/ Western nationalist. So he can't speak about situations where military resistance is necessary, such as resistance against fascism or dictatorship. These can inoculate themselves against alinskian shock provocation tactics by using brutality and propaganda.

In order to understand the proper use of violentism/militarism and the, ethical high ground against a dominant enemy, I recommend Che Guevara's "Guerilla Warfare". It introduces the moral high ground, the national good, the organization, the economics, and the field tactics of strike and retreat, giving units quotas of cane crops to burn, etc.

Please read Che's letters as well - "I Embrace You with All My Revolutionary Fervor: Letters 1947-1967". They will show the human behind the tactics.

Both books are on the audiobook bay, along with alinsky. They provide a perfect counterpoint to alinsky.

As we enter an era of American nationalist fascism, alinskian tactics might need to give way to queer inclusivist cyber guerilla tactics. For a Just and Libre Society! We can win!
I like that your go-to for prog rock is "Eye in the Sky." I really can't fault it; my first thought was that technically Yes is more iconic of the genre, but it's probably less-known by younger people; if only for the Bulls oddly using Alan Parsons as their intro.

Now THAT I thought was a strange choice... Alan Parsons Project for a bombastic sports-stadium entrance.
Or, they wanted to be able to say, yes, that is "her" talking to you.

I have no idea if they really used her voice, or it is a voice that just sounds like her to some. I'm just saying openai's behavior isn't a smoking gun.
For the record, if anyone is trying to investigate further, the only publisher I've found that has anything matching this going on (thus far) is Newsweek. Ex: https://www.msn.com/en-us/news/world/north-korea-reacts-to-n...

At the bottom of the article, the little Sign Up box is a "social-lead-gen-in-article" element.

Still haven't seen anything else about this, it's a bit of a pain tbh, even if this has a very narrow attack surface, it's tying up multiple people in multiple places trying to make sense of it. C'mon Microsoft.
I don't think we would have kept going if she didn't show some ability.

But because she showed some ability (balance, flexibility), we pushed it a bit more and it worked out for us.
> Instead of paying a speeding fine this is like going to the judge and saying here is 100 bucks to pretend the speed limit is 10 mph higher and then we hold the trial under those conditions.

Uh isn't that how it works? You plead no contest and pay a fine and don't even have to see the judge?
1) one of the biggest reasons spacex is successful is because he rarely mucks with it.

2) colonizing mars is not serious and only truly foolish rubes think otherwise. Even the most hostile corners of the earth are orders of magnitude more approachable.
I wouldn't assume anything "deleted" is ever truly deleted. Just a deleted_at property set and maybe the data eventually purged after many years.
Pinch zoom on Firefox (Linux, desktop) does that for me.
Always looked like a rabbit to me, too.
Yes, totally ethically bankrupt. But what bewilders me is that they yanked it as soon as they heard from their lawyers. I would have thought that if they made the decision to go ahead despite getting two "no"s, that they at least had a legal position they thought was defensible and worth defending.

But it kind of looks like they released it knowing they couldn't defend it in court which must seem pretty bonkers to investors.
I'm suspecting with popcorn in hand that this must have been a massive contributing factor for successful Tesla Shanghai spinup. He'd have zero control over anything.
I don't know why you're down voted.

Even if it doesn't get a person in trouble with HR, it'd be embaressing and humiliating to have one of those images pop up at work, in a public place, during a presentation, in front of family members, etc.

So strange that they'd do so much work to make a professional looking product and then throw users under the bus with something stupid and juvenile like that. It's their right, of course, but count me out.