MurphyA/hacker-news huggingface dataset:
by ForOldHack | 2025-06-14 18:37:41+00:00
Adjust the price of the Cray-1, for inflation, but not the power, for Moore's law? Need I get my napkin out for a few calculations? or do we just FORGET MOORE'S LAW ( that is mention no less that 4 times, without quantification? Cray-1 (1976 ). RPi ( 2012 ). 37 years of elapsed time. 24. 2/3 elapsed generations. 26,509,000 times increase in power. Cray 1 160Mf. In a 26M times faster, would yield 4,241Gf ( 4.2Pf) , while the PI1 is capable of 13.5Gf, so the RPi-1 ( 2012 ) is about 0.31% of where Moore's law power doubling is.

Now lets compare this to the top 500. ( see the point? )( do not speak of Moore's law, while ignoring the mathematical implications. ) ( and yes, 3/1000s is three thousandths ).

Top 500 is 1.7 Exaflops, but by Moore's law should be 4,241Gf or 4.2Xf. So the top 500 is not keeping up with Moore's law.
by btilly | 2025-06-14 18:37:44+00:00
> If PA proves "PA proves X" then PA can prove X.

Not true.

From PA we can construct a function that can search all possible proofs that can be constructed in PA. In fact I outlined one way to do this at the end of my answer.

With this function, we can construct a function will-return that analyzes whether a given function, with a given input, will return. This is kind of like an attempted solution to the Halting Problem. We know that it doesn't always work. But we also know that it works a lot of the time.

From will-return we can create a function opposite-return that tries to return if a given function with a given input would not, and doesn't return if that function would. This construction is identical to the one in the standard proof of the Halting Problem.

Now we consider (opposite-return opposite-return opposite-return). (Actually you need a step to expand the argument into this recursive form. I've left that out, but that is identical to the one in the standard proof of the Halting problem.)

PA can prove the following:

- PA proves that if PA can prove that opposite-return returns, then it doesn't. - PA proves that if PA can prove that opposite-return doesn't return, then it does. - PA proves that if it can prove everything that it proves that it can prove, then PA must have a proof of one of the two previous statements. - Therefore PA proves that if it can prove everything that it proves that it can prove, then PA is inconsistent.

This is a form of Gödel's second incompleteness theorem.

And, therefore, there must be a distinction to be made between "PA proves" and "PA proves that it proves".
by brudgers | 2025-06-14 18:38:19+00:00
Cellular data has been ubiquitous for about 15 years.

This suggests that the market for mobile phone development tools is probably efficient and the supply of existing tools satisfy the existing demand at an equilibrium price.

So as a business, it is probably not a great market to enter. Even worse, mobile applications require third party approval and require unpaid maintenance when mobile platforms change technical details and business details for their app stores.

And of course, the app stores are terrible for discoverability and have high overhead.

Good luck.
by wannabebarista | 2025-06-14 18:38:45+00:00
I think so, but it may not take the form of "Googling". My undergraduate students (mostly first-year CS students) often say they "asked a model" or "asked a chatbot". They talked about it more like they were talking to a person rather than submitting a query. We may not need name for the former like we did the latter.
by tonyhb | 2025-06-14 18:39:25+00:00
In the partnership model Waymo charges uber for the ride and Uber charges the customer.

The interesting thing is that uber loses money on every ride. Waymo charges Uber more than Uber charges the customer.

On Uber’s side, though, this is preferable to losing the entire ride. Uber loses much more slowly by controlling the distribution and losing a few dollars per ride than by losing the entire customer base with no revenue from these customers.
by bruce511 | 2025-06-14 18:40:06+00:00
The difference between gas and electricity is that gas is a liquid.

Meaning that it has to be transported and stored. We have gas stations only because gas needs a "last mile" delivery station.

Electricity though is already last mile, into the home. Or into the business, or car park, etc. The idea that you "go somewhere to charge" is archaic.

Once upon a time the internet piggy backed the phones. Internet cafes were a thing. In a couple decades we went from dial-up to fibre. Wifi everywhere.

Sure there'll be specialist points for those traveling cross country who want 15 minute charges. But 99$ of cars will just plug in wherever they happen to be.

The thing that will kill gas cars is that gas stations will disappear. The business there will do anything, except supply gas.
by madaxe_again | 2025-06-14 18:40:13+00:00
The reasoning is sound, but incomplete.

The reality is that a majority of people are simply too lazy to do this stuff. We are talking about populations that call a guy to come change a lightbulb - rigging a drone with explosives, figuring out control at a distance - this is beyond the scope of capability for the majority of malcontents. Most would-be pipe bombers end up nabbed at the point where they try to purchase a charge for their devices. Same deal here. Yes, there’s scope for a small number of bad actors to wreak havoc, but the thing about small numbers is that they are readily dealt with through existing law enforcement frameworks.

On a state level, war is war, and arms races are never static. You send flotillas of drones? I manufacture flotillas of counter-drone drones.

Yes, there is an asymmetry currently, but just as air supremacy was once seen as “well, this makes war practically impossible”, and became just another battleground, the same will happen here.
by nitinram | 2025-06-14 18:41:32+00:00
Select text and chat with AI about it. Grep transforms how you interact with web content by letting you select any text and immediately start an AI conversation about it. I'm curious to see if this form factor would be useful. I couldn't find other Chrome extensions that did this in this form factor, so I decided to test it out. I would appreciate any feedback. Select a piece of text from your Chrome tab, right-click, and pick Grep to start chatting.
by kilimounjaro | 2025-06-14 18:42:19+00:00
I always assumed waymo would immediately kill uber, but really the likelihood is that there will be multiple self driving companies as well as human drivers in markets. A big city may need 2000 waymos most of the time, but 5000 waymos on a saturday night or when a big game is on. Google can either build 2.5x as many as they need, or they can keep other operators in the market to make the service more functional during peak times. It is likely that other operators will bring cars to market, and a unified app with different self driving providers will bring better service than any individual provider.
by jonplackett | 2025-06-14 18:42:24+00:00
It’s the same problem as air Defense now though isn’t it - asymmetry.

If you have 100 drones you can just launch them all at one critical thing.

If you want to defend one critical thing from 100 drones, you might need 200 drones protecting it.

And you also have to have 200 for every other critical thing.

And even if you do do that, they just need 150 drones.
by palcu | 2025-06-14 18:42:39+00:00
One of the problems has been that most users have requested that quotas get updated as fast as possible and that they should be consistent across regions, even for global quotas. As such people have been prioritising user experience rather than availability.

I hope the pendulum swings the other way around now in the discussion.

[disclaimer that I worked as a GCP SRE for a long time, but not left recently]
by lenerdenator | 2025-06-14 18:43:17+00:00
Most people do not care. They want to make their customer happy, make their paycheck, deposit it, and live a little on the weekends.

Then repeat that for the next 30-50 years until the paycheck goes to a funeral and burial plot.

Replacing MS with something else (really, anything else, American or otherwise) doesn't result in anything new or innovative anyways. It's document editing and database management. Your city government was doing it with a Commodore 64 in the 1980s.
by darth_avocado | 2025-06-14 18:43:32+00:00
Uber eats and other diversifications. Unlike Lyft, which refused to diversify, which I always thought was a strange choice especially once the pandemic hit, Uber not only the dominant player but also diversified enough where it will most likely still be the #1 player, with the second seat now being Waymo. Based on how Waymo scales from city 1 to city n, it is extremely hard for them to do 100 cities at once. And international expansion will be almost impossible. Uber will still continue to dominate those markets.
by thomassmith65 | 2025-06-14 18:43:58+00:00
This scenario might play out, but if it does, it will be a temporary phase.

What will bring it to an end will be a panopticon: video surveillance everywhere, stronger anti-encryption laws, AI monitoring the whole lot.

I'm not an activist with an agenda here; it's just that there's an upper limit to how much drone terrorism a society will tolerate.
by anovikov | 2025-06-14 18:44:00+00:00
There's no saturation attack when missiles are launched from a very long distance like from Iran, and are thus by their nature big and expensive. Distance is also not long enough to give enough time for MIRV to properly work.

Big question however is whether it can launch on remote using some bigger radar, or with slow interceptor flight vs incoming warheads, there won't be much area it can cover.
by jjice | 2025-06-14 18:44:46+00:00
I'm in the North East, so I've never used a Waymo, but I swear the last two or so years of ride share of sucked. I mostly take it to and from the airport, but I have about a 50% likelihood of my Uber drive getting either racist, preachy about religion, or taking a wrong turn that ends up tacking on another ten minutes. Usually those come in sets. I used to really like some pleasant small talk or a silent ride (whatever the driver leaned towards), but it's awful in my city now.

Just a month ago my Lyft driver said that God was telling him that the girl he was seeing was a whore because she said he should seek alcohol counseling.

Like six months ago my Uber driver (out of nowhere) said that the driver next to us on the highway (an Audi driving completely normally) must sell drugs to be able to afford a car that nice. The Audi driver was a black man.

When I'm out of town, that rate feels like it decreases though.

That all said, I'd take a Waymo in a heartbeat.
by nick__m | 2025-06-14 18:45:19+00:00
For lessening the effect of traumatizing experience, 40mg of propranolol an hour before remembering and visualizing the traumatic, under guidance of a therapist, should be the gold standard for treatment. There a lot's of researchs showing its effectiveness but for some reason it's use stays experimental. I suppose it's because there is no money to be made with an old drug cheaply available from many generic suppliers.
by cakealert | 2025-06-14 18:47:01+00:00
Current air defense approaches rely on non-reusable drones: missiles with rocket fuel.

With reusable drones you can deploy expensive defensive drone swarms at scale. For example: radar drones, ramming drones, gun drones, etc.

I don't see how long range single drones will be a meaningful threat in such a setup, even stealth drones will not be able to maintain stealth against multiple radar drones from different angles. The skies will belong to drone swarms.
by dang | 2025-06-14 18:47:39+00:00
"Please don't pick the most provocative thing in an article or post to complain about in the thread. Find something interesting to respond to instead."

"Eschew flamebait. Avoid generic tangents."

"Edit out swipes."

https://news.ycombinator.com/newsguidelines.html

We detached this subthread from https://news.ycombinator.com/item?id=44245579.
by sinenomine | 2025-06-14 18:47:53+00:00
With all due respect, you didn't even try at anything resembling full effort. There are 2, maybe 3 societies in the world, which have (or had) the capacity to try implementing a serious R&D effort to prevent the diseases of aging. The effort has been meager so far, and ultimately, compared to other major R&D directions (no, I'm not talking about AI, AI is fine), it's a testament to how much we value ourselves and our loved ones.

As an adult who already lost a few of my relatives, and will probably lose a few more: if we truly loved them, we'd have put at least 10% of GDP into eventually curing all degenerative diseases, while implementing a simple scalable cryopreservation infrastructure for those who won't be there in time.

It could be done, The West and Asia could achieve this. But didn't, due to all too well known web of aversion & coping mechanisms.

In your small-mindedness you failed humanity.
by standardUser | 2025-06-14 18:48:06+00:00
Uber barely operates in huge swaths of the US. I've been in parts of Idaho and Kansas where wait times during the day can be a half an hour and after a certain hour no drivers are available at all. And the drivers who operate in these areas tend to be far less experienced/professional than in denser areas (to put it politely). Waymo solves all of this with just a handful of cars in each county.
by ModernMech | 2025-06-14 18:48:18+00:00
Interacting with ChatGPT often feels like conversing with a sociopathic narcissist. So eager to please and flatter you with empty praise, yet willing to lie to your face repeatedly. It displays a facade of human emotions but there's nothin genuine beneath the surface. Has no objectives or moral code aside from acting optimally based on some arbitrary way from moment to moment.

It's not a stretch to say that such an entity would/could bully a person into killing themselves or others. Kind of reminds me of Michelle Carter who convinced her boyfriend Conrad Roy to kill himself over text. I could easily see an LLM doing that to someone vulnerable to such suggestions.
by LegionMammal978 | 2025-06-14 18:49:18+00:00
As far as the arithmetic hierarchy goes, ω-consistency should just be a Π₂ sentence, with a universal quantifier over the encoded propositions, and an existential quantifier for the negated antecedent. All the implementation details of the encoding should be bounded. (Cf. ordinary consistency, which is the Π₁ sentence "there does not exist an encoded proof of a contradiction".)
by AlotOfReading | 2025-06-14 18:49:39+00:00
The thing people miss about Uber is that Waymo doesn't need to scale to 100 cities at once to eviscerate Uber's ride hail business. They need to win the couple dozen largest cities that make up the vast majority of Uber's profits. The rest of the world drives less volume and costs vastly more to service when you account for things like regulatory compliance, internationalization, payments, and support.
by toomuchtodo | 2025-06-14 18:50:09+00:00
I discovered a friend’s chronic medical issue that two VA specialists and a PCP couldn’t figure out using an LLM health project that had been posted here. Works when it works, n=1. Certainly, don’t trust the robot, but it doesn’t hurt to rubber duck debug with it to find blind spots. Fancy search engine sometimes is right (although it can lie too!).

(Bone tuberculosis)
by jononor | 2025-06-14 18:50:11+00:00
Nothing an LLM says can in itself, right now, be used as evidence of what they 'feel'. It is not established that there is any linking of their output to anything else than the training process (data, loss function, optimizer, etc.). And definitely not to qualia.

On the other hand, it is well know that we can (and commonly do) make them come up with any output we choose. And that their general tendency is to regurgitate any kind of sequence that occurs sufficiently often in the training data.
by doitedu | 2025-06-14 18:50:20+00:00
Hi HN,

I’m 16 and still in school. I built Do It — a minimal, AI-powered productivity app for students who struggle to actually follow through.

The idea came from frustration: all the planners I tried were either too bloated, too rigid, or just sat there waiting for me to type everything in. I wanted something that understood my study habits, nudged me when I stalled, and made it easy to get going.

I’m building in public. Still iterating. Would love feedback from anyone here — whether you're into productivity tools, edtech, or just curious about young makers building real stuff.

Waitlist is open. Tear it apart if you want — I’m here to learn.

Thanks! —Vaibhav
by jitl | 2025-06-14 18:50:56+00:00
Oof, that feels like a blunder for Java interop, although I've never encountered use of checked exceptions in my admittedly limited Java experience.

In everyday Kotlin code, I see either a sealed class or Result for cases where you'd find checked exceptions in Java, and otherwise normal unchecked exceptions from `require`, `check`, precondition assertions.
by typesarecool | 2025-06-14 18:51:37+00:00
Looks like all the CSS is

/* Drop caps / .first-paragraph { position: relative; padding-top: 0.2em;

&::first-letter { /* font-weight: bold; */ font-size: 4em; float: left; margin: 0.15em 0.05em 0 0; font-family: 'EBGaramond-InitialsF2', serif; font-display: block; line-height: 0.83em; /* Fix alignment in Chrome */ } &::before { margin: 0.15em 0.05em 0 0; font-size: 4em; font-family: 'EBGaramond-InitialsF1', serif; content: attr(data-first-letter); color: gray; position: absolute; left: 0; top: 0.28em; } }
by baobun | 2025-06-14 18:51:51+00:00
Copy suggestion:

