utopcell

..that don't have AI integrated?

It's in preview, no?

not sure why you're getting downvoted, this is pretty much the reason.

Allegedly.

Ok avadodin@, we'll give you your money back.

Most clones I've seen don't look that great, but this one's nice. I noticed that the PCB has no ULA. I'm reading that it was impossible to procure in the USSR because of embargos so the designer, Sergey Zonov, reverse-engineered it and used 74xx ICs. That ..is an impressive feat. It has been replicated by Chris Smith, but by actually opening up a ULA and looking at the circuit. Doing this blindly is just awesome.

This is not a gov-owned business. It's not your money to decide how they should spend their resources to benefit yourself.

(-:

Nicely done!

> "The problem of the proof was that we knew that FCT was true"

Citation needed.

I bet the mailing cost was more than 0x$2.00 for Knuth.

If that's your biggest shame then you must have lived a good life.

> No no no that can’t be a bribe you see, that happens after the laws were passed, a bribe would have to be before.

That's how you can tell that lobbying is different from prostitution. In the latter, money exchange is illegal both before and after the act.

The argument is that it's not tens of $m.

Why would they do that, knowing that the one known to be correct is the Lean one? Just to claim that the (correct) Lean proof did not translate well to English? That would be weak, and a colossal waste of energy and time.

You didn't believe!

Nobody needs you to do anything, not with that attitude.

What the hell, indeed.

until November, probably.

We also live in a very different world now compared to 2021 when the problem was reported. A brief Gemini query to translate the old diff format to the new one returned in a few seconds with what appears to me a correct, < 40-line, solution.

While I agree with the article's point, we should note that collisions do not happen out of the box because Neovim defaults undodir to $XDG_STATE_HOME/nvim/undo/ (~/.local/state/nvim/undo/), while Vim defaults to storing .un~ files alongside the edited file or inside ~/.vim/undo/. Data loss only occurs if both editors are configured to share an undo directory or save inline .un~ files.

Great site, intuitive description. I also found [1] very useful in the past.

[1] https://bbycroft.net/llm

They obviously did not send the proof to Claude.

I'm pretty sure they were sending a prompt for Claude to _find_ the Navier-Stokes proof, using ideas that have been publicly shared before online, but not necessarily used for the problem.

"BaW Music Theory", for that click-bait effect.

What's surprising (to me) is that there exist 3840x2560 28" IPS panel monitors on Amazon for only $150.

External 16" 3840x2400 monitors are ~$150 on Amazon.

> You can ask 100 people and they'll all give you a different list.

True. With 5 choices you need at least 126 people before you can guarantee that two lists are the same.

Definitely in the pool of people that used to do this extensively. I would occasionally increase/decrease the colum limit by a few characters and try again if the words didn't align.