skysight-inc/HackerNews huggingface dataset:
I think the issue is that, per the article, even if it works it might only provide marginal value. So copilot may indeed be useful to you/your company, but perhaps, once all the bean counting has been worked out, not useful enough to justify the stratospheric valuations.
Would that make this a Schrödinger kernel panic?
Yes, it does. RCS without E2E is following the SMS model and putting your telco in charge. It uses transport encryption but that is basically meaningless when every relay sees the entire contents of the message.
They already sell a wide ecosystem based on Matrix. The whole point of this app was to connect without relying on Matrix bridges.
Clearly the prevalence of idk's in the output is the metric for determining power.

As for the human-vs-computer, I think the most powerful solutions will be those that combine human and computer prowess, similar to how a Human+Stockfish beats Stockfish^. To that end I've been working on Lean search tools that keep a human firmly in the loop. Terence has actually called out a tool I helped make as being quite helpful in his work, which is rather neat.

^ I heard this to be true at some point, but cannot find any reference on it at the moment.
There could be a major schema change that breaks the contract, but one of the nice things about JSON output is that it allows the creation of new fields without affecting downstream consumers.

That is, if I have a CLI program that spits out a list of IP addresses and one day I want to also output the corresponding dns names, I can simply add the "dns" field and existing pipelines will ignore the field and work just fine.

This is better than grep/awking/etc. unstructured text to STDOUT because, depending on how the author decides to add the new field, it can easily break existing pipelines that rely on the shape of the data to stay the same.
> You also declare that Israel is the enemy of Muslim nations, which it is not, unless forced by hostilities explicitly declared by the other side.

If you mean 'enemy in warfare' then no, they aren't fighting a war directly. But by any other definition of enemy .... In addition, there's Iran (Persian, not Arab).

If they aren't enemies, what do you call them? Allies? Friendly neighbors?
They do not officially and discourage it. Moxie and the rest of the company has been extremely clear that all third party clients are not considered supported or allowed, regardless if they can and do interact with signal services.
Only Jewish people have full citizenship rights in Israel. There are "jews only" streets there.

That kind of stuff doesn't fly in a non-ethnostate.
Hah, many of the VC folks behind AI companies are fighting policies that would keep people out of poverty.
Nah. John Deere pulls in billions. They made record profits in 2021, record profits again last year, made record profits again this fall and they predict that they'll break their record yet again next year. Last year their CEO got $20,300,151.

They can more than afford to offer a high level of service at harvest time without ripping off their customers and screwing over everyone else as well by opposing our right to repair.

As it stands their current level of service isn't even that great. Farmers have been complaining about not being able to get parts (https://talk.newagtalk.com/forums/thread-view.asp?tid=104450...) and saying that because they're forced to get repairs from John Deere that single source for service gets overwhelmed and they can end up waiting for weeks on technicians while watching their crops rot away. (https://www.ifixit.com/News/62788/john-deere-has-been-violat...)
It's not a super serious comment, it's more about how ridiculous the tone of "We are doing this for YOUR protection" would be.

On a more serious note though, in the end Apple absolutely has the power of increasing everyone's capability and security by doing something like setting up a playbook of how iMessage could just use Signal protocol and how other actors could join in, or really anything else but doing this.
Also—every new sufficiently advanced technology has been predicted to do this. If there's one thing humans are good at, it's finding the remaining jobs that computers _cannot_ do, and sometimes accelerating the now-obsolete jobs has a positive effect.
>I think the fundamental assumption of the analysis that there are two mutually exclusive groups, 'pro-Israel' and 'pro-Palestine' is flawed. It is possible to simultaneously support the interests of Palestinian and Israeli civilians

That would be a nuanced view. The reality is that most people and especially most people who post their views online are not capable of seeing things that way.
It's kinda fascinating, isn't it? Small adjustments make such a massive difference. I had a similar experience in League of Legends. I'm no good at that game, but a streamer who was a backup for cloud9 (a support player; I forget who, but his name was kinda edgy iirc??) played with his viewers sometimes. I was a support main at the time, and I just remember feeling like he was more dangerous than his ADC in terms of pure damage. How? It's not possible. It's so confusing. I never figured out how he was so successful with his extreme aggression in lane, but I was utterly fascinated.
I also assume there are iMessage rate limits in place, that if exceeded, trigger some analysis. If that's true, then hardware costs would also be proportional to rate.

I suspect there's some dark market for broken iPhones, and perhaps some rate limit for activations within a city block/building. The last time I had iMessage spam was years ago, so maybe it's not so practical.
The article is about delivering a complete, working project "on time". I have a neighbor whose home is being renovated and it is already 2x the time the contractor originally quoted.

Of course it is easier for a developer to walk away from something incomplete than an architect and the contractors involved in a physical project, but still, I hardly think that there is really much difference in terms of timelines.
Ah yep, misread “atomic mass” as “atomic number”.

Still, decently heavy :)
How would the Palestinians leave? Via the continual carpet bombing of every building and the people? We see the videos of the bombing & the aftermath. We see the photo today of mass execution by the IDF. You cram what’s left of 2 million people in a tiny section of Gaza and now bomb them there.