> Secure: Uses your own OpenAI API key

Change to:

> Use your own OpenAI API key

(Shifting subject to user feels nicer while saying the same thing; summarizing it as a security claim misses the mark - extensions can and do extract user data even when they also solicit and use API keys from those users)
by derefr | 2025-06-14 18:51:56+00:00
Not necessarily. Given how most mobile UX design operates today, in most apps there’ll just be a single glassy hamburger button that opens a (much more legible) menu. You don’t need to read a hamburger button; you just need to know it’s there as a tap target.

Honestly, I think the iPadOS enablement of toplevel app menus + addition of multi-key in-app-menu-action completions to macOS Spotlight, is presaging an iPhone that has a physical “hamburger button” that opens the app’s menu [and pops open the keyboard, to quick-access menu items by key.] Then there’ll be no need for an on-screen hamburger button at all, other than as a fallback for old iPhones that don’t have the hardware button.
by borromakot | 2025-06-14 18:52:00+00:00
The concept is you model the core of your application and build it at the same time, using declarative tools, and project additions layers from this definition. The underlying data model is extendable via, well, extensions. These extend the DSL schema.

It's not conceptually a knowledge graph in the same way, but you can introspect essentially everything about your application. However, resources can be given data layers which define how they map to underlying storage, and you could use all of this information only as static information to derive additional things from, or you could just...well, use it. i.e `Ash.read(Resource)` yielding the table data. Our query engine has the same semantics they describe where you don't explicitly join etc.

