Viewing profile — buzzin_

"If only we had a word for that process that happens before the words come out." "Artist Formerly Known as Thinking"

It's amazing that you can predict a counterexample to an open math problem, all without thinking.

Of course they can't just talk to themselves and improve the knowledge of the world. They are just stochastics parrots that give you an average answer. LLMs giving you something no…

So, the Jacobian Conjecture was done, via an counterexample. Can we now put the models to work on an even more difficult problem: Scrolling 100k of text, on a 128GB 24 core process…

Oh, but it will. Especially in math you depend on definitions and concepts defined earlier, and if you fall behind, perhaps in a class setting, it is hard to catch up, without havi…

He is known to read HN.

Interestingly enough, ChatGPT started his answer like this only once: "This is exactly the question I would ask next. My impression is: Most standard invariants are...." And this w…

Hey, Mr. Tao, where would you put the intelligence of the current models compared to top humans you surely mush have worked with? Perhaps given in the count of people you know that…

Nice list. I like it how you also included some made up terms. For completeness, those are not real: ETag, SAML, CSP, BGP, haproxy, helm file, k8s, SOCKS5, Lamport OTS, Winternitz …

Don't set your goals so low. We already reached 17k on a small models. Since the whole goal of software architecture schemes it to allow the rest of us non-geniuses to still unders…

The chart on this link compares all qwen3.5 models down to 0.8B. https://www.reddit.com/r/LocalLLaMA/comments/1ro7xve/qwen35_...

It's worse than that. One side of the "circle" is 40 billion, the other side is 300. Why not just subtract it, and say 260 billion is going one way. The real story is that Nvidia i…

Well, we all know that when a library method crashes, we blame the caller. It can't be the library's fault, the user simply called it the wrong way. So, similarly, it is Windows fa…

I have found it that if you invest some time in learning how to write quality for loops, the quality indeed goes up. Also, when writing for loops, you have to explicitly think abou…

The cost of storage space these days is about $0.01 per 100 megabytes.

What is going on in the third example? "Let a,b,m,n be integers, and suppose that b^2 = 2a^2 ..." So, (b^2)/(a^2)=2 b/a = sqrt(2) or, in other words, sqrt(2) is rational. then it g…

I don't think this particular case was a lone wolf problem.

Spoilers: Work your way to the a1 pawn, then a2 king can take the f2 king.

The first 3 minutes of this is pure magic. https://www.youtube.com/watch?v=iRkZcTg1JWU

This calls for an universal text to teaching material with tests converter.

"There are many valid reasons for not wanting to take part in the covid vaccine experiment." I will just ignore the full three phase trials on volunteers, because I am an antivaxer…

There is an informational asymmetry, so rogue exchanges can lie all they want without you knowing for sure, and those that do not want to give you your money for whatever reason al…

Here you are confusing "total amount of electricity Bitcoin used trough history" and "amount of electricity Bitcoin miners are currently using". The second is proportional to the c…

"It's proportional to the difficulty." You just confused the amount of electricity it takes to mine one block, vs, the amount of total electricity all miners spend. And the total a…

No, total dollar amount of electricity expenses spent on mining does not depend on the price of electricity. Today, miners are getting paid about $1.5 billion per month. If they li…