MurphyA/hacker-news huggingface dataset:
by Saline9515 | 2025-08-03 14:48:29+00:00
I was answering to the parent who said that cycling accidents/deaths were caused by cars. As it happens, in the case of death, it's true, even though only for 2/3rds of the deaths, so not an overwhelming majority. And regarding "serious accidents" which are much more common and nonetheless very problematic, it's mostly false as most of the cycling accidents don't involve another car.

Besides, a cyclist passing at a red light can hit a pedestrian. I know those are the last of your concerns as a cyclist, my wife got hit at a crosswalk in Paris by one, who didn't respect the red light.

Or, by the way, a car can create an accident while trying to avoid the cyclist. Honestly, saying "dangerous cycling behavior is only dangerous for us" and "accidents and deaths are caused by cars" is quite comical and representative of the self-centered mindset of many cyclists.

Also, half of the cycling accidents with cars involve a professional vehicle/public transportation. But I'm sure that in your biking utopia, we'll have tomorrow cargo bikes delivering to Costco and and material to public works!
by Eisenstein | 2025-08-03 14:48:39+00:00
Decreasing energy demands isn't going to happen though, and energy should not be thought of as a profit generator. You can spend all your effort trying to do something that isn't going to happen without forcing people to do it, and you can lament that public needs don't make profits, or you can deal with the reality of the situation and accept that things aren't ideal.
by strcat | 2025-08-03 14:48:55+00:00
> Even Graphene OS reported that they're in talks with some vendor... Have there been any updates towards that?

The startup we were working with before went bankrupt. In June, we started working with a major Android OEM which has provided resources for identifying everything which will need to be done to meet our requirements and provide official GrapheneOS support. They believe they can meet all our official requirements without much trouble and they're going to determine how much resources they want to put into it soon. We don't yet know how many resources are going to go into it.

> The main reason i used to root devices are

Note using GrapheneOS does not involve rooting.

> System level adblock using adaway

You can use RethinkDNS for filtering combined with still using a WireGuard VPN or multiple chained WireGuard VPNs. Android has a perfectly good API for this.

> Titanium backup

GrapheneOS has a built-in encrypted backup system we plan to significantly improve upon. The basics are there already.
by _fat_santa | 2025-08-03 14:49:39+00:00
> by understanding the Apple layout first.

And it's honestly kinda mindblowing that they didn't get it. You don't have to use a Mac for that long to realize how their layout works and why it works. Likewise they could have used keyboards with the Fn key on the very bottom left and realized instantly it was subpar for Windows based laptops.
by strcat | 2025-08-03 14:50:13+00:00
Yes, but they need to meet our official requirements:

https://grapheneos.org/faq#future-devices

We're working with a major Android OEM and it's going well so far. It's still in an early phase where they've assigned a small amount of resources to it to determine everything which needs to be done and then make the case for a much larger investment of resources. We expect that to happen and for it to go well.
by danielschreber | 2025-08-03 14:50:37+00:00
IMO, it's related to modern technology insofar as it adds depth to a common (or once common) English expression that can be used in many circumstances.

It's for people ("today's lucky 10,000") who might have heard of "Queensbury rules" as a general term for fair play but didn't know about boxing or what a Marquess is or about the connection with Oscar Wilde.

Also, as Wikipedia pages go these days, it seemed to me to be better than average in terms of presenting facts in a non-judgemental way.

The bit about his eldest son adds some depth to his character and context to his conflict with Wilde.
by xandrius | 2025-08-03 14:50:52+00:00
Re-reading your own message should definitely be a bell for you to notice either your lack of trust in others and/or your twisted perspective that work is the goal of life.

Unless you are the one paying for that person and they are not performing as by contract, even if someone needs an extra day off to chill, you should be happy they do take it as it creates an environment where you also could take it off if you so wished.
by mattmaroon | 2025-08-03 14:51:04+00:00
People are told to eat less processed food and more vegetables and yet we’re all fat. Nobody listens.