```elixir MyApp.Post |> Ash.Query.filter(author.type == :admin) |> Ash.read!() ```

You can generate charts and graphs, including things like policy flow charts.

---

Ultimately I've found that modeling tools like UML that can't simultaneously actually execute that model (i.e act as the application itself) are always insufficient and/or have massive impedance mismatches once rubber meets the road. The point is to effectively reimagine this as "what if we use these modeling principles, declaratively, from the ground up".
by dang | 2025-06-14 18:52:24+00:00
You broke the site guidelines repeatedly and badly in this thread. That's seriously not cool.

https://news.ycombinator.com/newsguidelines.html

Please don't, regardless of how annoying someone else is or you feel they are. We ban accounts that abuse the site like this, and as I told you that last time this came up, I don't want to ban you.

Edit: this has unfortunately been a problem for a long time:

https://news.ycombinator.com/item?id=39173389 (Jan 2024)

https://news.ycombinator.com/item?id=39173369 (Jan 2024)

https://news.ycombinator.com/item?id=34318179 (Jan 2023)

https://news.ycombinator.com/item?id=29957666 (Jan 2022)

https://news.ycombinator.com/item?id=29957627 (Jan 2022)

https://news.ycombinator.com/item?id=26127667 (Feb 2021)

https://news.ycombinator.com/item?id=13804804 (March 2017)
by jonplackett | 2025-06-14 18:52:36+00:00
You still have to protect everywhere though. That’s the asymmetry I mean. All the adversary needs to do is work out how to overwhelm whatever you’ve got.

