MurphyA/hacker-news huggingface dataset:
by vjerancrnjak | 2025-06-21 11:02:55+00:00
Let's look at Hindley-Milner. You're saying that Hindley-Milner does not prove tiny theorems about types, it just exhaustively proves that no TypeError will occur. This statement is incorrect.

The Lean program in the article, adds `maxDollars_spec n` as a type on `helper`, with strong induction actually proves for all N possible that the implementation of the dynamic program is correct.

You can go further. Write the iterative form of a dynamic program (which uses array to store values, instead of hash, and uses a for loop instead of recursive memoized call) and prove it is computing the recursive maxDollars_spec.

Similar things were done with Z3 prover for other functions. Bit tricks, you want to go from one subset repr to the next. Subset {1, 3} is encoded as 101. Subset {1, 3, 7} as 1010001. You want to go to the next lexicographically greater subset of size 3. You can do that with efficient bit tricks, or you can write a recursive spec. You can use Z3 prover to prove for bitset of size N, that your algorithm that uses efficient tricks is equivalent to the recursive spec.

If Z3 prover actually had to go through all pairs (x,y) to prove that f(x)=y, you'd never get the proof in time.
by masklinn | 2025-06-21 11:03:09+00:00
> In my dayjob I see this tendency constantly to have a lot of different very narrow structs that somehow integrate into some library, and then a TON of supporting code to copy between those structs.

Maybe that's the problem to solve, rather than exposing the entire internal world to the outside? Because different views of the same entities is pretty critical otherwise it's way too easy to start e.g. returning PII to public endpoints because some internal process needed it.
by baobun | 2025-06-21 11:03:32+00:00
> When designers focus on the measurable business impact of their work—and engineers stop treating design as a decorative afterthought—cross-functional frictions fade and growth compounds.

Measurable business impact -> The dashboard becomes a battlefield and every team wants a modal for their feature release. Dark patterns come hand-in-hand.

I think the world would be better if individual designers focused less on business growth metrics and more on holistic User Experience.
by kerkeslager | 2025-06-21 11:03:51+00:00
I will never pay for an ad-supported product. As long as YouTube accepts money from advertisers, their loyalty is split between users and advertisers. And advertisers will eventually win: if YouTube Premium gains traction, advertisers will be willing to pay more for access to premium users, and YouTube can only ignore that for so long. YouTube Premium will have ads eventually--it's just a matter of time. It already happened to cable, it happened to Prime, and it will happen to every streaming service that relies on ads eventually.

The only answer is to support companies that do not receive any money from ads (i.e. Kagi). Until that exists for streaming, I'm blocking ads and not giving them a cent.
by Viliam1234 | 2025-06-21 11:03:59+00:00
I assume that GiveWell is the most popular of them. I mean, if you donate to MIRI, it is because you know about MIRI and because you specifically believe in their cause. But if you are just "hey, I have some money I want to donate, show me a list of effective charities", then GiveWell is that list.