The US quashed a ceasefire vote in the UN, so that the carnage can continue. It is monstrous evil. The US is now providing bunker buster bombs as well, which are being used. We see the videos and photos today of that.
So does this also now break iMessage for older iOS devices too?

I thought someone said something about that to block beeper mini, Apple would have to also block older iOS devices as that’s the method they were using that wasn’t as locked down.
I live in Nevada City, California. We have several productive chestnut trees growing around and I can't really tell if they're Chinese or American. They do not ever get anything growing in the nuts so maybe they're American. Otoh, the weevil might not be universal.
With how many "rent a mac mini stuffed in a datacenter" services are out there, I wonder how cost-prohibitive blacklisting specific devices really is.
Does that mean Stingrays and just regular old SDRs can still pick up RCS messages?
I think you can safely say that air is a critical component of an aircraft carrier. I suppose the frame of it is not made of air, but the ballasts are designed with air in mind and are certainly made to utilize air. The whole system fails without air, meaning that it requires air to function. It comes down to a definitional argument of the word "made" which is pointless.
From the response:

Much of the criticism of C++ is based on code that is written in older styles, or even in C, that do not use the modern facilities aimed to increase type-and-resource safety. Also, the C++ eco system offers a large number of static analysis tools, memory use analysers, test frameworks and other sanity tools.

I often hear comments like this from proponents of modern C++, comments that imply that anachronistic C++ is to blame for CVEs written in it. However, it can be tricky even in "modern" C++ to avoid causing use-after-free errors and memory corruption. First example is this post, discussing something that was assumed to be a GCC bug that actually just shows how unintuitive lambdas and coroutines can be when mixed together:

https://news.ycombinator.com/item?id=33084431

And these are two memory safety errors (in Chromium and Edge, respectively) that are written in what looks to be modern C++:

https://bugs.chromium.org/p/chromium/issues/detail?id=102715...

https://microsoftedge.github.io/edgevr/posts/memory-corrupti...
This is why people shouldn’t listen to tech YouTubers who don’t actually work in tech as engineers.

They’re tech fans, not experts but act like they know the domain space enough to make strong authoritative claims since that’s what gives them an audience.
They had a small phone in the 12 Mini. No one bought it.

I’m sure it was just tiny egos though.
They do offer 2FA via SMS. This is AFAIK the ONLY option for Android/non-Mac users. Why are those users less deserving of decent security? Apple still sells and offers services outside their platforms, so they're still customers potentially with hundreds or thousands of dollars worth of purchases and CCs attached. FFS Nintendo has better 2FA options than Apple for non-Apple platforms.
Try Our AI Assistant at 650-460-2286 – Feedback Welcome
Hello Hacker News community,

