咕粥
Verified account This account is verified. Learn more@guzhou0806
18 Year Old Student
Rhythm Games and more
Learning…
Rhythm Games and more
Learning…
104 Following 47 Followers 180 Posts
Latest posts 5
喂...！
《我不是Token神》——纯享版
“官方的会员我充了三年，房子充没了，车也没了”
“现在好不容易有了菲区的号，你非说他是假号”
“20倍的套餐才卖1250，代充的人根本没赚钱”
“你能保证家里人永远不缺Token吗？”View quoted post on X
Next time you need to fit 17 square cookies into a square bag, here's how to do it!
Just three weeks after Marc Leonard Overbeck (@kleddamag) threw himself into this problem, he proved that John Bidwell's 1998 packing really is globally optimal. The speed of progress is almost unbelievable.
Having talked with him personally, so that I know how many long, exhausting days he's spent in front of his computer working on this.
I'm genuinely happy to see all that hard work finally pay off, and to celebrate this moment with everyone involved!
Just three weeks after Marc Leonard Overbeck (@kleddamag) threw himself into this problem, he proved that John Bidwell's 1998 packing really is globally optimal. The speed of progress is almost unbelievable.
Having talked with him personally, so that I know how many long, exhausting days he's spent in front of his computer working on this.
I'm genuinely happy to see all that hard work finally pay off, and to celebrate this moment with everyone involved!
A proof candidate for 17 squares: the 1998 packing cannot be beaten. s(17) = 4.67553009…
Built with @OpenAI Codex and @AnthropicAI Claude. Thanks to @ojoshe, @_Mira___Mira_, @guzhou0806 and @ManassehA06, whose work this builds on.
Try to break it: github.com/Kleddamag/the-…View quoted post on X
昨晚深夜和朋友 @Kleddamag 打了两个小时电话，从我们一起在做的 Square Packing 学术项目，到生活里的各种事情，聊得非常开心呀。
但是尤其是涉及到更专业的内容，其实就感到相当吃力；想到平时在Square Packing讨论群内，读他们的消息准确理解，对我来说其实真的相当吃力，所以时不时需要寻求AI的帮助
我希望有一天真的能把英语当作工作语言，自如地参与讨论，而不再被语言能力限制。
看来还有很长的路要走呀……
粥小弟要加油啊！
Late last night, I had a two-hour call with my friend Kleddamag. We talked about everything from the Square Packing project we're working on together to life in general, and it was such a lovely chat!
But I also realized just how much I still struggle with the more technical parts of our conversations. Even just keeping up with the discussions in our Square Packing group chat and making sure I understand everything correctly can be quite a challenge for me, so I still turn to AI for help every now and then.
Still, I guess my English isn't doing too badly as a second language. I mean, I managed to chat entirely in English for two hours straight, and that's a little milestone for me.But it's not quite enough yet. I really wanna get to the point where I can use English as a working language without constantly feeling held back by the language itself.
Still a long way to go...
You got this,zhou
但是尤其是涉及到更专业的内容，其实就感到相当吃力；想到平时在Square Packing讨论群内，读他们的消息准确理解，对我来说其实真的相当吃力，所以时不时需要寻求AI的帮助
我希望有一天真的能把英语当作工作语言，自如地参与讨论，而不再被语言能力限制。
看来还有很长的路要走呀……
粥小弟要加油啊！
Late last night, I had a two-hour call with my friend Kleddamag. We talked about everything from the Square Packing project we're working on together to life in general, and it was such a lovely chat!
But I also realized just how much I still struggle with the more technical parts of our conversations. Even just keeping up with the discussions in our Square Packing group chat and making sure I understand everything correctly can be quite a challenge for me, so I still turn to AI for help every now and then.
Still, I guess my English isn't doing too badly as a second language. I mean, I managed to chat entirely in English for two hours straight, and that's a little milestone for me.But it's not quite enough yet. I really wanna get to the point where I can use English as a working language without constantly feeling held back by the language itself.
Still a long way to go...
You got this,zhou
