Liquid_Fire

OK, so the two options are:

A) Claude really produced this counterexample

B) A mathematician working for Anthropic solved a problem mathematicians have been working on for more than a century, and then credited it to Claude for PR purposes

If you believe B is more likely, why would you then believe a proof in the form of a chat log, when said chat log could itself have been faked by Anthropic way more easily than solving the mathematical problem in the first place?

True, but not sure how it's relevant - you don't need memory corruption for the test to perform arbitrary I/O. And even if you trust the tests to not do anything bad, you don't need memory corruption for this to be an issue - any bug in the code emitted by the compiler could cause bad things to happen.

But all of this is ultimately completely unrelated to the concept of "unsafe". You can delete your home directory just fine in safe Rust/Go/Python/etc. You can write a compiler that emits broken code in the same languages; even in a 100% pure functional language with 0 side effects and a perfect bug-free implementation.

if rustc emits machine code and then cargo immediately executes it, there's the same opportunity for end user memory being corrupted (due to miscompilation) as if rustc and cargo shared a code base

Your tests run in an entirely separate process from the compiler (and from cargo). This makes it very different from memory corruption in the compiler:

- The test process can only corrupt its own memory.

- You don't need "unsafe" to run tests. Just the ability to start another process.

- If you're cross-compiling, you wouldn't even be able to run the tests on the same machine (without emulation/compatibility layers)

Does roc run tests in the same process as the compiler?

apparently the very first person to encounter it

We don't really know that.

It may have been the first person able to complain - given you couldn't even file a support ticket without getting through this prompt!

Not sure how you came to that conclusion. An empty train would still exist in the live train data. It does not depend on mobile phones, but on rail signals and other such tracking built into the rail infrastructure.

You are giving it to them. That's why the demo asks for your location permission, and that's why the API expects location info.

"You" here means another app that integrates their API (or you as an individual using the demo on their website). How the other app gets it is up to the other app - ideally it also just queries it directly and requires location permission.

No, live train data in the UK is already publicly available, e.g. see https://www.opentraintimes.com/

This is matching your phone's location to the already public train data.

I think you're misunderstanding what they are saying. They don't use background location data, but they do use your current location data. Try the "Find My Train" demo on their site - it asks for location permission.

Or their API - it also expects device location data:

At a minimum, requests to the detect endpoint _must_ contain a device's location measurement. Additional fields can be included where available to improve the accuracy of the returned results as outlined below.

https://docs.signalbox.io/docs#/operations/Detect_detect

Presumably you still need a C++ compiler for LLVM itself though. Or... a C++ to C translator.

Edit: On second thought, that's only needed if you want to run rustc itself on the old hardware, which is probably not super useful given the main reason you would need to do this is if LLVM can't target that hardware.

For building code written in Rust for such old hardware, this would be sufficient.

Fun! There are some combinations that don't seem to work though, e.g. "dG" and "dgg" do nothing.

many stupid Apps check that developer mode is on and refuse to work

Do you have some examples? I have developer mode enabled and have never seen any apps complaining (and I have used a lot of different banking apps).

What you're referring to is not a cookie banner at all (I suppose you didn't read the text, only the buttons).

The actual cookie banner merely says "We use cookies to improve your user experience. Learn more" and has a close button.

In the UK, many banks disable the magnetic strip by default, and you have to temporarily enable it from the bank's app/website if you want to use it.

You'd struggle to find a POS terminal that even has a reader for them in the UK. I've only ever had to enable them in the US or Japan.

It says "determined by the closest capital city". The only area where Vatican City is closer than (some part of) Rome is within Vatican City.

Presumably you could trigger one of those onbeforeunload confirmation dialogs in that case.

