konchunas

The point I'm most interested in is number 4: Arbitrary-Precision Verification. To my untrained eye it looks plausible.

Granted we are in the age of slop proofs and it is unfeasible to verify proof by hands, anyone can ask LLMs to create numerical tests of computable parts of a proof. And if it "blows-up" or behaves suspiciosly LLM will notice that.

This is a kind of software fuzzing, but for Lean proofs.

The problem is if you have no math cred (as is the case here, I presume), it's quite hard to get someone competent to read such disproval and verify its validity.

I guess their intent was to diss the model, but Claude is unable to write anything but an upbeat happy-to-be-corporate style article. Thus it reads like an ad.

It is a signal for next hackers who get into OpenAI servers to not even consider going the whitehat route

Do you think they collect addresses of repository owners?

It's Heavy Lift, not life

These ones by PS5 controllers I believe

This comparison doesn't make much sense. When a person chooses a language for their project it implies a long term commitment. And all the headaches that follows for years to come. It's unlike a screwdriver, which can be easily replaced in the matter of hours.

Got it, thanks!

I like your points.

People all over the comments accusing me of nitpicking. I can agree with that. But I also feel like this happens because of what you call "a thousand paper cuts". It works, but feels surprisingly unpleasant.

Allowing us to run Unix command line in Windows is a great achievement for Windows team, props to them. But it isn't yet comparable to the real deal like Linux or OSX. The speed, the looks, the integration. I'm actually surprised that (subjectively) Linux UI with all that fragmentation looks a bit more consistent than one of Windows.

I hope Microsoft addresses all these problems, but guessing from previous experience it make take a while.

I'm sorry for that. As Streamable states: ads will be shown as soon as video becomes popular. But they didn't state exactly how popular. I couldn't find any other convenient method to embed small animations with fine quality and ability to pause them. Any recommendation is appreciated.

Contrary to release notes latest Gnome 3 in Ubuntu 20.04 is slower on my machine compared to the previous one in 19.10. That's why I switched to XFCE which is super snappy. Not i3 snappy, but really close. I've also experienced increased startup time with Snap, Flatpak and AppImages regardless of DE.