Anybody who listens to this either doesn’t travel much or is the sort of person who’d get there that early anyway. Unless I’m checking a bag (which means I’m going somewhere that I’m anticipating bringing a lot of stuff back) I lazily aim for an hour early and am closer to 45 minutes. I’d be even later but there’s substantial chance of random traffic between me and the airport I most frequently fly out of.
by holmesworcester | 2025-08-03 14:51:10+00:00
One way to settle the question of whether Khan is right would be for the government to simply make competing offers in these situations, buy the companies, and shepherd them to IPO, or a buyer with fewer antitrust issues if that's not possible.

If the government is net ahead after a decade or so, then we'd know.

This approach to antitrust wouldn't work in cases like the Apple case, where the power is worth it to the company only because they can misuse it, but it would be a very fair and accounting-transparent remedy for the "startup gets bought by competitor" case.
by Ono-Sendai | 2025-08-03 14:52:49+00:00
I would love this. I have to do disgusting hacks to get an embedded browser window in my metaverse (https://substrata.info/) that uses webgl. The disgusting hack is to render the browser window behind the main webgl canvas, and then punch a hole through the webgl canvas with zero alpha. Event handling (mouse, keyboard) is also a total pain.
by YSummary | 2025-08-03 14:52:56+00:00
On top of YSummary, one might develops NSummary to summarize all news from various sources and give subscribers 10 minutes to 'read thru' world newspapers from WSJ to NYT to WP to to FT to Economists..etc. Further, Ysummary needs to expand to include French/German/Japanese youtube clips. This indeed will change how we use internet all together. Yahoo used to be the gate to internet, then Google. Now YSummary and NSummary will be the new gate above Google/YT/FB/IG/X.
by Catbert59 | 2025-08-03 14:53:05+00:00
In Germany as soon the Deutsche Bahn is somehow involved you better make it even longer than 3h as soon as the long distance train network is involved.

The punctuality of the trains is incredibly poor. And the chances are above zero to end up at a train station in the middle of bmfck nowhere.

Not my first time spending a night at Frankfurt Airport. But not within the comfy sterile zone after check-in... more like sitting in front of the small overpriced 24/7 supermarket.
by komali2 | 2025-08-03 14:53:10+00:00
> "Language in its plain form shapes us. That's why I won't take any slander of men or masculinity as ideas while there's cultural bars to doing that to others."- me

What I don't understand is what I perceive to be an unwillingness on your part to separate the toxic from the masculinity, toxic being an adjective describing the noun masculinity, so therefore, one form of masculinity.

Is this all just because you perceive this to be unfair for some reason? Are you a redpiller or men's right activist type? Do you believe it's unfair that white people can't say the n-word and black people can?
by soulofmischief | 2025-08-03 14:53:32+00:00
I don't live in one of the largest metros in the US, and we don't have many places like that. There are none that I know of. Not every place is the same.

Things were better pre-COVID, I had a spot I could get $2 pitchers of bud and 50 cents an oyster on Monday nights at a local watering hole. Weekends, not so much, you get overcharged. But, COVID did away with that and now my city is almost as expensive as major metros in California while having absolutely none of the benefits those cities offer.
by Aurornis | 2025-08-03 14:54:23+00:00
> Ramblings channels let everyone share what’s on their mind without cluttering group channels.

This is a great place to use threads.

If someone wants to ramble, you say “Starting a thread to think through <topic>” in the project channel and then you put your follow-up chats in the thread. This way it only occupies a single line and notification (for those who have it enabled) but keeps it in the right place.

Creating excessive numbers of channels is a common small company mistake that they’ll come to regret later. Every growing company I’ve worked for has gone through a “let’s create channels for everything” phase followed later by a “we’re all so burnt out from being in 80 different channels” phase. Creating a separate channel for every person of a project will scatter the discussions and add excessive cognitive load for juggling channels.
by csomar | 2025-08-03 14:55:14+00:00
The 3-hours is a recommendation so that the airline can "cover its ass". Air Travel got worse after Covid, especially for International travel. Domestic is less complicated but if you are travelling internationally, the security checks are a plenty and I have learnt my lesson to be at least 3 hours early. Most of the time, the time was wasted between passport/visa checks, slow check-in, buggy self-checkin so back to queue, slow security, slow passport checks, big airport -> takes lots of time to move around, etc.

I had a Turkey-China flights 3 months ago. I arrived at Istanbul international more than 3 hours early. Between all of what I described above, I arrived at my gate just 10-15 minutes before departure.

I am actually wondering about the lost opportunity cost to have these large expensive airports with all these shops and then leave passengers with no time to shop around.
by ktallett | 2025-08-03 14:55:21+00:00
But salaried jobs are not time based. They are often focused on doing a task across many months, one less productive day won't mean a significant loss financially for the company. We all have less productive days, is that a direct loss financially to the gdp? What about more productive days is that me helping the gdp? Or does it balance out?

Fixing time wasted at an airport could be useful but it's not the biggest issue ever and I certainly wouldn't frame it as a GDP issue if we could fix it. More efficient for humans to do things they want to do with their time, not to do work instead.

Even trading time for money jobs, are not as clear as that, as often you produce far more money for the business than you get in return. So a simple addition of what your pay per hour is to the overall cost sum is still not accurate.
by rahimnathwani | 2025-08-03 14:56:33+00:00
In San Francisco, the math placement situation is so bad that voters passed a resolution urging the school board to make Algebra I available to 8th graders.

https://ballotpedia.org/San_Francisco,_California,_Propositi...

Such a low bar, but even in the most recent school year, most 8th graders could only study Algebra I via an online course or summer school, i.e. most had no access to an in-person Algebra I course during the school year.

This at a district with average per-pupil operational spending of over $27k.
by michaelrpeskin | 2025-08-03 14:56:33+00:00
Yes, this!

A couple of week ago, I had a little down time and thought about a new algorithm I wanted to implement. In my head it seemed simple enough that 1) I thought the solution was already known, and 2) it would be fairly easy to write. So I asked Claude to "write me a python function that does Foo". I spent a whole morning going back and forth getting crap and nothing at all like what I wanted.

