skysight-inc/HackerNews huggingface dataset:
I would love to know counter points instead of just down voting. I guess not being on the gravy train doesn't satisfy the paid for advertisement.
Can you recommend a writer you like? Have you written anything?
Aside from becoming the opposite of the values their name suggests, there’s two main mistakes OpenAI made in my view: violate copyright when training, and rush to release the chatbot. Stealing original work is going to bite them legally (opening them to all sorts of lawsuits while killing their own ability to sue competitors piggy-backing off their model output, for example), and is a special case of them being generally shortsighted and passing on an opportunity to make a truly Apple- or Amazon-scale business by applying strategy and longer term thinking (even if someone else got to release an LLM chatbot before them, they could—as in, had the funds and the talent to—build something higher level, properly licensed, and much more difficult to commoditise).

If this was the fault of Altman, it is understandable that certain people would want him out.
Free speech is terrorism now?
Yeah I think Kotlin is quite close to the OP's description. But it is perhaps more focused on object orientation than they would like, and also only runs on the JVM.

But if I were to create a self-contained (that is, non-JVM) "Rust-like but with GC", I think it would look a lot like Kotlin.
ok, here is something like that
I watch my horse, choose to roll,in rub over, and generaly luxurate in bayberry shrubs, which are very aromatic,and pay by bieng reduced to kindling
other surviving bayberry bushes, that were used by early european's in Canada for the wax coating of the "berrys" in candle making, are used by birds as food, the berrys ripen in late fall.....just before the song birds migrate, all of the berrys
vanishing over 2 days, the high energy wax
coating, providing a strong start to an arduous trip, and a free long range dispersment for the
long suffering bayberrys......which I have used
the self same leaves as flavoring in food
everything is working a "plan" man, all part of a vast,ancient,intricate,fusion powered, network, we and all we do is just a side hussle for nature
and here in Canada, the term "engineer" is legaly
exclusive to the guys with the iron rings, or the few with the stripy hats
It's worth pointing out (IMHO) given the other comments that it's actually more than that - the fairness standard requires they prove the process was fair as well (IE a fair process that generated a fair price), which the court found they did as well.

(As you know, but others may not - this is not always the standard vs the business judgment rule, but is the standard here)
It's insane to think that so many owe so much to an contraband book.

There's a very good podcast about (music) copyright and how it's used and abused. The podcast is mainly about Men At Work's "Down Under" and the crazy copyright case that hit them: https://www.podbean.com/media/share/dir-xqda4-23ebff8b
Seems like a good place to recommend “The Death of Doctor Island” by Gene Wolfe for some terrific & grim writing about AI therapy. Don’t read a synopsis.
Ah, so. That helps. Thank you.
Is that Squid Game? Sounds more like Survivor.
In the US we have the concept of a Professional Engineering license, but most people who get engineering degrees don’t end up needing one. Around here is it more like… you need a license for your signature to mean anything while surveying land, or something like that.
I don't care for names, i just thought it was an interesting read.
> But surely, you can still use subtyping in other cases -- when it is already unboxed -- right?

Well, maybe. But you have to actually have to do the legwork of figuring out which cases are subtypes and which aren't - unboxed was the first case that comes to mind, there might be others. Restating the same thing using symbols doesn't help make anything clearer, it just gets in the way.
You just described pyramid (point at top) but called it inverted pyramid (point at bottom)
Ten computer codes that transformed science (2021)
> it’s not some evil data slurp

This puts a dangerous amount of trust onto a company which has very clearly and explicitly signaled to everyone for decades that they do not care one iota about you, your privacy, or your safety.

Assuming that Google isn't doing anything malicious is a very unwise and ill-informed stance to take. If it isn't malicious now, it will be very soon. Absolutely no exceptions.
I don't understand why we haven't yet created an alliance of civilized Western countries? Like NATO, just without the US?
That, and state sponsored hacking groups and corporate moles sending everything they can back home.
> Songs arise out of suffering, by which I mean they are predicated upon the complex, internal human struggle of creation and, well, as far as I know, algorithms don’t feel. Data doesn’t suffer.

