JohnKemeny

Is it just me, or could they have added a, say, picture of a black hole?

Linux Vice City and then Linux San Andreas.

Now implement Prolog in your Game of Life and observe the Universe fold in on itself.

Can you point me to the `.msi` file?

> I have the same optimism as Prof Tao.

This is not written by Tao, but by Álvaro Lozano-Robledo.

When the dust settles, the housing bubble of '08 will look like chump change.

Retracted 3 results. Found errors in 14 others.

Beautifully written. Beautiful game. I never completed the game, but it has stuck with me since 2015.

They are not publishing Lean proofs. They are publishing proofs in natural language, and are not submitting to journals.

They are just putting out a bunch of weirdly written extremely long and technical papers and saying: Hey, here is the solution (we hope there are no mistakes).

10% is ridiculously high compared with published papers in math journals where the number of critical mistakes is near zero.

This doesn't seem to test the GC, nor important operations such as dict lookup/iteration, set add/membership, list iteration and updating.

Is really a recursive implementation of Fib an enlightening benchmark? I don't think so. And bubblesort is just messing around with two pointers.

Why not, if you're first doing benchmarking, find out what the most time consuming popular operations/algorithms are, and then use them?

Now it seems that you are just testing two obscure algorithms that are not really representative for Python coding in general.

Many people thought it could never be less than 2. They proved that it can. What is the true value? Nobody knows, now.

You can use Grammarly via an API, or simply submit text in a web interface.

It's a keylogger in the same way Vim is a keylogger.

Are you saying that modern LLMs cannot play chess now, or that LLMs (GPT architecture) cannot be trained to play chess well?

Or are you saying that neural networks in general cannot (practically) be trained to be an above-average chess player?

Or are you saying that it depends on the input? Would it be better if they were given a picture/drawing/ascii art of the board? If so, surely they can produce it at will?

Your link 404s

> The main branch of formal-conjectures does not contain the path `FormalConjectures/Millenium/NavierStokes.lean.`