I assume you would also have some sort of icon that indicates all of the changes you made have been synced (or the opposite, an icon for when they haven't yet).

Though of course, it doesn't help if the user outright kills the app or pulls the plug or whatever. But I think in that case they should expect to lose some data?

I don't like the app either, but it's not too hard to transfer the files directly to the phone over WiFi without using any of the cloud/editing things.

What's annoying is you have to do it in three steps: first transfer it to the app's internal storage, and then save it out to actual files, then delete the internal storage; and you need 2x the disk space.

(Another annoying thing is in some countries they just disable the 5 GHz WiFi, so transfers end up taking forever. Very annoying when traveling, and if I lived in one of those countries I would have definitely returned it)

It might sometimes prefetch the surrounding lines as well, but ultimately cache space is limited, so there is a trade-off. Every time you fill a line, you are throwing away something else that was cached there previously, which you may need again in the near future.

They can climb it, but would they choose to nest in a hole 6-7+ m off the ground if they have alternatives?

Meanwhile the swifts will definitely not choose the ground.

I guess that's Rosetta 2, and TFA is referring to Rosetta 1.

But don't worry, Rosetta 2 is also on the chopping block:

Rosetta was designed to make the transition to Apple silicon easier, and we plan to make it available for the next two major macOS releases – through macOS 27 – as a general-purpose tool for Intel apps to help developers complete the migration of their apps. Beyond this timeframe, we will keep a subset of Rosetta functionality aimed at supporting older unmaintained gaming titles, that rely on Intel-based frameworks.

https://developer.apple.com/documentation/apple-silicon/abou...

A few places where we still help, even after iOS 27 ships:

Google Wallet. Create a Pass is iPhone-only. Roughly half of the wallet-using world is on Android, and our generator builds Google Wallet passes from the same form.

What does this actually mean? Google Wallet has had a button to add your own passes for many years. How is the feature described here different?

(It uses JS to only show the one for your platform but with view source you can see it mentions all three of these different OSes.)

There is a dropdown at the top-right to select the platform - no need to view source.

during the same run of the app

Is this part true? The article's fix involves running a command and rebooting the computer. If restarting the app was sufficient, surely you wouldn't need the command/reboot?

It's incredible that about 80% of people in this thread seem to be commenting without having looked at the website.

In defence of the 80%, there is no indication in any section other than the About page that it is not real money (with the possible exception of the suspiciously high sums of money), and most commercial services have fairly useless About pages. The HN headline presents it as if it's real.

A far cry from GP's implication that "inadvertently click[ing] on the website" is sufficient to see this.

Can you spoil it for me, because I read it to the end and saw no mention of such a project. Unless you are referring to the DIY approach the article suggests.

Perhaps it's because in all but the simplest cases, you need 2 or more concatenations to achieve the same result as one single f-string?

  "literal1 " + str(expression) + " literal2"

  f"literal1 {expression} literal2"

The answer is linked to by the section of the article you quoted:

(1) If you statically link against an LGPLed library, you must also provide your application in an object (not necessarily source) format, so that a user has the opportunity to modify the library and relink the application.

And also answered directly in the section you quoted:

as long as you provide the object files and allow users to relink your app with a different version of Qt

This helps with the comments, but not the actual article(?), which just gives me:

This page is not supported. Please visit the author’s profile on the latest version of X to view this content.

...I am using the version which their own server just served me.

I'm not a Go player so I don't really know how it works in practice, but what you are saying seems to disagree with the wording in Wikipedia, so I'm curious which one is correct?

You say:

if you forget that a particular board layout may have come up in the past, go players will not note that you've messed up the game. It doesn't matter. The ko rule isn't there to stop you from repeating a board twice.

Wikipedia says:

Rule 8. A play is illegal if it would have the effect (after all steps of the play have been completed) of creating a position that has occurred previously in the game.

Consequence (ko rule). One may not play in such a way as to recreate the board position following one's previous move.

While its purpose is similar to that of the threefold repetition rule of Western chess, it differs from it significantly in nature; the superko rule bans moves that would cause repetition, whereas Western chess allows such moves as one method of forcing a draw.

To me that sounds like you do need to track this, in both chess and in Go, though for different reasons (to force a draw vs to prevent an illegal move). Is this not enforced in practice?

Chess also has this "problem" thanks to rules like castling and en passant capture.

I'm actually surprised you're complaining about Konsole then, given iTerm2's context menu almost doesn't fit on my screen.