We're developing an AI Assistant designed specifically for restaurant operations. It’s crafted to take orders via phone calls and directly input them into the restaurant's POS system, effectively bridging the gap between customer interaction and order processing.

We need your help to fine-tune it:

- If you're in the US, please call 650-460-2286. Feel free to place a mock order or inquire about menu items.
- We'd appreciate your feedback on the experience.

Your insights are crucial for us to improve the product. Thanks for your help!

JZ & Tony
Do the SMSes come straight from the other users' phones, or are they relayed via some Apple server?

> what an incredibly bad move it would be for them

I don't see it very different from Apple's choice to degrade arbitrarily the experience of messaging with android users. There are infinitely better alternatives to sms for private messaging, Google could say it's encouraging its users to move on them.
Those security questions are now very much optional. I made sure to lock down my Apple account. If I lose either my password or access to all my devices, the only thing that can unlock my account is a long printed code or permission from a trusted family member. My account no longer has security questions.

Apple is doing it optionally because they're trying to balance two opposing forces here: helping its users access a locked account, and giving users tightly locked accounts.
What suddenly changed in 2021? Why didn't they just do this earlier? They just never realized they could be wise prices?
This is exactly why Signal closed their source code: if you allow access to your network, you're only accepting spam. For their users' security, it's essential that they must guard access to their network as much as possible.
It seems to me that Israel has two basic ethnic groups, Jewish and Palestinian. I think that many people are objecting to the perception that they are favoring one of those groups.*

I also think that many (most?) people would object to France, Ireland, or Japan favoring people who were ethnically or religiously French/Irish/Japanese.

* Edit: I think that people are also objecting to the fact that many Palestinians don't have a place where they can be prosperous and debatably had their land stolen.
The Problem with Software - Why Smart Engineers Write Bad Code by Adam Barr

https://www.amazon.com/dp/026203851X
I for one am shocked
No, obviously not, that's why I specified "if it's possible to tell apart those coming from iMessage".
Some practices, such as the indiscriminate scraping of images from the internet to create a facial recognition database, would be banned outright.

Sounds like the devil is in the details. What if you scrape a large quantity of images and the end result just happens to be able to recognize many faces?

Hosted services like ChatGPT can "solve" this by refusing to identify faces, and if you hack around it with prompt engineering, well, they can tell the EU that they tried.

Open source models that can handle images, though? Hopefully this regulation does not end up forbidding the use of general-purpose open source models.
Recent work on combining LLMs with theorem provers with promising initial results:

https://paperswithcode.com/paper/linc-a-neurosymbolic-approa...

> Logical reasoning, i.e., deductively inferring the truth value of a conclusion from a set of premises, is an important task for artificial intelligence with wide potential impacts on science, mathematics, and society. While many prompting-based strategies have been proposed to enable Large Language Models (LLMs) to do such reasoning more effectively, they still appear unsatisfactory, often failing in subtle and unpredictable ways. In this work, we investigate the validity of instead reformulating such tasks as modular neurosymbolic programming, which we call LINC: Logical Inference via Neurosymbolic Computation. In LINC, the LLM acts as a semantic parser, translating premises and conclusions from natural language to expressions in first-order logic. These expressions are then offloaded to an external theorem prover, which symbolically performs deductive inference. Leveraging this approach, we observe significant performance gains on FOLIO and a balanced subset of ProofWriter for three different models in nearly all experimental conditions we evaluate. On ProofWriter, augmenting the comparatively small open-source StarCoder+ (15.5B parameters) with LINC even outperforms GPT-3.5 and GPT-4 with Chain-of-Thought (CoT) prompting by an absolute 38% and 10%, respectively. When used with GPT-4, LINC scores 26% higher than CoT on ProofWriter while performing comparatively on FOLIO. Further analysis reveals that although both methods on average succeed roughly equally often on this dataset, they exhibit distinct and complementary failure modes. We thus provide promising evidence for how logical reasoning over natural language can be tackled through jointly leveraging LLMs alongside symbolic provers. All corresponding code is publicly available at https://github.com/benlipkin/linc
"French Prime Minister Élisabeth Borne has banned widely used messaging applications WhatsApp, Telegram and Signal for ministers and their teams due to security vulnerabilities."

