skysight-inc/HackerNews huggingface dataset:
If a big majority are the same price, I don't care what you want to call other prices. My point doesn't depend on what word we use.
Do most people really want an internet without ads, flights with large seats and plenty of space, high-quality local food — or do most people just say they want that? Because when push comes to shove and these options temporarily become available for some reason (e.g., a new farmers market, a premium streaming plan that removes ads, etc.), most people don't spring for the higher quality option. The cheapest option still seems to consistently win out overall.

I'm certainly not saying "blame the consumer", but if people really don't like ads so much (to the extent that they stop clicking on them), really dislike the subpar streaming services so much (to the extent that they unsubscribe) — then why haven't they abandoned these products?

There are other countries where valuing quality seems to be more deeply embedded in the culture, and most people in these countries will reject subpar offerings altogether. I think the U.S. has had a uniquely precipitous fall in this regard — the average person just doesn't seem to care that much. Why this is the case, I'm not sure, but it's not surprising that since Silicon Valley is located in the U.S., the region simply optimizes on whatever (revealed) consumer preferences return the most. Tech companies are certainly not unique in this regard.
Odd that the author thinks this sequence originated with the movie, when it's present on the album. He says "we know the number is" such and such without saying how.
>Every app has a different design, almost every design is optimized based on your activity on said app, with each app trying to make you do different things in uniquely annoying ways

This is exactly what is discussed in this great article: https://www.wheresyoured.at/never-forgive-them/

tl;dr: I find the author's reasoning very similar to the one by Cory Doctorow about enshittification, however this goes more into precice details how users suffer.
News articles like these often cherry-pick their anecdotes to maximize outrage (therefore increase engagement). The NY Times is not above this -- they are losing eyeballs in an era where people are getting news from social media, so it's a survival strategy in part.

I'm a paid subscriber of the NYTimes and from reading it daily, it obvious to me that it's imbalanced. I still read it to gauge what the elites of America are thinking, but also to understand the blind spots that NYTimes readers have.
Top Rated movies aren't 1:1 with how much money the movie made. The incentives here are for these companies to make money, either through box office numbers or by increasing (and retaining) subscribers. They don't need to make a top 50 of all time movie to make a profit, and usually they're not trying to anyway.
Very useful tool. The tmux/screen requirement is a design flaw though.
Om Malik – Musings on Media in the Age of AI
> It’s the exact same rational behind airlines charging the same, but offering ludicrously valuable loyalty programs.

If we are moving towards a world where everything has the consumer experience of airline travel, then yes, we should burn it all the fuck down.
Not a huge problem: it existed for 9 years and no one is talking about it.
You're like most developers! The core problem is that Git's workflow treats branches as the source of truth for what's in the repo, while Mercurial and its progeny (Jujutsu and Sapling) treat individual commits as the source of truth. The latter is vastly simpler, and also (as Jujutsu shows) more powerful.

While working on a stack of changes, you should be able to check out an earlier commit, amend it, and have its descendants be automatically rebased. Of course you should be able to -- this is a natural and straightforward way to think about working on changes, and builds on prior knowledge about how to work with individual commits and how to rebase them onto a newer upstream. Now compare this to git rebase -i.
Higher wages should create more demand, and that should create pressure to raise prices.

On the other hand, if people were going into debt with high interest credit cards, then it's very possible that demand doesn't actually change. Instead credit card debt gets paid off, or surplus income is banked as savings.
CCITT (ITU-T) version can be downloaded for free (!) from their website. https://www.itu.int/rec/T-REC-Q.140-Q.180-198811-I/en Specific download link in English is https://www.itu.int/rec/dologin_pub.asp?lang=e&id=T-REC-Q.14...
It is probably more that Kotlin's order breaks with the most common ordering, and at the cost of more characters. Not to mention the needless variation that has come along with it (e.g. : vs ->)
This. All of this and more. I've got friends who worked for a hosting providers who over the years have echoed this comment. It's endless.
One can't delete a comment after someone else replies to it.
Very US centric article and comments.

From the intricacies of preferred places (whatever that is) to shoplifting at in-store pharmacies..

My personal guess: The millennial working population with two working parents just drives to the 12-mile-away pharmacy on their commute; Or they choose lower prices and mail delivery.