I don't know what inspired me, but I just started to pretend that I was talking to one one of my junior engineers. I first asked for a much simpler function that was on the way to what I wanted (well, technically, it was the mathematical inverse of what I wanted), then I asked it to modify it to add one different transform, and then another, and then another. And then finally, once the function was doing what I wanted, I asked it to write me the inverse function. And it got it right.

What was cool about it, is that it turned out to be more complex linear algebra and edge cases than I originally thought, and it would have been weeks for me to figure all of that out. But using it as a research tool and junior engineer in one was the key.

I think if we go down the "vibe coding" route, we will end up with hoards of juniors who don't understand anything and the stuff they produce with AI will be garbage and brittle. But using AI as a tool is starting to feel more compelling to me.
by lacker | 2025-08-03 14:57:05+00:00
By the time they are hoping to finish in 2029, I bet LLMs are capable of translating the proof from Lean into the alternate theorem proving language of your choice with only a small amount of human assistance.

If this does end up being the case, that translation becomes easy, then essentially all theorem proving efforts should be conducted in the language that is the easiest to work in. You can translate into the "mathematically superior" languages later.
by ankit219 | 2025-08-03 14:57:13+00:00
Interesting article, full of speculation and some logical follows, but feels like it feels short of admitting what the true conclusion is. Model building companies can build thinner wrapper / harness and can offer better prices than third party companies (the article assumes it costs anthropic same price per token as it does for their customers) because their costs per token is lower than app layer companies. Anthropic has a decent margin (likely higher than openai) on sale of every token, and with more scale, they can sell at a lower cost (or some unlimited plans with limits that keeps out 1%-5% of the power users).