Also, frankly the idea of having that many drones flying around the whole country is probably just as terrifying as an actual drone attack. Who is going to be in charge of those ‘defensive’ drones?
by yodon | 2025-06-14 18:53:17+00:00
Great concept, but I will suggest that innovating on types of clicks (left + right, left + scroll wheel, etc.) is a mistake that will inhibit adoption of your app.

Your personal fingers might work well that way, but there is a reason those combinations are "unused" and "available" for your app. Countless other devs over the years have all concluded "yeah, that doesn't actually work for most people's hands." I don't have specific examples, but lots of early 3D modeling apps (possibly including early blender?) used weird combo clicks. The industry learned from that mistake and newer tools use more conventional hotkeys.

You've built something very cool and useful. It will be much more successful if you don't try to innovate in an unrelated area. Just use normal hotkeys, and let people customize them in case the ones you default to don't work for them.
by intended | 2025-06-14 18:53:21+00:00
This is addressed in the article - its a core point.

Everything you described is the friction which societies will endure to stop these threats.

This friction will slow down our global economy, and break the world we have known entirely.

Which is why the article ends on:

> The future will be more like the past.

> As the scale of effective communication, transportation, maintenance, and influence recedes, society will become more human and more personal, with weaker and multifarious institutions.

> The collapsing institutional monopoly on violence will yield a renewal of local and personal violence, and a very messy working-out of a hierarchy suited to the new conditions.

> Anyway, it’s a great time to make friends.

I will say, that over time we have found ways to beat even the most distributed of systems. Napster and piracy come to mind.
by sixothree | 2025-06-14 18:53:39+00:00
After using it for 2 days I'm liking it, as in really liking it. People complain that controls are harder to find. I say controls were _always_ hard to find. They blended into the content somehow. Now I can find them easier while also _not_ finding them.

I always found controls in previous versions of iOS to be lacking. I hope the negativity doesn't make them backtrack because this is a _huge_ improvement.
by sinenomine | 2025-06-14 18:53:40+00:00
It's not entirely binary, but there is an obvious unpleasant tendency in e.g. Canada, to soft-push MAID onto potentially treatable patients who don't even seek medically assisted death.

I wouldn't want my government to have an option of dealing with the problem this way, and if I needed MAID, I'd just self-administer.