I doubt vertical integration, insurance plans or theft can be an issue.
In the German state of Schleswig-Holstein, the number of "Apotheken" declined by 25% in the last 10 years. And we share none of these hyper-special US problems.
Can SMEs deliver that data in a meaningful amount of time? Training data now is worth significantly more than data a year from now.
I'll put a list of the top series of 2023 up against 2005 cheerfully.
I think one of the most promising pitches for rust adoption is that it borrowed as much as possible from Haskell/ML without treading into the territory where it becomes "scary" for broadly-C-family language monoglots. A C++ or even Java programmer can look at Rust and think to themselves "this text has a comfortably familiar shape".
That doesn't say much.. Research on what? It looks like Lean is a programming language but everything else is pretty abstract to me.
But who rates the synthetic data? If it is humans, I can understand that this is another way to get human knowledge into it, but if it's rated by AI, isn't it just a convoluted way of copying the rating AI's knowledge?
Under the title is a gif showing the GUI progressing through a scan.

It's the first thing under the title after the standard GitHub file list.
What’s wrong with Terminal.app’s font rendering? Looks as good as any other mac app to my eyes, at least on HiDPI displays.
> Re: Netflix. Actually, most people just want to consume slop.

I think most popular services have reached an equilibrium where they’re providing more or less what their user base wants to consume.

I’ve read a lot of elaborate theories about how companies are making big mistakes in their product offerings because they aren’t catering to exactly what the author thinks they want. However, most times the author just has different preferences than the average consumer.

This story repeats across industries. I see complaints about shows on Netflix, content on YouTube, trending topics on TikTok, and even the food selection at McDonald’s. Most of the time the answer is simply that these companies know what customers want better than random bloggers and pundits.
There are plenty of apps and platforms that don’t do this.

People don’t use them, and continue to donate content to Instagram and TikTok.

There are hundreds of phones that still have headphone jacks and large batteries, too.

Let’s not pretend that this isn’t an ongoing choice by consumers.
It would be incredible if you could write a book someday about all those experiences. I would very happily buy that book.

Thanks for all that incredible work and your insights here.
Has recent Netflix done anything that comes close to The Wire? Or to Breaking Bad?
I was raised in the evangelical south to conservative parents.

World(coin) sounds like it's right out of the plot of some Sunday morning preacher's sermons [1] about Revelations and the "mark of the Beast".

Central organization scanning people and controlling how they transact? Literally the antichrist's M.O.

[1] https://youtu.be/zjHrExOM-ww
Those proofs are not by far enough - which is why the raw frontier models don't do that well on this test. The oN models are trained on synthetic data: so generated mathematical theorems and associated proofs. If we could generate legitimately new math we would already have accomplished the hard task, so the generated theorems are going to feel contrieved. I.e. they won't be theorems that ever make it into a future math book.

Doesn't mean they won't be useful to mathematicians, they will, just like computers in general are useful in doing maths today.
Which to my straw man's understanding is also why cancer in young people is more likely to go out of control and seems to be more lethal than on older people.
> While not really the target audience for either language, I would prefer zig's crashing behavior to hyper using unsafe evaluations of macros as an example.

> https://github.com/hyperium/hyper/blob/30f2961e89eb306780d85...

This looks basically like a port of something like Kotlin or C#'s ?. operator - the macro checks whether the pointer is null, returns err if it is, and dereferences the pointer otherwise. The part highlighted in the link looks like it's part of the macro implementation - there don't seem to be any "direct" uses of that particular rule in calling code and it's only invoked via the other rules in that macro definition. I think that should make that bit null-safe at least.

Lifetime safety might be a bit trickier, especially since that bit is part of hyper's C API so idk if there's anything Rust (or Zig, for that matter) could do to ensure the pointer is still valid when dereferenced.
I recently started picking up Kotlin and to me it felt like "lesser C#".

I'd personally prefer modern C# as it's been outpacing advancements in other major languages for DX, IMO.

It is sad that its adoption seems to have boundaries defined either by large ecosystems dependent on the JVM or ideological.
I’ve tried iTerm several times and have never been able to understand the appeal. The most interesting feature to me is the Visor-style dropdown terminal but that feature doesn’t work half as well as the Visor haxie for Terminal.app did, somehow.
Author here, I thought it'd be helpful to address a few of the points brought up in the various comment threads.

1. This is an academic paper that we posted on arxiv, not a release announcement for a new product where we claim we have solved C to Rust. We submitted to a PL conference, not an open-source meeting like e.g. FOSDEM -- this is not the same audience at all, and the expectations are very different.

2. Our story is simple. We start from the constraint of translating C to /safe/ Rust, and see what this entails: a small well-behaved subset of C, inference of slice splitting, a translation that may error out, and a program that may abort (plus a few other things described in the paper). We evaluate our ideas on what we have (C embedded in F*), and show that it scales decently with those constraints in mind, on a large-scale C library that is used in Firefox, Python, and many other pieces of mainstream software. We don't claim we can rewrite e.g. Firefox in Rust automatically.

