skysight-inc/HackerNews huggingface dataset:
It's been well known for a long time that Google extensively customizes search results per individual based on dozens of unknown factors. It's entirely possible they get those particular search results right for one person and wrong for someone else, and nobody will ever know why.

Which makes things worse in a way - just like with LLM AIs, you can never be sure that what they give you is actually right unless you already know, so there's much less point in using them at all.

I'm not entirely sure what to say to someone who genuinely hasn't noticed that Google search results have gotten a lot worse in the last 5 years or so, regardless of whether any individual search result was right or wrong.
It's acceptable to freak out by crashing. It's even acceptable to crash via explicit assertion failure if the developers don't want to write proper error handling. It's not acceptable to crash via segmentation fault.
They talk about some examples in their research.

> “Specifically, we initialized the DeepSeek-Prover using the DeepSeekMath-Base 7B model (Shao et al., 2024). Initially, the model struggled to convert informal math problems into formal statements. To address this, we fine-tuned the DeepSeek-Prover model using the MMA dataset (Jiang et al., 2023), which comprises formal statements from Lean 4’s mathlib2 that were back-translated into natural language problem descriptions by GPT-4. We then instructed the model to translate these natural language problems into formal statements in Lean 4 using a structured approach.”

Section 3.1 in https://arxiv.org/html/2405.14333v1
@Fashion-at-cost

Still can't reply to your comments.

Anyway, removing Roe V Wade harmed women more than if it would have been kept in place. Ginsburg is also partly to blame for this, since she should have retired earlier, so the balance in SCOTUS would have been maintained. Women in Texas have died because of this.

> Judges generally are the antithesis of democracy.

Of course it's not a perfect system and there are corrupt judges. But what's an alternative to maintain the rule of law?

> Pardons

Biden pardoned his son because he knew otherwise he'd be a target. This move was understandable, but he shouldn't have done it.

Remember Trump said he will take revenge on those that did him wrong.

But it's not comparable to pardoning criminals. How are J6ers political prisoners? Why pardon people who attacked and injured police men protecting the capitol?

Anyway, I think we arrived at a point where we can only agree to disagree.

I think life will become worse if Trump is not reigned in and you seem to think it will be better than how it was under Biden.

Let's review in 2028.
There's a big jump in utility from sand to a transistor.
for VFX, disney/marvel/fox/sony required that the entire network be air gapped, with really stringent rules on USB, data tracking and interchange. All internet access had to be done via RDP with copy/paste blocked.

Had sony bothered to follow it's own rules it wouldn't have been hacked and had all its data leaked in 2014.....

But to answer the question, we had a shit tonne of networking, so as far as I'm aware it was just on the vanilla network. Might have been a seperate VLAN though.
The 'miracles' can easily exist alongside his badness. I'm not sure why everyone makes it out to be either/or. There is no universal law that says being both can't logically be true. I mean, there's an easy way to prove this. If I said humans exist and humans are good, you could point out Hitler, and all it does is prove humans are good and bad, and doesn't test whether they exist. And in fact it doesn't even prove that they aren't good, just that they are also bad.

So if someone says "god exists and he is good" and all you end up doing is disputing the second statement... you didn't even touch the first.
Don't forget the first version of Mail in Catalina destroying data. And not just on your Mac, but on the IMAP server it connects to.

https://mjtsai.com/blog/2019/10/11/mail-data-loss-in-macos-1...
Absolutely this. This is a business of trust, which means you need certifications, marketing presence, squeaky clean legal documents, and brand recognition before you get anywhere with your customers.

That doesn't mean it's impossible to do, but recognize that technical features that are fun to build are maybe 20% of that journey.

Source: been there, done that
Hyper optimism in this thread.

Outside tech users it’s a novelty that lasts about a week or disappears in a puff of smoke the moment money is asked for it.

The whole industry is blind to the fact the market doesn’t need it and it it doesn’t really solve any problems. It’s not even a means to an end.