I don't agree with the Cognition conclusion either. Enterprises are fighting super hard to not have a long term buying contract when they know SOTA (app or model) is different every 6 months. They are keeping their switching costs low and making sure they own the workflow, not the tool. This is even more prominent after Slack restricted API usage for enterprise customers.

Making money on the infra is possible, but that again misunderstands the pricing power of Anthropic. Lovable, Replit etc. work because of Claude. Openai had codex, google had jules, both aren't as good in terms of taste compared to Claude. It's not the cli form factor which people love, it's the outcome they like. When Anthropic sees the money being left on the table in infra play, they will offer the same (at presumably better rates given Amazon is an investor) and likely repeat this strategy. Abstraction is a good play, only if you abstract it to the maximum possible levels.
by softwaredoug | 2025-08-03 14:57:28+00:00
There is a kind of leader that's threatened when they don't control communication. In these cases, random thought bombs on slack feel like chaos. Like people are going in random directions not rowing together. I don't think this is true of course -- people are just sharing inspiration and ideas. But in some places / cultures just rambling on slack can be dangerous and put a target on your back. You can be labeled as "distracting" by these leaders that feel threatened / worried about the perception the team is not executing on their marching orders.

Somehow this is more embarrassing to this leader than random hallway conversations you'd have in a regular office environment. So these leaders have an especially hard time in a remote environment. But they do soon learn that even Slack DMs can be searched and they love this tool to root out "troublemakers".

Of course, if you can, leave such a place. But not everyone has this luxury.
by jltsiren | 2025-08-03 14:57:30+00:00
You can get a much lower value for time by measuring how much extra time people are willing to spend to save some money on groceries and other purchases.

But this is not a new problem. There are established models for the value of time in most countries, and they are used extensively when planning traffic and infrastructure. Typically the value of working time is based on the cost to the employer, while free time is valued between 1/3 and 1/2 of the nominal wage. As most trips (including commute) are done in free time, the average value of time is ~1/2 of the wage.
by Shank | 2025-08-03 14:58:19+00:00
> If your AWS costs are too complex for you to understand you need to employ a finops person or AWS specialist to handle it for you.

The point where you get sticker shock from AWS is often significantly lower than the point where you have enough money to hire in either of those roles. AWS is obviously the infrastructure of choice if you plan to scale. The problem is that scaling on expertise isn’t instant and that’s where you’re more likely to make a careless mistake and deploy something relatively costly.
by happytoexplain | 2025-08-03 14:58:43+00:00
Just to add the the anecdotes: In my experience over ~20 years flying out of Newark and Philadelphia, 1 hour is enough 75% of the time, 2 hours is enough 95% of the time, and 3 hours is enough almost 100% of the time (I have once had three hours go by from walking through the front doors to the gate). That doesn't mean you always show up 2 or 3 hours ahead though - you adjust your estimate by time of year, time of day, and international vs domestic.
by teiferer | 2025-08-03 14:58:53+00:00
> If we lose pedantry, we lose the spirit of HN.

Haha true! Though if the pedantry gets in the way of the big picture then it's counter productive, one may argue.

> I think there's also a lot to unpack in "support for this". What is 'this' precisely? Many of Trump's policies and actions get poor results in polls.

Fair point. It's the person that got the votes and it could be argued that people should have known what they voted for, even if many votes surely were cast more in the spirit of voting against the other side, and it's a common effect that once a side is chosen then the mind downplays the drawbacks of the "own" side in an effort to justify the choice.
by tetromino_ | 2025-08-03 14:59:01+00:00
> But come on, having "a cold" twice a month... IT IS suspicious

Suspicious in that it's only twice a month? When my kid first started preschool, we got exposed to all sorts of wonderful novel viruses, and I had respiratory infections of various sorts for probably 50% of the days for the entire autumn and winter. Most of them not rising to the level of high fever and not being able to work, but definitely noticeably cutting my productivity.
by benreesman | 2025-08-03 14:59:10+00:00
We've got an awful lot of history on the periods in which serious regulators without perverse incentives attached to revolving door industry jobs competently and diligently refereed markets, and when big business has been successful in achieving what I downthread called "Goldilocks" regulation: just enough friction to new entrants, plenty of pliant former and future employees doing regulation in the interests of the established players.