3. This is how research works. We think we have an interesting point in the design space; we don't claim we solve every issue, but think this is an interesting idea that may unlock further progress in the space of C to Rust translation, and we think it's worth putting out there for others to take inspiration from. Who knows, maybe some existing tool will use this approach for parts the fit in the subset, and fall back to unsafe Rust for other parts that don't fit! This is a very active area: if we can contribute something that other tools / researchers can use, great.

4. This is not the final story, and again this is how research works. We are working on an actual C frontend via libclang, and are exploring how e.g. guarantee that the generated Rust does not generate out of bounds accesses, perhaps by emitting verification conditions to Z3 (speculating on future work here). If the reviewers think more work is needed, that's fine, and we'll resubmit with enhancements. If the reviewers think this is an active area and others could benefit from our ideas, and take the paper, even better.
You can edit your commit message ahead of time in git too.
Of course he does. It's obvious how effective TT was recently, during Romania's presidential elections, aside from the US mentioned "contributions" of this platform, alongside X. What's not to be liked? /s
Lots and lots of Docker images are only linux/amd64 compatible. Without Rosetta 2 I wouldn't be able to do my job, especially in a team with a mix of Mac and Linux workstations and most images being build as amd64/linux only.
Use of unsafe is very rare (except for FFI to C where it's unavoidable). I've written tens of thousands of lines of Rust and used `unsafe` exactly once.
Great improvements and all, but they are still no closer (as of 4o regular) to having a system that can be responsible for work. In math problems, it forgets which variable represents what, in coding questions it invents library fns.

I was watching a YouTube interview with a "trading floor insider". They said they were really being paid for holding risk. The bank has a position in a market, and it's their ass on the line if it tanks.

ChatGPT (as far as I can tell) is no closer to being accountable or responsible for anything it produces. If they don't solve that (and the problem is probably inherent to the architecture), they are, in some sense, polishing a turd.
Sorry missing something here as a non Americana person. Why should someone have to understand and negotiate co-pay, or having to chose more efficient pharmacies and reimbursement rates when they just want the pharma that like keeps them alive?
> I'm certainly not saying "blame the consumer", but if people really don't like ads so much (to the extent that they stop clicking on them), really disliked streaming so much (to the extent that they unsubscribe) — then why haven't they?

In my observation/bubble, people actually do:

- I rarely click on ads (though I admit the reason is typically much more mundane: nearly all ad networks don't really "get" my interests. When they (rarely) actually do, the common situation is that I recently bought such a product, and thus clearly don't need another one when the advertising networks realize my interest and show me ads).

- Many people install ad blockers.

- Many people that I am aware of who are annoyed of streaming either did cancel some subscription(s) or never got one.
You don’t need to be accredited to trade in securities (or derivatives!) in the US.
I recently switched from using a basic git repo to home-manager.

You’re correct that the setup you describe gets you a lot of what Nix can provide. The main thing it is missing is Nix will also manage installing your software for you. I find managing both what my software is and how it is configured with a single tool to be very convenient.
Open contribution isn’t a good in and of itself.
> […] your inbox is one of the few places that advertisers haven’t found a consistent way to penetrate.

It would be interesting if sending an email to an address would cost money, and the owner of the address would set the price.
Also fix their broken ice cream machines. That is maybe 2% unto itself.

https://mcbroken.com/
If have a global user base, depending on your workload, a simple CDN in front of your hardware can often go a long ways with minimal cost and complexity.
Most good albums have one song that was never released as a single, that’s just for the fans. So even beyond the “story” the album contaminates, they miss important chapters.

Anyone who talks about Tears for Fears, a side conversation about The Working Hour will start. Throwing Copper had five or six singles released over almost three years, but Pillar of Davidson is still my favorite song from that album, and one of my favorites overall. I could listen to Kashmir or PoD in much the same mood. They just build and build.

It would be similar to Patreon content today (though writers with Patreon or magazine articles often release collections later that have all of the rarer content. Martha Wells is the first to spring to my mind, and Naomi Novik for another)
Weird and inconsistent? Yeah sounds about right.
Blackfyre: An open-source platform for binary analysis
Yes, as the author indicated:

>> I have a lot of thoughts about both, but here I’m just going to throw out a few quotes, encourage you to read them, and suggest a couple of things.
Has Netflix done anything that comes close to the first and third greatest television shows of all time? No. They did Black Mirror, Stranger Things (hey: season 5 of The Wire was no great shakes either), BoJack, the Flanagan halloween miniserieses, Dark Crystal, and most recently Man on the Inside. Those are just the things I personally appreciate. They're holding their own with FX, which is not a small achievement.
If the 3 things are related such that they will only ever be called in order one after the other (and they are not really complex) it’s better to just do all the work together.
Surely we are not talking about Worldcoin?
I don't assume diversity hires, I assume that these people work for the Kenyan part of Facebook and that Facebook employs an equivalent workforce elsewhere.

I am also not saying that content moderation should catch everything.

What I am saying is that the content moderation teams should ideally decide on the edge cases as they are hard for automated system.

In turn that also means that these people ought not to be exposed to too hardcore material - as that is easier to classify.

Lastly I say that if that is not the case - then they are probably not there to carry out a function but to fill a political role.
I mean, my simple theory is people buy everything cheap because most people are broke. Small businesses die because as much as people want to support them, they can't spend more. They can only afford to buy goods from businesses that take advantage of economies of scale, and small businesses by definition are usually locked out of that.
Not only that. Their official position is sitting with smug face saying “well, duh, you’re free to roll out your own LSP and IDE implementation”, ignoring the fact that nobody outside of Google and JetBrains cares about Kotlin.
And why would they? If the stewards aren’t interested in investing into healthy ecosystem.
Yeah I know, that was just another example of how bad the API is.
Product Managers really should have a solid grasp of the fundamentals of AI (gen and non-gen) as this will enable them to understand if it can add value to the software products they are envisaging. In the end it's another tool, be it a powerful one that comes with very specific challenges on UX side but it doesn't require a carve out of the PM role.
Then you get a "prisoner's dilemma" situation:

1. No states allow gambling: Everything is normal

2. One state allows gambling and its neighbor doesn't: Gamblers in the non-gambling state use websites / travel to locations in the gambling state, spending massive amounts of money there. Both states experience the negative side effects of gambling, but the one that allows gambling gets a huge tax influx, and the one that forbids gambling loses tax revenue.

3. All states allow gambling: No state has a tax advantage, but all states have the negative externalities of gambling.

Individual states probably don't have the authority, and certainly not the clout, to do much about their citizens going to the neighboring state to gamble. The federal government used to have the authority, and certainly does have the clout, to make a dent in inter-country gambling.
States can protect their residents.
"OpenAI’s is called GPT-4, the fourth LLM the company has developed since its 2015 founding." - that sentence doesn't fill me with confidence in the quality of the rest of the article, sadly.
This poem has a special place in my heart because I learned it when I was about 10 years old from the TRS-80 "User's Manual For Level 1" book. See page 209!

https://www.classic-computers.org.nz/system-80/software-manu...

That's one of the first programs I ever keyed in. It would print the stanzas out slowly, pausing in between, all the while "snowing" pixels onto the screen. I fell in love with programming then, and it's been magic ever since. Here's to a few more miles...
There are backup systems that are write-only. What’s to be done then?
On the contrary, they do see his true character and they worship him because he’s like Trump.
I might have misremembered that, but remember hearing the story. Now that I think about it I think that policy was applied only after unsuccessful CPR attempts.
That ability to seamlessly intermix C, C++, and Objective-C I believe was a big driver for the numerous high quality third party apps that OS X became known for in the 2000s. Obj-C paired with AppKit, IB, and KVO made building a good UI a cinch, and for speed critical or cross platform parts under the hood you had C++ and its massive ecosystem of libraries. It was a powerful combination.
This website is owned by a US company so that makes sense to me. I would say a large amount of stories that are regularly posted here, are also US-specific.
I used to work in Houston. In Houston, almost everything (maybe not pharmacies, but the average destination) is at least 10-12 miles away and people are used to it. And Houston is highly populated.

Kernville (pop. 1549, just outside Bakersfield) seems very remote, and if one elects to live in such a remote place, one is implicitly signing up to be far away from civilization, and traveling 10-12 miles ("going into town") every now and then is part of the deal. Having a car is also part of the deal. That is one's free choice.

I grew up with friends who lived in rural Canada and this is normal for them, and they would gladly make this choice even now. In fact, this is idyllic for some.
It's not a technical problem to solve, it's a legal one. If there is a crushing penalty if data that was supposed to be deleted shows up one day, companies will find a way to delete it.
That only works if you know the resource in advance. Doesn't work if for example you're trying to delete files matching a glob and you have to enumerate them by name and then delete them by name.

The filesystem API offers a solution for that. The process API doesn't (maybe with procfd; I haven't tried that API yet since it's so new).