What consumers want is to be left the fuck alone and their stuff to last longer. But this doesn’t make numbers go up.
Then the question becomes why raise this irrelevant anecdote? The OP didn't research either.
Hey guys we commented on another thread from a few days ago about our tool Bismuth finding the bug (along with a sha of our reproducer script for proof)
https://news.ycombinator.com/item?id=43489944

After disclosing and having correspondence with Gerlof and from his above post it looks like we did in fact nail it and I've just shared our write up on how we got it.

HN post detailing how we got it: https://news.ycombinator.com/item?id=43519522

Edit: Here's our reproducer and we've added it to the post too: https://gist.github.com/kallsyms/3acdf857ccc5c9fbaae7ed823be...
That is kind of proving OPs point, though: the differentiating factor isn’t actual privacy, it’s an impression of privacy that you’re sold; the warm, fuzzy feeling that you’re using a superior product because you’re special and this phone is for special people that have important data that needs to be protected, and as a manufacturer of special people devices, Apple obviously takes care of this—because you’re important, duh!

If they can get away with appearing to care about privacy instead of actually doing so, they will. That’s all it takes to look better than Google.
Even if it is 100% accurate but it is slower than finding and reading the answer it is still useless.
> clearly getting value from it

Or clearly thinking they might get value from it. I personally agree they're likely getting value, but it's pretty easy to dupe otherwise smart people when handing them something with cabilities far outside their realm of expertise, so I'd caution against using a large user base as anything more than a suggestive signal when determining whether people are "clearly getting value."

For an example from a different domain, consider a lot of generic market-timing stock investment advice. It's pretty easy to sell predictions where you're right a significant fraction of the time, but the usual tradeoff is that the magnitude of your errors is much greater than the magnitude of your successes. Users can be easily persuaded that your advice is worth it because of your high success rate, but it's not possible for them to actually get any net value from the product.

Even beginning data scientists get caught in that sort of trap in their first forays into the markets [0], and people always have a hard time computing net value from products with a high proportion of small upsides and a small proportion of huge downsides [1].

It's kind of like the various philosophical arguments about micro murders. 10 murders per year is huge in a town of 40k people, but nobody bats an eye at 10 extra pedestrian deaths per year from routinely driving 35+ in a 25. Interestingly, even if that level of speeding actually saves you the maximal amount of time (rarely the case for most commutes, where light cycles and whatnot drastically reduce the average speedup from "ordinary" reckless driving), you'll on average cause more minutes of lost life from the average number of deaths you'll cause than you'll save from the speeding. It's a net negative behavior for society as a whole, but almost nobody is inclined to even try to think about it that way, and the immediate benefit of seemingly saving a few minutes outweighs the small risk of catastrophic harm. Similarly with rolling through stop signs (both from the immediate danger, and from the habit you're developing that makes you less likely to be able to successfully stop in the instances you actually intend to).

[0] Not a source, those are a dime a dozen if you want to see a DS lose a lot of money, but XKCD is always enjoyable: https://xkcd.com/1570/

[1] Also not a source, just another great XKCD: https://xkcd.com/937/
Show HN: YoJordan, an AI assistant you chat with via email
Or it could be like blockchain and we could laugh at the people still hawking it a few years later.
"Google absorbed my life from an early age"

When I read these stories complaining about Big Tech failing them I never perceive the problem as what the author is claiming it to be: e.g.,changes to Google search.

Instead, for whatever reason, I perceive the problem as the author's reliance on and even "trust" in Big Tech.

(Granted, the Google worship here makes sense considering he is working at "Android Police")

For example, the author's chosen title refers to "my search engine" rather than "a search engine".

Maybe I am just the wrong audience for these stories. Born into a world with companies making physical products and selling them for money instead of a world with intermediaries "selling" intangible "products" that are comprised of public information and performing unwanted surveillance on the "buyers".
Nah, Apple just never implemented good AI. I think AI itself is a letdown but let’s not forget that Apple claimed they were going to implement that and they didn’t. If someone tells you they’re going to eat a hamburger and then they just don’t eat lunch you can feel they’re making bad decisions even if the thing they set out to do was also possibly a bad decision.
> You assume hundreds of millions of users could identify serious mistakes when they see them. But humans have demonstrated repeatedly that they can't.