Entire government have moved to Olvid.
This is soooo much more fun than most software aimed at kids.
If God meant for people to be naked, then they'd be born that way.

Society has a lot of adapting to do, before they lose their superstitious hang-ups and religious bigotry. It will be a long time, if it ever happens at all.
> An infinite amount of time would not necessarily yield zero bugs.

Never said that, just that quick turnaround for deliveries will usually mean more bugs, and having some extra time usually means less bugs
Crime is not on the rise. This article is based on false premise(s).
Yacc, I believe.

https://www.postgresql.org/docs/7.1/parser-stage.html
The guy is a fine youtuber but i think he was talking about stuff outside of his area of competence wrt to this specific matter.
This was the obvious outcome. People were being willfully blind about how this "hack" works.

Using an exfiltrated binary they used its blackbox functions to perform a sort of device attestation using ripped Apple device identifiers. Clearly Apple simply needs to blacklist any device attestation that this service uses, which is obviously trivial. These aren't just RNGs they're fabricating, they're sets of legitimate Apple device data that isn't plainly evident to any random user-mode app.

Why would they block it? Every service has some sort of gate on who can message or it will be overrun by bad actors and spammers. Signal, Telegram and others make you validate your cell phone number -- there's a finite number of those, and they can blacklist them as necessary. Online services make you validate an email, do bot checks, etc. Beeper, and more importantly the technique they used, offers none of those gates. It was a plainly problematic free for all that was guaranteed to be closed.
Apple and the EU don't agree on iMessage's status as a gatekeeper. Apple's argument is that it doesn't have the required amount of users (10% of EU population/10k business users).

If they're right and Apple doesn't have the user base, the EU gatekeeper laws won't have an effect on iMessage.
Imagine. "Your data is backed up idempotently and permanently to tape, but you are too unimportant for us to ever recover your data loss from tape."

Charitably, the whole system is on tape and piecemeal restoration is impossible.

This is why professionals practice their restoration protocols regularly.

Not to imply that it's reasonable to treat customers of commodity SaaS as professionals.
I have news for you... He's not wrong. The porcelain is different, but the same methodologies and processes are in place. The biggest change recently is distributed (mostly ignored) version control, that's 20 years old, and continuous integration/development (probably also around 20 years old, but only catching on in the last 10-15 years).

Computer science has changed more, there are lots of developments in the last 5-10 years.
One of my favorites is the Democratic People's Republic of Korea - North Korea. See, they're a democracy - for the people! :) Words, by themselves, are so easy to lie with.
There were a lot! Usually taking the form of: 1. They’ll have to do a major update to iMessage, 2. But what about Hackintosh?, or 3. EU regulators will stop it
As much as I am worried about the unintended consequences of AI being released, (a) I suspect this stage might be a little oversold (as great as it is), and (b) we should give it a little more time to play out to make more informed decisions.
For third parties at the mercy of Apple? No.

For Apple? Demonstrably so. Apple has stated as much in court filings against Epic. This is largely an American trend, third party messengers are much more popular outside of the US as the defacto standard, Apple sees clear value in the blue bubble.
Looks like iMessage stopped working on my hackintosh...
I don't think that anyone is objecting to them serving sashimi. People are objecting to people throwing out most of the sushi rolls and only eating the fish. Both because doing so is wasteful and because it appears to be willfully abusing an unintentional oversight in a way that hurts the people running the business.
Yes, Netanyahu is bad for everyone and must go. But Netahyahu did not prevent funding via the RU=>Iran=>Qatar=>Hamas pipeline. Not the same as funding it, but still incredibly stupid.