Maybe I misunderstand this part, but it sounds like the author feels like it's required to suffer in order to produce something creative in the first place, and other artists that haven't suffered "enough" but produce things anyways, aren't actually creating "genuine" music.

Of course, everyone creates things from their own perspective and context, but it kind of feels like a trap that somehow suffering is essential to the artistic process, which I personally don't feel would be a healthy perspective for myself as a musician at least.
It’s wholly a community effort and not supported by Jetbrains, which means it will always be at a disadvantage. Even development on it continues, it’ll always be a few steps behind the current version of Kotlin and will probably be missing a number of things compared to the autocomplete in Jetbrains IDEs.

It’s also built on the internal APIs of the Kotlin compiler, which are subject to change at any time. If Jetbrains shifts those around too dramatically it could break the LSP beyond the point that anybody is willing to repair it.

For corporate-developed languages first party LSPs are important.
That requirement isn't technical though. It's purely a marketing one. You can still install Windows 11 on a TPM-less machine and, for all intents and purposes, it'll work just fine.
Sate your curiosity and read the next 21 words following your quote.

> , “subtyping” might call to mind classes and inheritance hierarchies. However, subtyping is a far more basic and general notion than that.
I don't mind reaching xp, but the corporate overlords didn't let me go further. :D
> violate copyright when training

If we could incrementally update our own brains by swapping cells for chips, what percentage of our brain has to be chips before us learning from a book is a violation of copyright?

When learning to recite a recent children's poem in kindergarten, what level of accuracy can a child attain before their ability to repeat it privately to one other person at a time is a copyright violation?
> They were relatively well organized compared to neighboring people, but they weren't particularly well organized compared to many other places in the world at the time.

This isn’t true at all. The Inca were not as technically sophisticated as the Europeans (or the Chinese for that matter), sure, but they were doing things on a scale comparable to the late Roman Republic. The extent of their territory was far larger than anything that existed in Europe at the time.

> The administration of modern Bolivia and Peru is far more advanced than that of the Incan Empire.

You are making this assertion based on the emergence of technical capacities that had nothing to do with these societies. Haiti is not more organized today than it was 200 years ago just because the government has computers now.
Skill issue. Easily overcome.
Cuda has similar inefficiencies and many use cases can have equal uplifts by going lower level on the code.

I think this is what deepseek had done to get their speedups on older hardware.

Even way back in the days of GPU crypto mining - custom kernels hand built (mostly just unrolling loops) would yield 20% improvements over just running opencl and letting the drivers compile it down.
They just wait for the next round of this. Maybe SpaceX will require more AI? Or Tesla?
Exactly why do you believe a court that does exactly this kind of judgement all the time is not capable of it?

They issued a 127 page supporting decision on why they found it was a fair process that generated a fair price.

Want to say which part you take issue with that shows it was not capable of the judgement?

FWIW - I actually hate tesla, i just also hate the sort of drive by shitting on other fields that HN seems to do sometimes. If there are concrete reasons to believe they aren't capable, let's have that discussion. Otherwise, there's no need to denigrate others capabilities without evidence based on our feelings :)
How much better would life be if KDE ran on Mac?
Not only Jews are native to the land.
How do open source VLMs perform at OCR
"Fear is the mind-killer." --Frank Herbert

You also need enough love to be willing to be the first to fall in defense of your people.

Maybe they didn't even know that the horses could be killed? They could've looked like monsters to the locals.

But yeah, the lens of history is far from clear, except for "Fuck the conquistadors."

That said, would the locals have abandoned human sacrifice and cannabalism without getting their asses kicked?

Who knows? Sometimes, it's just assholes killing assholes, usually with innocents caught in the crossfire.
Others have pointed out that "covariance is a mistake" is nonsense, because, if you have subtyping, it's perfectly correct to make function types covariant on return types and contravariant on argument types. And it's useful.