same is true for humans whether they're interacting with LLMs or other humans. so I'm inclined to take statements like

> I don't think it can ever be understated how dangerous this is.

as hysteria
I studied digital media in uni. But I had been using linux since about 1999.

I wanted to be a compositor, but failed the rotoscoping test at the company I was working at. So I fell back on my technical skills, and became an infra engineer. I left VFX in about 2015, and sadly no matter how much I want to go back, I don't see much of a future in it. GenAI is really going to do a number on it.
Were they Teradici cards?
Yes it's a value judgement by the author. Maximizing profit by any means necessary is pathological. Many here would agree with that.
I once asked my ER doctor relative what is the most avoidable thing adults come into the ER for, and he said choking on something they're eating alone at home.

Nice thing to remember next time you're gagging on some stringy cheese because you thought it better to scarf than chew your pizza.
I am much less confident than you appear to be that we are able to detect a significant percentage of negative health traits.

Let’s say that hypothetically there is a 3rd order effect on the excretion pattern of some neurotransmitter. Can we detect that? Could it negatively affect mood regulation? There are a million things like that.
First of all, "AI" is and always has been a vague term with a shifting definition. "AI" used to mean state search programs or rule-based reasoning systems written in LISP. When deep learning hit, lots of people stopped considering symbolic (i.e., non neural-net) AI to be AI. Now LLMs threaten to do the same to older neural-net methods. A pedantic conversation about what is and isn't true AI is not productive.

Second of all, LLMs have extremely impressive generic uses considering that their training just consists of consuming large amounts of unsorted text. Any counter argument about "it's not real intelligence" or "it's just a next-token predictor" ignores the fact that LLMs have enabled us to do things with machines that would have seemed impossible just a few years ago. No, they are not perfect, and yes there are lots of rough edges, but the fact that simply "solving text" has gotten us this far is huge and echoes some aspects of the Unix philosophy...

"Write programs to handle text streams, because that is a universal interface."
Is Botanical Sexism Making Your Allergies Worse?
> We invented a linguist and mistook it for an engineer.

That's not entirely true, either. Because LLMs _can_ write code, sometimes even quite well. The problem isn't that they can't code, the problem is that they aren't reliable.

Something that can code well 80% of time is as useful as something that can't code at all, because you'd need to review everything it writes to catch that 20%. And any programmer will know that reviewing code is just as hard as writing it in the first place. (Well, that's unless you just blindly trust whatever it writes. I think kids these days call that "vibe coding"....)
But Google have a big problem in that the internet is full of random crap and people trying to actively mess with them.

Siri on the other hand should have access to definitely non-noise data like: your calendar. The message your mom sent to say ‘see you at _____ airport and your entire chat history with her.

I am 100% certain that if you gave GPT4 this info, it could EASILY get this right 100% of the time.

Apple’s ability to make Siri do anything useful with AI is totally incomprehensible and it is definitely not a problem with AI.

It could well be a problems with running a very tiny AI on device. I would not trust even GPT 3.5 with this task and it is a lot more capable than anything an iPhone could run.
> Apple’s obsession with privacy and security is the reason most of us don’t think twice to scan our faces, store bank account information or share our real-time location via our phones.

People do that because it's very useful, not because it's safe.
Replace Siri. Don't make it better. The Siri persona is flawed. It has a dated and corporate sense of humor, is a prude about the most innocuous and natural uses of language, and is not game for anything. It was impressive for the first few months when it came out, but now it's unfixable. Dump it.
eh, don't worry about it. there are some weirdos with trust issues (I'm one) that are vocal about that, but regular people don't have that problem.
America long predates the Roman Empire. Hell, Americans had already invented writing before the Roman Empire, maybe before the Roman Republic: https://en.wikipedia.org/wiki/Zapotec_script
There are few issues:

