MurphyA/hacker-news huggingface dataset:
by Veserv | 2025-06-28 22:18:32+00:00
Why is that interesting? Do you expect them to get into a crash in a simple 15 mile journey? Humans go around 1,000,000 miles between crashes. You literally need to make such a journey over 50,000 times in a row without a crash to be a actual viable autonomous vehicle solution. If you are still worried about the possibility of a problem in a single 15 mile journey you are so far away from adequate to be driverless it is not even funny.

As a example, by end of 2016 Waymo was doing 5,000 miles between interventions [1]. It took them until end of 2020 to reach ~30,000 miles per intervention [2]. They only began driverless operations in 2022. 6 years of improvement from a capability level of 5,000 miles per intervention before they thought it was safe enough to hit the roads with no driver.

In contrast, Tesla is averaging 500 miles at best [3] and the incident rate of their pilot program corroborates that their "Tesla Robotaxi" version is not materially better. As such, getting a cherry picked 15 mile journey should be expected, but is not at all indicative of actual adequacy for scalable autonomous operation. And despite that, they still failed to actually follow the law for the entire duration failing on a task as trivial as not parking in a gigantic red fire lane.

This is also in spite of starting their autonomous driving development by 2016 at the latest. So, after 9 grueling years they are still too immature to handle simple signage such as fire lanes. After 9 grueling years they have achieved much less than what Waymo had in 2016, the year they started. If Tesla literally time-traveled their current technology back to when they started, it would be 10 times worse than cutting edge.

Furthermore, Waymo was founded in 2009. It took Tesla 9 years to achieve significantly less than what Waymo achieved in 7 years, despite Waymo starting 7 years earlier. So Tesla's rate of improvement is slower and they still have not yet caught up to where Waymo was when Tesla began their program. And Waymo thought they needed 6 years of further development beyond that level of performance before it was not a unnecessary risk to the public to go fully driverless.

Pointing at single drives as evidence of safety and capability is nonsense. A single drive provides 1/3,000th the evidence you need to conclude that they can go 3,000 drives in a row without problems. But breaking the law on your first drive provides 2,999/3,000th the evidence you need to conclude that they can not go 3,000 drives in a row without problems.

[1] https://thelastdriverlicenseholder.com/2018/02/01/disengagem...

[2] https://thelastdriverlicenseholder.com/2021/02/09/2020-disen...

[3] https://teslafsdtracker.com/
by chriswarbo | 2025-06-28 22:19:04+00:00
Hypermedia isn't just for human consumption. Back in the 90s, the Web was going to be crawled by "User Agents": software performing tasks on behalf of people (say, finding good deals on certain items; or whatever). Web browsers (human-driven interfaces) were the most common User Agent, but ended up being a lowest-common-denominator; the only other User Agents to get any widespread support were Google crawlers.
by chipsrafferty | 2025-06-28 22:19:12+00:00
Different words/phrases have different meanings to different groups/over time.

To Zionists, Zionism means that Jews have the right to have a homeland, free of persecution. To non-Zionists, it means that Zionists think that they have the right to a specific area of land (Israel) and that that land is their god-given right, and that they are free to use violence to obtain it. To a secular person, the idea of someone having a "god-given" right to a piece of land is insanity.

"From the river to the sea" has been used to mean "Palestinians will be free everywhere" and also "the Jews that are violently occupying Palestine will be killed from the river to the sea".

I can't speak for specific protestors you encountered, but the majority of people I know that are anti-Israel don't want "all Jews to die" or even any of them. They just want the genocide to stop, for people to stop dying. It's really that simple. Protestors are protesting violence.
by general1726 | 2025-06-28 22:19:16+00:00
There is also no external motivation to colonize Mars whatsoever. I.e. if there would be an alien ship or alien structures full of technology there would be a permanent base(s) on Mars since 1980s and we would be racing who can send more people there to secure as much knowledge as possible. But because Mars is a cold desert then there is really no demand for a 1+ million city on Mars. Like building a city in a middle of Sahara. Sure it is possible, but what's the point?
by aleph_minus_one | 2025-06-28 22:20:08+00:00
> From 01979 until about 02000, Oracle's RDBMS software was probably the best in the world, and definitely better than the free-software alternatives like Postgres. [...] For several years after that, it was still the best database for some purposes.