Agree: Hamas =/= Palestinian people. They are an absolute plague on the Palestinian people. Their leaders literally and openly call for Palestinian people to be "martyred, more of them". Using the people they are supposed to protect as human shields, and martyring them as a publicity stunt to gain sympathy is about as evil as it gets; and nevermind making shelters for themselves but not for any civilians, or stealing all the aid. Even if the 2006 election where Hamas supposedly won is considered free & fair (dubious), it has been 17 years since then. No Gazan under the age of 35 ever voted for Hamas.

>>I am from the US. My vote is useless. No party or candidate representing my interests can run, much less win.

Your vote is far from useless. But we must deal with a fundamental flaw in the First-Past-The-Post voting system used almost everywhere in the US. It mathematically forces 1- or 2-Party rule. All others are spoilers, helping elect the worst possible candidate from the POV of the people voting 3rdPty. Ranked Choice Voting fixes this flaw, but it is only in lower races in Maine and a few other locales. Push for it whenever you can.

You also are evidently under the misconception that voting is some kind of contest of finding a perfect candidate. It is not. It is a strategic choice among people/parties who will administer the government. Demanding a 'perfect' candidate to bother to vote ensures that you will get the worst possible outcome. (Again, RCV will give 3rdPtys a chance, and allow voting for them in a way that won't force a worst-choice to win)

And if you think it is bad now, you need to read on countries which have fallen to authoritarianism. Look at Russia, where 20% still lack even indoor plumbing [0], and of course if you say anything like what you just said here, you'll get a visit from the police. The US is under direct threat of that kind of administration in the next election. Hungary has already fallen.

Today, there is literally only one issue to vote on, and that is which party is going to preserve democracy, as without that, we will never get another worthwhile candidate. Which party is attempting to allow more, and more fair, voting, reading, healthcare, etc., and which is suppressing and gerrymandering voting, banning books and healthcare, etc.? Which leader is literally saying he'll "be a dictator on Day 1"? Until we get Ranked Choice voting, there is only the top two to choose from, and there is no choice if you ever want the possibility of another candidate again. Vote wisely and strategically.

[0] https://www.themoscowtimes.com/2019/04/02/indoor-plumbing-st...
The issue isn't just low effort affilate spam pages piss fighting with each other. It's that they were trying to sell the technique as a product to people who make actual content so that they could steer viewership of their other high-quality-content competitors towards AI generated garbage.

Basically a weapon to taint your competitors brands by redirecting their viewers away from their content to ad saturated AI garbage.
It makes sense to design it to be installed like that, my problem is it doesn't seem to be designed for automated setup. It was originally Personal Home Page, and feels like it started as the kind of thing you'd run on a long-running server you SSH into and mess with manually, with lots of stuff built yourself and all designed to work together.

Other languages feel a bit more at home in a "Servers can be remade instantly from declarative config, manually making changes on a production server isn't a thing, and software is full of lots of third party pieces" environment, but then again, maybe I just don't use PHP enough to understand the idioms and ecosystem and there's solutions I don't know about.
This would be the case if it were a protocol designed to be opened up for use by 3rd party clients. As it stands, this was a clever hack which would undermine the integrity of the system if left in place. Within a few weeks we’d see 100 3rd party iMessage clients, and it would be luck of the draw if the one someone downloads is secure or not.
There are tools that help, but you still need time to integrate those tools, learn how to use them, etc. If you are doing unit and integration tests, you need time to not only write those, but also actually plan your tests, and learn how to write tests. Which... needs time
The Mizrahi are also recent settlers in Palestine, coming from surrounding areas like Lebanon, Syria, Jordan, etc. Of course this was all one unified Arab nation under the Ottomans.

Earlier today, I was listening to an interview with a child of early Zionists (he grew up on a Kibbutz in Israel, but now resides in the US, escaping the [his words], "Fascist turn" in Israel) who said that Israelis (referring to the European Ashkenazi Jewish Zionist settlers) were very happy to have the Mizrahi come. They referred to the Mizrahi as, "Jews at Arab wages." Israeli Ashkenazi Zionists were and are very racist; where it would be odd, but arguably correct to call them a brand of white supremacists.