We've got a lot of history on what happens when technology is acknowledged as a natural monopoly and guided through it's development, evolution, and dissemination through society for the global welfare: that's the entire 20th century friend: the transistor, the Internet, the laser, fucking Velcro.

We're living through a time when that treasure trove of public wealth (paid for by taxpayers) is getting captured up by a caricature of gilded age kleptocracy at the front row of the fucking Inaugeration.

We know what the outcomes are. I don't know why people who hang out on Hacker News are fighting the data on this tooth and nail. Maybe it's because Trump threw her out, maybe it's because they own a bunch of NVIDIA stock and like the status quo, I don't know.

The outcomes are not in fucking dispute in this case or the macro situation.
by strcat | 2025-08-03 14:59:18+00:00
It's not a security upgrade over current AOSP overall and is definitely not a port of GrapheneOS to other devices. Someone could make a partial port of GrapheneOS to other devices but this is not that.

> but includes security backports from GrapheneOS and CalyxOS

It has a small portion of the GrapheneOS features, similar to DivestOS before it. However, it's not preserving or restoring the standard security reduced by LineageOS as much as DivestOS did. DivestOS was not a strict upgrade over AOSP either.

CalyxOS isn't a hardened OS in the same space as GrapheneOS. It doesn't have similar exploit protections or privacy features. That's a misconception about it. They also haven't provided the June 2025 patches yet.

https://eylenburg.github.io/android_comparison.htm

> but surely more secure than LineageOS

This doesn't imply it's as secure as AOSP though despite having additional security features. Starting from LineageOS as the baseline and adding more problematic changes makes it much messier than it just being AOSP with added security features. Android 16 is required for full Android privacy/security patches and the current privacy/security improvements. Soon there will be Android 16 QPR1.
by mike50 | 2025-08-03 14:59:32+00:00
This ignores many things. Legal requirements have pushed up home and lot sizes. In the suburbs of NYC a drive will take you from 1910 era suburbs with 800 square foot homes where 80% of the lot is building or useful infrastructure that are now illegal to build, to just built 4000 square foot mansions on lots large enough for apartment buildings with a mandated 20-30% lot coverage maximum. You are also ignoring the fact that even with modern power appliances and automation it takes a lot of time money and people to maintain those new lager homes.
by moltar | 2025-08-03 15:01:01+00:00
I also don’t like stereotypical vacations and get bored on day 1.

Vacations don’t need to be stereotypical though. To me vacation nowadays means simply taking a break from my main money earning activity (typically a job, but I had a business before too).

When I travel these days I don’t even plan anything. Just land in the city and let it be. Just wonder around and explore. That’s it.
by satyrun | 2025-08-03 15:01:04+00:00
It seems obvious to me it is the consumer who will benefit most.

I had been thinking of buying an $80 license for a piece of software but ended up knocking off a version in Claude Code over a weekend.

It is not even close to something commercial grade that I could sell as a competitor but it is good enough for me to not spend $80 on the license. The huge upside is that I can customize the software in any way I like. I don't care that it isn't maintainable either. Making a new version in ChagGPT5 is going to be my first project.

Just like a few hours ago I was thinking how I would like to customize the fitness/calorie tracking app I use. There are so many features I like that would be tightly coupled to my own situation and not a mass market product.

This to me seems obvious of what the future of software looks like for everything but mission critical software.
by motorest | 2025-08-03 15:01:19+00:00
> If your AWS costs are too complex for you to understand you need to employ a finops person or AWS specialist to handle it for you.

What a baffling comment. Is it normal to even consider hiring someone to figure out how you are being billed by a service? You started with one problem and now you have at least two? And what kind of perverse incentive are you creating? Don't you think your "finops" person has a vested interest in preserving their job by ensuring billing complexity will always be there?