Which RDBMS software has/have become the best in the world after that?
by suzzer99 | 2025-06-28 22:20:16+00:00
I've lost one of my best friends to what I think is schizophrenia. We don't know because she's cut off all contact with friends and family and refuses to see a doctor. It's definitely psychosis. She thinks she's in some kind of Truman show that she calls "the game". Since none of her friends or family are willing to admit to it, then we must be in on it.

We don't know her full family medical history because her dad was adopted. I do know that she was "microdosing" and macro-dosing hallucinogens for years. Mostly acid and shrooms as far as I know. She followed the band Phish around with a group of friends. I can't imagine most of those shows were sober.

We've also seen a few incidents of paranoia when she was under the influence of drugs/alcohol going back decades. So it feels like this was always there in some form, but maybe the estrogen was holding it back before menopause hit. I read an article about women who get schizophrenia after menopause that suggested this could be the case.

Anyway, whenever I see wellness healers and the like extolling the virtues of psilocybin, I want to point out that there could be a downside. We don't know that all of her hallucinogen use over the years contributed to this. But it's certainly a possibility.
by fredfish | 2025-06-28 22:20:31+00:00
AFAIK Sun gave Netscape free use of the JavaScript Trademark purely to side with Netscape against Microsoft in the browser wars, language wars, etc. I would think there is still something related to the original agreement.

It looks like JScript is still trademarked by Microsoft, why not ask them to do whatever the community thinks is right for ECMAScript names and then we can all refer to the language a little faster?
by ericb | 2025-06-28 22:22:02+00:00
>gemini -p "Say hello"

Says hello, and just returns right away.

The gemini doc for -p says "Prompt. Appended to input on stdin (if any)." So it doesn't follow the doc.

gemini "Say hello"

Fails as it doesn't take any arguments.

For comparison, claude lets you pass the prompt as a positional argument, but it does append it to the prompt and then gives you a running session. That's what I'd want for my use-case.
by IshKebab | 2025-06-28 22:22:16+00:00
That's not true. There's a spectrum of typing complexity all the way from TCL everything-is-a-string to formal languages like Lean where the types can prove all sorts of things.

As you go further towards formal verification you get:

* More accurate / tighter types. For example instead of `u8` you might have `range(0, 7)` or even a type representing all odd numbers.

* Better compile time detection of bugs. (Ultimately you are formally verifying the program.)

* Worse type errors. Eventually you're getting errors that are pretty much "couldn't prove the types are correct; try again".

* More difficulty satisfying the type checker. There's a reason formal verification of software isn't very popular.

So it's definitely true that "more obnoxious types" exist, but Go is very far from the obnoxious region. Even something like Rust is basically fine. I think you can even go a little into dependent types before they really start getting obnoxious.

TL;DR, he's just lazy and doesn't really care about bugs.
by holowoodman | 2025-06-28 22:22:47+00:00
There is also an unspoken bit of realpolitik there: Israel is still an ally to Germany, Palestine isn't, Iran isn't, Hamas isn't, etc.

So this is actually a super-nice position to be in, you can support your ally no matter what they do, while still looking contrite and morally superior by pulling the "we are Germany, we are not allowed to have a say in the matter" card.
by api | 2025-06-28 22:23:11+00:00
Isn’t all this company is the product stuff an obvious side effect of wealth inequality?

There is way way more money up top looking for investments than there is in the hands of customers, so it’s far more profitable to chase that money and make the stock the product than it is to care about the actual product much.

It’s a special case of the more general big dumb money problem that happens whenever too much money ends up in too few hands, whether those hands are a government or a few private rich citizens. You end up with this giant piñata of big dumb money and everyone whacking it.