To switch up the examples a bit, Natural is a subtype of Integer, so it's perfectly valid to make Natural => Natural (the type of IntegerSqrt) a subtype of Natural => Integer (the type of functions returning integers given a natural-number argument, such as n => (-2)**n), and to make Integer => Natural (the type of IntegerAbs) a subtype of Natural => Natural. If someone is expecting a Natural => Natural function, no surprises will result if you secretly smuggle them IntegerAbs. They just won't happen to call it with a negative argument.

And others have pointed out that covariance and contravariance are both logically unsound for mutable container types like arrays. In particular, covariance would allow you to infer Vector<Natural> is a subtype of Vector<Integer>, which, together with the function subtyping rules above, lets you pass a Vector<Natural> to a function like a => a[0] := -1. That will store a negative number into the Vector<Natural>, and down the line, that -1 will be incorrectly used in Natural calculations, possibly producing incorrect results. Contravariance is no better, because then functions like a => IntegerSqrt(a[0]) fall down go boom.

What I haven't seen anyone mention yet is that covariance is perfectly sound for immutable container types. If you have an immutable List container type supporting Car, Cdr, Cons, and IsEmpty functions, no surprises will result from passing a List<Natural> to a function expecting a List<Integer>. It can add -1 to the List with Cons(-1, xs) but that doesn't mutate the original List; it returns a new, longer List, which is already statically typed as a List<Integer>.

This is far from an original observation, so I was surprised not to see it mentioned.

Nothing obliges you to add function or immutable-container subtyping to your language just because you have subtyping of some kind. You could require implicit or explicit adaptors to be inserted in cases like the above, perhaps eliding those adaptors as a compilation optimization. Logically, that's a perfectly sound thing to do. I don't know why you would want to. It seems inconvenient. But maybe you do.
North Carolina isn't part of the rust belt and NAFTA (94) is ten years after the term "rust belt" was coined (84) so it seems pretty inaccurate to think that NAFTA had anything to do with the emergence of the rust belt. It certainly contributed and accelerated the decline, but if it's already so bad that politicians are calling it the "rust belt" ten years prior to what you claim is the clause, there's an accuracy problem with the narrative.
> ChatGPT has no inner being, it has been nowhere, it has endured nothing…

The whole thing from Nick is brilliant, but I had to pick a line as an example and the above is pretty perfect.

Maybe a bit orthogonal, but I find more and more examples in life where I see a distinction between the real and the "virtual". Watching someone on YouTube go on a long bike tour and then later doing my first long tour myself and I am struck by how rich the thoughts are I am having on the ride, how connected I have suddenly become once again to the "outside" — wondering when the next place to get water will be, where I will pitch my tent and sleep that night.

Hiking with my family to see Delicate Arch on one of the hottest days on record. I have to scout ahead for shade for my daughter who is perhaps beginning to dangerously overheat. (And in fact two hikers did die that day in an area very near to where we were in Utah.) Not an experience, for better or worse, that you'll get playing World of Warcraft (just to pick on that game for no particular reason).

Art too, as Nick says, requires I think an element of experienced pain (or danger). An imitation of art will never be art.
You might be interested in this talk by Will Byrd, of miniKanren fame:

Personal Data Preservation, Inspired by Ancient Writing
https://ericnormand.me/clojuresync/will-byrd
He's simply moving Twitter losses to xAI investors - because he's the largest Twitter loser - and would prefer those losses go to other patsies instead.
wikipedia (without citation) claims ~1,000 employees.
> If you have A, something that accepts B, and you consider it implicitly possible for an A to be a B with either no change or an implicit change... that seems to amount to considering As to be Bs when necessary.