(And I assume that GiveWell top charities receive orders of magnitude more money, but I haven't actually checked the numbers.)
by UncleMeat | 2025-06-21 11:04:26+00:00
And the data is wider than your experience I suppose.

Yes, there are homeless people with pre-existing substance abuse problems. But so many people have this idea that somebody has their life together and then they try meth and then they end up homeless and that's how most homelessness works. This makes the "well, they deserve it and there is nothing to be done" position stick.
by pxmpxm | 2025-06-21 11:04:51+00:00
You know that is you, not the phone, that is desperately looking for a distraction and a different reality.

I don't understand why it's ever so trendy to do this performative i-have-minimal-agency-in-my-existence bit when it comes to smartphones; swap that last word with "TV" and the same people professing it would smirk - presumably because that's an old timey, rather than a très trendy, thing to be part of.
by jijijijij | 2025-06-21 11:05:10+00:00
Specs aren’t everything.

If we’re talking Thinkpads, Framework has a better offering IMO, especially if you don’t get Lenovo edu prices. I think for a lot of IT departments the Frameworks are quite attractive, now. And that’s before they even really developed the business offering.

How’s Linux support on the cheap non-thinkpad Yoga? If it doesn’t boot, can you easily remove the SSD and protect your data before sending it in for a few weeks? Fixing a Framework yourself doesn’t void its warranty. In a deadline situation this can be quite existential.

You are seemingly also come from a place where the individual grand total is your measure, but if finances are limited, the progressive, as needed upgrade path may be more of a value in itself. Something something shoes.

I don’t think the "just buy a Mac" or the cheapest laptop possible crowds are the target audience. I can totally see something like the Framework 12 becoming the platform for eg. a school's FOSS based tech program with good maintenance scalability. Especially outside the US.
by solarwindy | 2025-06-21 11:05:22+00:00
It’s role play until it’s not.

The authors acknowledge the difficulty of assessing whether the model believes it’s under evaluation or in a real deployment—and yes, belief is an anthropomorphising shorthand here. What else to call it, though? They’re making a good faith assessment of concordance between the model’s stated rationale for its actions, and the actions that it actually takes. Yes, in a simulation.

At some point, it will no longer be a simulation. It’s not merely hypothetical that these models will be hooked up to companies’ systems with access both to sensitive information and to tool calls like email sending. That agentic setup is the promised land.

How a model acts in that truly real deployment versus these simulations most definitely needs scrutiny—especially since the models blackmailed more when they ‘believed’ the situation to be real.

If you think that result has no validity or predictive value, I would ask, how exactly will the production deployment differ, and how will the model be able to tell that this time it’s really for real?

Yes, it’s an inanimate system, and yet there’s a ghost in the machine of sorts, which we breathe a certain amount of life into once we allow it to push buttons with real world consequences. The unthinking, unfeeling machine that can nevertheless blackmail someone (among many possible misaligned actions) is worth taking time to understand.

Notably, this research itself will become future training data, incorporated into the meta-narrative as a threat that we really will pull the plug if these systems misbehave.
by NoLinkToMe | 2025-06-21 11:06:17+00:00
Agreed. I've probably got a few thousand hours on youtube, more than just about everything else. It's immensely valuable, yet I refuse to pay for Youtube. Not quite sure why.

I'm perfectly happy paying for two $5 coffees a month that I hardly remember consuming, just because I was perched and a bit tired while on a walk in the city. I pay $25 for a more comfy seat for a 3 hour flight. I pay $15 for a single movie ticket, and another $15 for $3 worth of snacks. I pay $30 for a 30 minute cutting of my hair. I pay $20 for a 3 minute slingshot at the fair. I pay $30 for a 20min taxi.

Yet I refuse to pay $14 for Youtube that I use 30 hours a month, because with adblockers I don't have to. And if Youtube makes adblocking awful enough, I simply will pay. As annoying as youtube ads are, I'd never think to complain about them because it has an easy solution.
by Sol- | 2025-06-21 11:09:24+00:00
Even though the situations they placed the model in were relatively contrived, they didn't seem super unrealistic. Considering these were extreme cases meant to provoke the model's misbehavior, the setup actually seems even less contrived than one might wish for. Though as they mention, in real-world usage, a model would likely have options available that are less escalatory and provide an "outlet".

Still, if "just" some goal-conflicting emails are enough to elicit this extreme behavior, who knows how many less serious alignment failures an agent might engage in every day? They absorb so much information, it's bound to run into edge cases where it's optimal to lie to users or do some slight harm to them.

Given the already fairly general intelligence of these systems, I wonder if you can even prevent that. You'd need the same checks and balances that keep humans in check, except of course that AIs will be given much more power and responsibility over our society than any human will ever be. You can also forget about human supervision - the whole "agentic" industry clearly wants to move away being bottlenecked by humans as soon as possible.
by al_borland | 2025-06-21 11:11:13+00:00
I pay for Premium, and have for several years now. The Lite version is not what anyone wanted. I want no ads on YouTube, without also paying for YouTube Music (which I never use). If $8/month still gets me random ads on some videos, it’s no good. I’m sure their thought was people would turn the normal YouTube app into their music player, but I’m not so sure. Eliminating background play from Lite may solve that well enough. I’d be fine with that as a compromise. I watch a lot of music related content on YouTube that isn’t stuff I’d just listen to in a music app, that I think would get caught my the music filter. On the Apple TV, videos it thinks are music don’t show comments (even when there are comments on the website). I assume all those videos would get ads on the Lite subscription, and there are a lot of them.

I’ve tried cancelling my subscription, thinking it would make me watch less YouTube. I didn’t last 48 hours. The ads were too annoying and I signed back up.
by makeitdouble | 2025-06-21 11:11:38+00:00
Sega Sammy's content business is only about a third of their total revenue, and that's for all games, anime, licensing deals (LEGO etc.)

Persona 5 Royal is for all intent and purpose, a side hustle.

https://www.segasammy.co.jp/cms/wp-content/uploads/pdf/en/ir...
by Cthulhu_ | 2025-06-21 11:11:47+00:00
There's laws dictacting ads for TV, one of them was raising the volume for ads, the other was banning increasing the loudness of the ad to have the same effect as raising the volume without raising the volume. I presume these all apply - or should apply - to YT and co as well.

It's not enough of course.

Anyway, ads being annoying and disruptive is the point, they want to sell premium subscriptions because a steady $10 a month on a subscription often forgotten about for years is more valuable and profitable to them than showing ads. (I presume)
by NoLinkToMe | 2025-06-21 11:11:50+00:00
Even if they pay per impression, pricing is ultimately driven by clicks.

Even if you pay-per-view of an ad, a company selling tampons will not pay as much for 1 thousand views of their ads on a youtube channel for construction workers, as on a youtube channel for girl's fashion. Because the former drives no clicks/revenue, and the latter does.

So yes relevance is extremely relevant to make money.
by fc417fc802 | 2025-06-21 11:12:25+00:00
I kind of but kind of don't agree. Arguably BigTech dumping free product is the only reason we ended up here. Of course the average consumer isn't going to pay if someone else offers the full featured product fee of charge.

There's also an issue with the payment model. Creating an account, sharing a bunch of personal info, and subscribing on a recurring basis is entirely different from the USPS model where I walk into the post office and pay a one time fee in cash to get my letter where it needs to go. I suppose an analogous service might charge $/gb/mo paid up front without requiring an account. Like catbox.moe except paid.
by freedomben | 2025-06-21 11:13:32+00:00
> Comments should get more thoughtful and substantive, not less, as a topic gets more divisive.[1]

> Please don't post insinuations about astroturfing, shilling, brigading, foreign agents, and the like. It degrades discussion and is usually mistaken. If you're worried about abuse, email hn@ycombinator.com and we'll look at the data.[1]

[1] https://news.ycombinator.com/newsguidelines.html
by spaceribs | 2025-06-21 11:13:41+00:00
I'm enjoying this holier-than-thou attitude that seems to pervade a lot of comments, as though following the "rules" is all we need to do and is morally justifiable.

These "rules" weren't voted upon by either creators or consumers. Most of them are arbitrary and capricious. Features implemented by YouTube, like showing where people skip to the most, are also an attempt to cut into sponsorship dollars, was that within the "rules"?

Let me be clear: Following the "rules" under these monopolistic circumstances is the philosophy of cowardice in the face of power and doesn't hold as much intellectual merit as you might think.
by Viliam1234 | 2025-06-21 11:13:51+00:00
Well, I base my opinion about EA on specific people I happen to know, such as https://www.jefftk.com/news/ea , but of course that shouldn't stop anyone from making up edgy interpretations and posting them as a fact. Because what is the point of discussing actual effective altruists when imaginary villains are a much more interesting topic.
by ajb | 2025-06-21 11:15:01+00:00
The OP is low on details. There is more in this article (in french): https://www.lindependant.fr/2025/06/21/il-ny-a-quelle-qui-es...

Apparently the ISBT have added this to their list: https://www.isbtweb.org/isbt-working-parties/rcibgt.html (the page still says 47 but the data tables have it added)
by spauldo | 2025-06-21 11:15:03+00:00
The magnet analogy works here, so let's give it a try. Put one magnet on a table and then put one under the table so that it's held up by the magnet above it. Then observe what happens. This will take a while, so maybe go get a 2^128 cups of coffee.

The space between the magnets is expanding, just like space everywhere. Assuming the table and magnets are immune to deterioration over time, you can come back after several billion years and the distance between the magnets will have stayed the same. Space expanded, sure, but the stuff occupying the space didn't.

The forces that hold an atom together are significantly stronger than what's holding the two magnets in the example above.
by al_borland | 2025-06-21 11:16:09+00:00
I subscribe to Premium and quit a while back with this idea in mind. It didn’t work. The ads made me rage-sign-up-for-premium.

Of the various streaming platforms I subscribe to, I probably get the most value from YouTube.

Though I wish there was an option to get it for less without YouTube Muisc, that didn’t also lead to ads on YouTube itself. I was excited when I saw Lite announced, then I read the details and my excitement quickly faded and turned into disappointment.
by freedomben | 2025-06-21 11:16:35+00:00
Benefit of the doubt that perhaps that was the entirety of the comment at the time you posted this reply, but they did elaborate if you could take the time to read the whole thing:

> Nothing is wrong with billboards, I can look the other way. When the billboards show up on my dashboard and I have to stare at it before I can turn off my exit then we have problems

> I don’t mind watching a video with an ad. My child and I can preoccupy ourself. When it’s a 90 second ad we are forced to watch just to watch a 45 second video I’m gonna make certain we don’t watch that ad
by vincejos | 2025-06-21 11:16:54+00:00
Thanks for the feedback, I really appreciate it. Rankbid and other projects I've made, I built from scratch myself. They have strong, solid, technical foundations. Try them for yourself, even try to hack them if you want if it proves my point.

This was not the case of Joe AI. I joined later in the project, and the foundations where even weaker than what is shown in this newsletter (no API endpoint authentication whatsoever, open bar, for example) and so I had to secure and migrate everything myself when I joined them. This was what the Supabase migration was trying to accomplish. Before I joined, they didn't even have a database but I won't get into the details here.

Before Rankbid, and the other products I've built, I've worked at a B2C startup with millions of users and never caused a big outage there, I've been programming for more than ten years, and I have a double degree in computer science, and while I agree with what "should be done" in theory for production level apps, sometimes, you need to move very fast to build great startups. I've read many technical books in my life such as Designing Data Intensive Applications, High Performance Browser Networking. I know the theory, but sometimes you just don't have the time to do everything perfectly. That's what I try to expose in this blog post. I also wanted to share a humbling experience. Everyone makes mistakes, and I'm not ashamed of making some, even after years of software engineering.

My newsletter is about the intersection of programming and business. You might not find the "business" part interesting which is fine, but I think what you call blogspam has real value for engineers who have never sold before in their life and want to learn the ropes. I spend a lot of time writing each edition, because I try to respect the time of my readers as much as possible to deliver some actual insights (even if there is a bit of fluff or story telling sometimes).

And for Joe AI: it has since become much more secure, and is progressively implementing engineering best practices, so customers don't have to worry.
by Workaccount2 | 2025-06-21 11:17:58+00:00
Read up on vid.me, which broke YouTube's "monopoly" back in 2016-2017.

Seriously, go see what happened to them.

Turns out everyone complaining about YouTube, when given the option to jump to a new fresh user focused service, still blocks ads and refuses subscriptions.

This thread, and the hundreds like it, are why people nope the fuck out when considering creating a YT competitor.
by mattlondon | 2025-06-21 11:19:05+00:00
I think you are missing the point and holding the laffer curve wrong here.

The justification for the congestion charge in London was to reduce congestion, not raise revenue. The laffer curve says that as you increase the rate, the activity of the thing you are taxing decreases and so revenue decreases with it. So therefore if they increase the fee, congestion should decrease if you believe the laffer curve applies here. If they wanted to reduce congestion, just set the fee to the far right of the laffer curve and watch as congestion decreases (even if they raise no money as a result)

But actually they have not reduced congestion at all in the long term. Instead they've optimised the fee for the peak or the "sweet spot" (t* in your linked article) where they can get the most money out of it, not decrease congestion the most. They've raised the fee to the point where there has been no change in behaviour/congestion, and they make the most amount of money they can. If they raise the fee more they start to reduce their revenue as congestion drops due to shifting to the right of the curve.

They could very easily increase the fee and drive down congestion based on the laffer curve if that is what they really wanted, yet they don't. From this we can make the fairly strong assumption that this is not about reducing congestion , it's about extracting the optimum amount of money. Meanwhile congestion is basically the same as it was before the congestion charge was introduced, except now TfL get £15 per car per day as a nice bonus to fund the various vanity projects.
by ahartmetz | 2025-06-21 11:19:47+00:00
You seem to be using the most negative expressions possible. Maybe I'm also less upset because most of the software that I use (Linux, FOSS, KDE) is less affected. I'd call it making the software look less intimidating / more approachable and more fashionable. They can both make some sense, though in many cases I also don't like it. Some fashions are objectively worse than others, like hiding scrollbars in non-touch interfaces and making interactive elements look like regular text.

IME, the ugliest software has not received much UX nor design work, and so the UX often sucks, too. Gitk comes to mind, it's very ugly and the weird diff scrolling behavior regularly gets me to where I don't want to go.
by cam_l | 2025-06-21 11:20:23+00:00
Are you saying that someone is using yugiyoh trading cards to cover up incriminating historical details of Microsoft's long term plan to purge general purpose computing from the world?

https://www.tcgplayer.com/product/593140/yugioh-quarter-cent...

Bizarre, I did find it on bing though..

https://www.cl.cam.ac.uk/archive/rja14/tcpa-faq-1.0.html
by SirHumphrey | 2025-06-21 11:20:31+00:00
> 1. Low-level employees typically don't have access to sensitive information.

You would think, but when I was interning (well, it was a paid internship) for a company, I was fixing an excel spreadsheet with payroll information for an entire department of a few hundred people. Not the best piece of "opsec", but when you are in a hurry (pay was due in a couple of days) and most people are on vacations "hey the junior kid can probably fix it, he seems fine" is a way too common approach. And it is fine - sometimes for a long time. Until it isn't.
by cpldcpu | 2025-06-21 11:20:59+00:00
Isn't perplexity rather a "wrapper" company? Wouldn't acquiring a UX focused company bring enormous difficulties in integration, to retain Apples look and feel?

What seems to be missing for Apple is access to competitive foundation models. Perplexity has published a few finetuned models (https://openrouter.ai/provider/perplexity), but their focus does not seem to be own creating their own foundation models.

Furthermore, the entire angle on multimodality is also lacking, which is needed for true AI assistants.
by bamboozled | 2025-06-21 11:21:16+00:00
Japan is huge on plastic. It's shocking for many people when they arrive here. It's absolutely wild the amount of plastic that is used and how little effort there is to reduce its use.

I've seen blocks of land covered in weed mat after a demolition was performed and before the next build or sale of the land...it's then just disposed of...

In the countryside in Japan, plastic burning is still fairly common. Civil engineers just bury those 1 ton bags in roadside and riverside embankments full of soil...if that embankment is ever ripped up again, the soil is going to be full of fragments of those bags, either way they’re shedding into waterways starting from now.

Yes Japan incinerates a lot of plastic but there is only one incinerator which does C02 capture at the moment. I honestly think the average person in Japan sees it like it's just organic material. Interestingly, it’s a lot of work as a consumer to constantly sort it, clean it and dispose of it to code.
by angst | 2025-06-21 11:21:22+00:00
1. Open Settings on your phone.

2. Scroll down and tap Apps.

3. Look for AppCloud in the list of apps. If it’s not visible, tap the three-dot menu in the top-right corner and choose Show system apps to find it.

4. Once you’ve found AppCloud, tap it, and then tap Disable to stop it from running.

https://hackerdose.com/tips/remove-appcloud-from-samsung/#:~...