In the old USSR instead of the stock is the product it was the appearance in the eyes of other bureaucrats is the product, but it’s kind of the same phenomenon. The customer isn’t the customer.
by SAI_Peregrinus | 2025-06-28 22:23:25+00:00
Independence from ZFC means we can't prove that any given number is BB(643) using ZFC. It doesn't mean we can't prove it at all, e.g. one could use a stronger set theory like NBG which can prove the consistency of ZFC to verify the value of BB(643). But there would be some n for which BB(n) is independent of that set theory, requiring a yet-stronger theory, and so on ad infinitum.

ZF & ZFC are as important as they are because they're the weakest set theories capable of working as the foundations of mathematics that we've found. We can always add axioms, but taking axioms away & still having a usable theory on which to base mathematics is much more difficult.
by scoofy | 2025-06-28 22:23:46+00:00
> Dr Kaveh Madani, Iran's former deputy environment head now at the UN University, has called sanctions "an environmental weapon." It's a strong claim, but the effect is undeniable: countries facing water stress are being denied the tools to address it.

Yes. Sanctions aren't supposed to be unpleasant. They're supposed to be painful. They're supposed to be a more peaceful substitute for literal violence.
by PaulHoule | 2025-06-28 22:23:51+00:00
My belief about is that the core of schizotypy and schizophrenia is

https://en.wikipedia.org/wiki/Thought_disorder

as did Eugen Bleuler. I have a friend who is schizophrenic whose speech hardly makes sense and she is always calling people on the phone and carrying on nonsensical conversations. Somehow the general public is hung up on ‘hearing voices’ but I have never once heard a voice but under stress I (schizotypal) did once spend about six months under the influence of a ‘system of delusions’ yet stayed mostly functional, kept working, and managed to avoid getting in serious trouble.

I think it is quite ordinary also for people to have a dialogue with an ‘invisible friend’ or believe that they ‘talk to God’ when they pray, the auditory hallucinations of schizophrenia seem to be something like you have a thought that you don’t think is your thought but somebody else talking, notably schizophrenics often believe that somebody is putting thoughts into them or taking thoughts out of them, see

https://www.theairloom.org/mindcontrol.php
by s4074433 | 2025-06-28 22:24:00+00:00
I can assure you that the coin of this term caused me quite a bit of headache, even though I would prefer to focus on the fact that I am not aware of anyone else folding flower petals into origami, except for one other person who has done this with lotus flower petals.

I have consulted friends in Japan (native Japanese speakers), and even Robert Lang gave me the same comment. It is not my intention to cause controversy with the choice of words, but even the Japan Origami Academic Society would not respond to my request for clarification, so I think this is where a :shrug emoji would go.
by phlakaton | 2025-06-28 22:24:47+00:00
There are many features of BeOS I loved, but for some funny reason the one that just thoroughly won me over from day one was the three-second boot time on my crusty Mac. Might've been a bit of a cheat. You'd never know it. It was just glorious performance for the impatient.

Of course, that version of the OS didn't do a whole lot. By the time R5 rolled around, the boot time had grown quite a bit. It was still damn fast though.
by ben0x539 | 2025-06-28 22:25:01+00:00
Cool language. Only two weeks for this? Damn!

This seems to nicely smooth out a lot of the pain points I had back when I regularly wrote Go but also switched to other more expression-based languages occasionally. Being able to get all these conveniences while still being able to call into existing Go code seems amazing!

Also, I appreciate the pun, but did you have to use AI for the logo? Haha
by moritzwarhier | 2025-06-28 22:25:25+00:00
Interesting point, but I'm not able to judge the trutfulness.

So the JVM has a runtime-enforced nominal type system (and object model) with classes.

But JS, to my knowledge, only has primitive types enforced at runtime, and no nomimal class system, unless you basically implement it yourself?

Uh, edit: maybe I get you now, it does have that in a way. But prototype identity and "instanceof" are rarely used in practise.

Maybe I'm missing your point here. Answering at late local time.

It would be so great to have a nominal type system in the browser though.

So many JS librarlies have their own version of it, and it causes insufferable headaches when combined with TypeScript.

Like, they use complicated hacks to make sure that their library objects are not structurall/duck typed.
by ementally | 2025-06-28 22:26:04+00:00
https://4fa2b80c.privsec-dev-2oz.pages.dev/posts/knowledge/l...