The fact that an A can be implicitly converted to a B in this context does not mean that an A should always be implicitly converted to B. (In this case B is effectively a pointer/reference to A; implicitly forming that reference is a useful convenience feature in some contexts, but I don't think treating A as a subtype of reference to A in the general case is a good idea)
Maybe the fundamental understanding of suffering, and therefore empathy also, are important? Trying to be devil's advocate
I must admit I've been guilty of reacting on the title and not your post. I opened it, saw some machine and immediately thought of the kitchen timer in the shape of a pomodoro I have on my desk here. Which is so dead simple, that's why I like it.

Now that I read your post and look at the photos, I think you definitely add something with the division of certain tasks! Besides, it's always cool to build something yourself, so please don't read my previous comment as a snark about reinventing the wheel or something. I just really appreciate the simple mechanical kitchen timer recommended for the pomodoro technique.
> An imitation of art will never be art.

As art is somewhat/sometimes an imitation of life/the world itself, why cannot an imitation of art also be considered art? I don't know the right answer (if there is one), but was the question that appeared when I read that.
Show HN: I made a little puzzle game about a rogue chess knight
Building a webapp being difficult for a junior is the exact problem he's pointing out, although pointing it out as a problem is probably not very fair. It's just the maturity of the technology.

The expectation has changed, and people expect webapps to be relatively sophisticated, but building a sophisticated webapp isn't easy. There are a lot of them just because there are a lot of reasonably competent webdevs. Joining that club is not impossible at all, but it's not like building a Rails app 10+ years ago (which did solve a lot of problems at the standard of that time, because of the different expectation level).
I still use Quicksilver[1], the open source app that long predates Alfred and was the inspiration for it. I tried Alfred a few years ago but didn't see anything compelling enough to switch. Am I missing anything?

[1] https://qsapp.com
There is zero chance of a civil war. That would require entire states, not just citizens.

Republican state governors and legislators have drank the Trump Kool aid, Democrats need trump to run against to stay in office.

The people are fat and lazy and either comfortable or uncomfortable enough not to have spare time.

It's a fucking train wreck. Nothing means anything and everything is bullshit.
What Is the Single Unix Specification (SUS)?
Don't forget Flutter :-)

But seriously there has been a movement back towards rending on the server-side. This underpinnings of Next.JS and HTMX
"AI-generated poetry is indistinguishable from human-written poetry and is rated more favorably"

https://www.nature.com/articles/s41598-024-76900-1
The are getting xAI stock instead of cash though and it's not really clear how liquid it will be.
I will loudly point out that the USAF contracted to replace COBOL with Java, attaining 90% reduction in TCO. It’s time for a friendly competition.
But then he doesn't really define good, makes an odd comparison to a now acclaimed pulp fiction author and then says we can only really know what is good after the fact.

Leaning on "new" so hard as part of the "good" just reduces to, "Make new-new things that aren't by every objective measure bad and see if it works out in hindsight".

It would be helpful if we understood what good and bad mean to him.
What's "copium?" Is it one of those meme words (slang, we used to call it) used by people who haven't spent much time reading or writing? Or who can't detect how AI slop is nothing like actual writing? And why do you use the word "honestly" in your terse response? Would you otherwise have been lying? Or is it a crutch that you hope makes you more authentic? Honestly, I'd like to know. And why is there no punctuation or capitalization in your reply? So many questions raised in your throwaway, authentic, structureless writing.
Wren is dynamically-typed, though
Here is an ape adjusting the recording camera on her own

https://youtu.be/dHmRLpNQBJU&t=39s

Also
https://youtu.be/dHmRLpNQBJU&t=26s
Maybe 'like x' won't return 'x'.

This is a suno song asked by me: https://suno.com/song/57c5d409-e800-4a64-9fd4-beaa0c17c91a?s.... I like the bridge part.
And now also uses government capture to dismantle regulatory agencies that would come after him for breaking the law.
IRC -> Discord
This is true but it's not as far off as you think.
In this case, the court doesn't have to just find it was a fair price, but a fair process as well.

That is, the standard the defendants have to meet (not the plaintiffs, the burden is actually on tesla here despite having been sued) is that the transaction was entirely fair to the corporation and shareholders- the process was a fair one, the price was a fair one, etc.

I have trouble thinking of a case where you can prove all this[1] but the market would have come up with something different. Almost by definition, if the market would have decided to pay a lower price, either the price or the process was probably not fair.

[1] Which again, you have to do affirmatively. You aren't just rebutting plaintiff evidence, the burden is on you to show the fairness
You have my sympathies - No doubt you're feeling the worst especially when present reality has collided significantly with expectation of the service you thought you had.

Their TOS [1] was probably something that needed to heavily considered. As for lost data -- #5.7

If your site was exploited in some manner, as a company their IT will just assume the most likely, and blame whatever was installed (I assume a VPS was what was being hosted for your company) was the weak link and subject to being able to be hacked easily.

[1] https://www.hostinger.com/legal/universal-terms-of-service-a...
I'd say F# is closer to filling that gap than OCaml. It's a bit less insistent on being functional and has a more familiar syntax. I find it more practical in general.
Couldn’t you just go like dot net stack on Azure? Or Rails on heroku? I feel like what you’re describing exists but there are trade offs you don’t want to make, or you want to piece together your own thing because it’s cheaper, but for everything but the top say 500 companies an off the shelf solution probably works fine.
> Contrast that with C# which has a dynamic keyword

`dynamic` has a very narrow use-case and generally shouldn't be used at all (even when prototyping)

I believe it was introduced to make working with poorly designed external libraries easier (e.g. Windows/Office libs)
Last release was four years ago.
https://news.ycombinator.com/item?id=39712811
That’s not what their revenue says, though, right?
I am betting this will be made illegal in some European country I now have always lived in.
TLDR:

In November 2023, OpenAI CEO Sam Altman was suddenly fired by the board—not because of AI safety fears or Effective Altruism, but due to concerns over his leadership, secrecy, and possibly misleading behavior. CTO Mira Murati and chief scientist Ilya Sutskever shared evidence of Altman’s actions, like skipping safety protocols and secretly controlling OpenAI’s startup fund.

The board didn’t explain the firing well, and it backfired. Murati, who at first supported the board, turned on them when they wouldn’t give clear reasons. Nearly all OpenAI employees, including Murati and Sutskever, threatened to quit unless Altman came back. With the company on the brink of chaos, the board caved and he was reinstated days later.
Art requires life experience, and a lot of people are under the unfortunate impression that the only "real" life an artist can have is that of suffering, that if they are not suffering then they aren't having "real" experiences.

As far as I can tell, they seem to see the fact that our society does not value artists and specifically extorts them, and takes this as reality instead of a collective choice
> If we could incrementally update our own brains by swapping cells for chips, what percentage of our brain has to be chips before us learning from a book is a violation of copyright?

The same percentage at which you stop qualifying to be human and become an unthinking tool, fully controlled by its operator to do whatever they want, without free will of its own and without any ethical concerns about abuse and slavery, like is the case with all LLMs.

(Of course, it is a moot point, because creating a human-level consciousness with chips is a thought experiment not grounded in reality.)

> When learning to recite a recent children's poem in kindergarten, what level of accuracy can a child attain before their ability to repeat it privately to one other person at a time is a copyright violation?

Any level thanks to the concept called human rights and freedoms, famously not applied to machines and other unthinking tools.
They feel great, because he just magically turned a ~50% loss in Twitter into a ~50% return in xAI and a ~0% loss in Twitter.

Of course, you can't buy $20B worth of mangoes for $40B worth of Mango Holding Company stock and then suddenly make your mango-holding business worth twice as much money.

But you can pretend!

Private valuations, especially VC-funded companies, have been nonsense for decades. Elon is just exploiting that egregiously.
Haxe is the best fit for me, think of typescript with functional patterns and inferred typing. Written in ocaml and inspired by the language
But the author has no intent!

(Eng. Lit. /s)
It is still the case, though, that Consumers Reports ratings are consistent among brands and models. Compared to friends who buy American cars I’ve had 10x fewer problems and kept my cars far longer.
Doesn't mean the company is worth $40 billion though... Or even a quarter of that.