gukoff

6 ms·

1.
by gukoff 1mo ago
Interesting, thank you for sharing.
2.
by gukoff 1mo ago
Yes, and the standalone formal proof and independent review will follow. By the way, I'd like to note that it will likely be a formalization of not the last result in that conversation, but of one of the initial proofs that relied on t
3.
by gukoff 1mo ago
Apologies for the confusion - the playground had a typo (7 instead of 8) which is fixed now. Now it works as you would expect, and zeroed potentials correspond to a zeroed hexagon. The "wide ring" gadget is an interesting idea. I
4.
by gukoff 1mo ago
Thank you, I'm glad you found it readable on mobile!
5.
by gukoff 1mo ago
Thanks a lot for the detailed perspective! The potential fields are a curious phenomenon. I feel like - and I haven't verified this in any way yet - the smoothness is dictated by the fact that all values are within a not-so-broad range
6.
by gukoff 1mo ago
You're absolutely right, technically the title should have said "every order other than 2" or "every order larger than 2". The case for 2 is impossible, because it immediately forces equal numbers on the outer layer
7.
by gukoff 1mo ago
Interesting observation. That's simply part of the usual definition of a magic square, and it does indeed feel arbitrary once you compare it with the hexagon case, which is very symmetrical. I first learned about magic squares from mat
8.
There Are Magic Hexagons of Every Order(gukov.dev)
198 points by gukoff 1mo ago|33 comments
9.
There Are Magic Hexagons of Every Order(gukov.dev)
3 points by gukoff 2mo ago|0 comments
10.
by gukoff 6mo ago
How do you run these models on AMD GPUs?
11.
by gukoff 9mo ago
Timestamps are conversation metadata and don't need to be fed to the LLM and require tokens.
12.
by gukoff 1y ago
Draw.io already allows creating editable PNGs and SVGs: it embeds the diagram definition in the image metadata. You can then import this image like you would import any other .drawio diagram The VSCode integration is the cherry on top. All
13.
by gukoff 2y ago
> Prof Penadés' said the tool had in fact done more than successfully replicating his research. > "It's not just that the top hypothesis they provide was the right one," he said. > "It's that they prov
14.
by gukoff 2y ago
That's very impressive - how do you do this? I also see an IDE screen with the debugger in your other article about telegram - presumably also HTML/CSS
15.
by gukoff 2y ago
Thank you, this is very interesting
16.
by gukoff 2y ago
This really depends on the pure strategies that you choose. The initial set of strategies wasn't very diverse and compensated for the binary search "weaknesses" on the ends of the spectrum by sometimes guessing 1 and 98. But
17.
by gukoff 2y ago
Interesting! What about the worst case? And which kinds of strategies did you pick?
18.
by gukoff 2y ago
I don't view the original problem this way, but let's think about it! > the spread on that surely goes over the 0 line. Do you imagine starting with $1 or $1000? :) Let's add a condition that Ballmer has infinite money, we
19.
by gukoff 2y ago
Thanks for spotting it! Exactly right, I fixed the text.
20.
The expected value of the game is positive regardless of Ballmer’s strategy(gukov.dev)
193 points by gukoff 2y ago|160 comments
21.
by gukoff 2y ago
You can actually do well combining different flavors of binary search! I commented a solution on the parent post if you're curious.
22.
by gukoff 2y ago
You forget that the quick guesses bring you more than $1! As the original article says, on average you can win $0.20. But that's indeed the upper bound if we speak of the adversarial number picking.
23.
by gukoff 2y ago
Yes, you can counter the adversarial choices and win at least 7 cents per game :) https://gukov.dev/puzzles/math/2024/09/05/steve-ballmer-was-...
24.
by gukoff 3y ago
He means the last examples about Nintendo.com
25.
by gukoff 3y ago
Can you adjust vector magnitude prior to the normalization? If the max coordinate C is close enough to 0, divide all coordinates by C.
26.
by gukoff 3y ago
From your experience, where does it bring value?
27.
by gukoff 3y ago
What is the idea of "data push"?
28.
by gukoff 3y ago
Exactly. And stretching may lead to the further injuries if your muscles are weak and can't support the safe movement during the full range of motion. Especially if you already have hypermobility. The author should talk to a knowledgea
29.
by gukoff 3y ago
The only habit you need are the regular strength exercises, especially for the stability of the back muscles. Please, please forget about the stretches or "ergonomics" if you don't excersise. It will not help you in the long
30.
by gukoff 3y ago
Mind to share? I'd like to try this out

More ›