>Framework. vPro Enterprise Framework devices actually meet HSI level 4, but they unfortunately do not handle firmware updates properly. They have not shipped a single firmware for their 13th generation over a year since its release date, and over 6 months since the disclosure of LogoFail. While they do ship some updates for other devices, how they have been handling so far is not acceptable if you need a secure device.
by s4074433 | 2025-06-28 22:26:05+00:00
I can assure you that they are definitely bougainvillea flowers that I folded. In fact there appears to be quite a few varieties and they do possess different colours: https://en.wikipedia.org/wiki/Bougainvillea

You are right in that they are difficult to fold, but not because of the size of petals (I fold models no bigger than from a 1cm x 1cm square cut from the petal), but because of the curvature of the petals that makes it difficult to press and work with.
by dang | 2025-06-28 22:26:53+00:00
Can you please stop posting flamewar comments? It's against the site guidelines because it destroys the curious conversation we're trying for. I know that topic is both important and activating, but that makes it more important, not less, to stick to the site guidelines: https://news.ycombinator.com/newsguidelines.html.

Instead, please make your substantive points thoughtfully, regardless of how wrong someone else is or you feel they are.
by WarOnPrivacy | 2025-06-28 22:27:15+00:00
> the idea of trying to consciously encourage myself hearing voices is terrifying,

This is not unreasonable.

It could be less awful if the voices were positive and not harsh and negative. Schizophrenics outside the US were found to have a more benign relationship with their voices.

The striking difference was that while many of the African and Indian subjects registered predominantly positive experiences with their voices, not one American did. Rather, the U.S. subjects were more likely to report experiences as violent and hateful – and evidence of a sick condition.

ref: https://news.stanford.edu/stories/2014/07/voices-culture-luh...
by shimon1981 | 2025-06-28 22:27:44+00:00
We're bootstrapped founders and we've built iPhone app to vibe code iPhone apps.

you can see a quick video on our site at bottom how we leapfrogged funded competitors.

we have lots of bugs and UX issues, but would love you try making an app and leave your feedback in comments.

Would be great if you even tried other solutions.

p.s. when it starts generating, no need to look at the progress bar because it feels like it's stuck but it's not. There's not much of feedback indication ,yet.

Just put app in background and check it after some time.
by 1vuio0pswjnm7 | 2025-06-28 22:28:01+00:00
Autocomplete allows one to see what strings others have written, typed, or dictated. That can be useful, no doubt. For one, it saves time typing those strings oneself.

But claiming those strings as one's own is a bridge too far. Of course one might want to avoid inadvertently creating strings that others have already created. Autocomplete can prevent that. But people will inevitably need to create new strings that no one else has created before. There is no substitute for the thinking behind the creation of new strings. Recombining old strings is not a substitute.

"AI" is being marketed as a substitute. Recombination of past work is not, by itself, new work or new thinking. As with autocomplete, there are limits to its usefulness.

For software developers who hate "intellectual property" and like to take ideas from others, this may be 100% acceptable. But for non-software developers who seek originality, it might fall short.

When the people invested in "AI", e.g., Silicon Valley wonks, start throwing around terms like "intelligence" to describe a new type of autocomplete, when they fake demos to mislead people about its limits, then some people are going to lose interest. Software developers betting on "AI" may not be among them. The irony is that software development is already so rife with economically justified mindless copying and unoriginality that software quality is in a free fall. "AI" is only going to supercharge the race to the bottom.

Like it or not, the market wants "bad code". It loves mindless copying. It has no notion of "code quality". It demands minimisation of "developer time". Perhaps "AI" will deliver.
by noman-land | 2025-06-28 22:29:19+00:00
Millions of thematic groups have existed for many hundreds of years and they did not need Facebook to organize. People are experiencing inertia and are too lazy or naive to help themselves. And, yes, some are truly addicted.