1. GNU libc is an exception in the world of compatibility.

2. You can't just dump a bunch of GTK libraries next to the binary and expect it to work. These libraries often expect very specific file system layouts.
Yeah, I think if I had to put money on where the "native lands" of the LLMs are, it's in a much deeper embrace of the large model itself - the emergent relationships, architectures, and semantics that the models generate. The chatbots have stolen the spotlight, but if you look at the use of LLMs for biology, and specifically the protein models, that's one area where they've been truly revolutionary, because they "get" the "language" of proteins in a way we simply did not before. That points at a more general property of the models - "language" is just relationships and meanings, so anywhere you have a large collection of existing "texts" that you can't read or don't really understand, the "analogy machines" are a potential game changer.
> You order an uber. You aren’t expected to make progressive payments so the driver can buy the car, get gas, etc. That’s the more appropriate analogy.

It's utterly inappropriate. First, your card is submitted and approved prior to you getting the ride. The uber is going to get that payment, you have no choice. Second, I wouldn't be surprised if the amount is put on hold with the credit card company before the ride begins - I know gas stations do this. Third, it's a trivial amount of money compared with buying a house. Fourth, the uber driver cannot operate if he hasn't already bought the car and the gas.

> That point still stands.

Musk had no control over it. The tax credit was given to the consumer. It also was for all EVs, it was not targeted at Musk.

> they get hundreds of millions in tax incentives for their factories. Again, their profitability is propped up by taxpayers.

A tax abatement is not a subsidy. A subsidy is a payment. Tax abatement is not "propped up" by other taxpayers, they did not get their taxes raised by it, and the company was not previously paying taxes for that location.

I'm curious why you (apparently) think that anyone could have done what Musk did? Why didn't you (or anyone else) get those subsidies and tax credits and contracts and create Tesla and SpaceX? I've read that Musk is an imbecile who somehow failed into being the richest entrepreneuer on Earth?

Tesla + SpaceX is worth about $1.2 trillion dollars. If the government started it with a billion dollars, consider all the taxes Tesla + SpaceX + Musk + employees + investors has paid since. Wow what a return on investment! And as a bonus, NASA gets to shoot off rockets that cost only 10% of NASA-built rockets.
TSMC, Samsung, Globalfoundries
Hey, PO!'s lead here. It's not available yet, but we're working on making it available via some digital print services like lulu.com. There's no definitive timeline for this, but we're pushing to make it happen before the next issue (which is planned around June/July).
What is that a hash of?
The software-based second pass is where the most value lies (and the hard problems)
As noted, our reproducer script
I don't know whom you're replying to, but it doesn't seem to be to my comment. It feels like you skimmed my comment and then replied to a straw man.
It really is bad though. I search a lot daily, and every search seems to be 50% pages of this sort: yoursearchterms.info
They just need more time to implement it.

Most people still have no idea how useful it can be.

I'm a firm beleiver it will be an absolute godsend to older folks who struggle to learn new interfaces and technologies.
Thanks! Kudos to the rest of the team and the authors :)
They’re being sued because it is nowhere. They’re trying to do it on device with a tiny model. All the google Ai stuff is cloud based, run on their massive Google cloud data centres. Apple don’t have those, so getting more talent isn’t gonna fix it!
> Spreading copies around ad-hoc isn’t a backup plan.

I wish this were an internet rule we could repeat ad infinitum.
If that were the case, I wouldn't be using Cursor to write my code. It's definitely faster to write with Cursor, because it basically always knows what I was going to write myself anyway, so it saves me a ton of time.
That's a false dichotomy. The severity depends on what the individual attempted to remove. Nuclear secrets might be unacceptable to allow him to leave. Something more administrative might not be worth the jurisdiction hassle to prosecute but still get the individual flagged against re-entry.
It does. But why can't LaTex produce png or something? Why does it have to be either pdf or pretty much abandon the idea of typesetting? Or am I misunderstanding?
When people say that "god isn't good, therefore he doesn't exist," they are very likely referring specifically to the Abrahamic God, and this is likely the only God they can conceive of as possibly existing.