This inertia and naivete is harmful and dangerous to everyone involved. It's like if they met in a sketchy part of town or were using tools unsafely to the point where they could injure someone. Going along with that, and especially without saying anything, or trying to change the situation makes you complicit.
by b00ty4breakfast | 2025-06-28 22:30:15+00:00
I think the VC thing is indicative of the entire thing; the goal is profit and everything is subordinated to that. This is how the system works and how it is designed to work. When profit and some external thing like social responsibility are at odds, profit is going to win out every time. The mercenary mentality rules the scene.

In Magickal Faerieland, we have regulations to align those 2 things by incentivizing the "goodguy" path and/or disincentivizing the "cackling villain" path but we live in reality where money rules and regulatory capture is a thing. So a Facebook or other megacorp can get away with using neuroscience and psychology to engineer a virtual slot machine with a terrible payout and ExxonMobile et al can get away with being an architect of environmental degradation and the accompanying humanitarian disasters.
by imiric | 2025-06-28 22:30:31+00:00
The vibe coders would tell you: you don't. You test the program, or ask the LLM to write tests for you, and if there are any issues, you ask it to fix them. And you do that in a loop until there are no more issues.

I imagine that at some point they must wonder what their role is, and why the LLM couldn't do all of that independently.
by leakycap | 2025-06-28 22:30:57+00:00
I love that BeOS/Haiku is still doing its thing, but I don't know what its thing is.

The only "killer app/feature" I know of for Be/Haiku is https://www.tunetrackersystems.com/status.html a radio station automation program, and it's in a weird state where they can't provide hardware that works reliably.
by rossdavidh | 2025-06-28 22:31:56+00:00
LLM's will definitely find big uses in spam. However, it's not the _only_ use.

1) the code that LLMs give you in response to a prompt may not actually work anywhere close to 90% of the time, but when they get 90% of the work done, that is still a clear win (if a human debugs it).

2) in cases where the benefit from successes is as much as the potential downside from failures (e.g. something that suggests possible improvements to your writing), then 90% success rate is great

3) in cases where the end recipient understands that the end product is not reliable, for example product reviews, then something that scans and summarizes a bunch of reviews is fine; people know that reviews aren't gospel

But, advocates of LLMs want to use them for what they most want, not for what LLMs are best at, and therein lies the problem, one which has been the root cause of every "AI winter" in the past.
by moritzwarhier | 2025-06-28 22:33:11+00:00
Thanks for your reply!

The back-cover text of the book I linked explicitly says the same, but with a strong reversal of causation.

Roughly translated and summarized, it says: "Genuinely egalitarian societies must be small and tight-knit". It kind of ties egalitarianism to hunter-gatherer tribes, and even doubts the possibility of egalitarianism in industrialized (and even agriculture-driven) socieities.

I'm not here to replicate this claim, the book's contents are of course more nuanced that my summary of the cover text.

I think it even quotes Kelly, but I'd have to move my fat ass to the shelve and look up the appendix to confirm this.

It discusses many different works about pre-modern societies.
by alangpierce | 2025-06-28 22:33:52+00:00
> What if you just... removed the AI part?

Maybe I'm not fully understanding the approach, but it seems like if you started relying on third-party MCP servers without the AI layer in the middle, you'd quickly run into backcompat issues. Since MCP servers assume they're being called by an AI, they have the right to make breaking changes to the tools, input schemas, and output formats without notice.
by bigyabai | 2025-06-28 22:34:03+00:00
> like that engrained in Islamist governance and extremist militant groups.

Or that engrained in the joint Israeli/American coup that overthrew Iran's last democratically-elected leader. The one that installed a secret police that tortured and disappeared tens of thousands of citizens under the training of CIA and Mossad operatives: https://www.encyclopedia.com/history/legal-and-political-mag...

If you think his comment reads like revisionism, imagine how ridiculous you sound to an educated audience. C'mon now.
by varispeed | 2025-06-28 22:34:36+00:00
I get the argument, but let's be blunt: every serious cache system deals with consistency, partial reuse, and correctness. That’s standard engineering - regardless of how much intimidating jargon you layer over it. Useful, sure. But watching the industry throw a circus around basic cache management, complete with papers and corporate branding, is exactly why so much of modern tech feels like a hype-driven clown show rather than a disciplined craft.