Of course you're correct that, in the abstract, the set of potential divine deities is infinite. But most people in the Western world turning away from religion are turning away from some flavor of the Abrahamic religious complex.
Right, but where’s the script?
Utah has less money to start with, though. It doesn’t have big industries or things like that. Median income is $40,000 versus about $50,000 in Maryland and Massachusetts.
Like Clojure having access to the Java ecosystem it would need access to the Rust ecosystem I imagine.

I otherwise am unsure what you mean
Musk founded SpaceX with $100m along with other investors providing another $100m.

The payoff for government was getting rockets at 10% of the cost of other rockets.
Somehow those didn't show up on my searches, though it was a few years ago.

Thanks though, will keep it in mind. These days Steam Link is decent enough for what I wanted, but ya never know.
The reason is to never allow anyone (even the editors) to have actual access to the show's files/images. Remote software can prohibit copy/paste, file transfers, and screenshots. I worked in a post facility with 100s of people all remoting in to a server rack down the hall.
so what's your point? rant about the rant?

if Proton or whatever gets behind their mission, people will move on to the next company they can 'humanely can trust'... chosing the best option among all the bad options still is progress
LOL, read the one star reviews [0]. The problem with the mechanical ones is they are shoddy these days and can't be depended on. It seems no one knows how to make a high quality mechanical timer any more.

[0] https://www.amazon.com/product-reviews/B07H59ZL1L/ref=acr_se...
"Life and fitness used to be deeply intertwined. You could not live without fitness. Now they are separate"

Say that to a Vizier in 700 AD. He was very flabby, no doubt.
This seems great, but why Cuda only?
LLMs have no such utility gain when compared with Eliza.
I'd love to hear more stories about coked-up producers in the film industry from 15+ years ago. Having done technical codec work adjacent to some of it in the past, it's a wild business to be in.
Not every fab use BSIM models. Philips (now NXP) use PSP models for their own fabs and implement them as verilog-a code. This is a physics based model instead of fitted model like BSIM.

TSMC has their own C-library on top of BSIM models for FinFETs because BSIM isn't covering what they need. I don't know what will they use for GAA stuff.
To me launchers are / can be another pattern of dark-ui. Why is a launcher required?

Is the launcher spying on my system, sending information back to HQ?

Can't you tell me the game needs updating when I play the game and then update the game in-game?

Are you going to throw me advertisement banners when you're not making or being greedy?

What if the update fails?

It's one thing I have to wait upon to play the game but launchers come bloated. A carousel of graphics taking a gig of space then requiring an additional 10GB download for the actual game.
Yeah. I tried it but audio bugged out after a while for seemingly no reason. Very janky software, should be a last resort.
SO_PEERCRED is only for Unix domains though, it's not going to work for TCP.

For TCP, your only easy option is to have port <1024 - but that requires root. If you want a dedicated user, then TCP requires hacks - like creating a cookie file in some protected location, like XAuthority does.

But if you have a protected location, why even bother with all this? Just create a UNIX socket there directly, after all the difference is only in connect call, read/write loop is the same. And as an extra bonus there is much better visibility, and zero chance of someone accidentally grabbing your magic number.

Unix sockets are really underappreciated.
No. Siri has three parts.

On device AI model which handles light tasks like notifications. Apple Compute Cloud which runs a more powerful version of the same model and handles more complex operations. And integration with OpenAI, Gemini etc for LLM tasks.
Oh?! I was always under the impression that Lagrange points were convenient calculation spots where everything sums out, but from what you’re saying, it’s a deep gravity well? Mind blown!

Edit: don’t mind me, I was completely off… thanks ChatGPT!
They don't wanna know, so they have nothing to tell.