huck

こんにちは

@nikitabier @Andr3jH thank you for saving america nikita

@Andr3jH How did you know the Poles were next?

"Their faith has grown too much now. Release the schizo Polish posts."

@barstoolsports what a buzz kill

The Iowa/Illinois game is delayed because the horn won’t stop going off Only in March

@justalexoki im learning to speak it

translated Japanese is a beautiful language

@justalexoki these two cultures are so compatible because japanese people have no ego and it makes americans feel safe

at this point im liking the japanese posts before i even hit the translate button

@DanielW_Kiwi is it one word or no spaces

New Zealand fact: The hill Taumatawhakatangihangakoauauotamateaturipukakapikimaungahoronukupokaiwhenuakitanatahu in Hawke’s Bay holds the world record for the longest place name.

@justalexoki diligently deduce decuctibles decisively

anything you post about is deductible btw

@FlorinPop17 pop it

First time ever seeing 6 digits on this platform. Let’s go! 🤩

@DanielW_Kiwi theyre busy penetrating x

I thought Japan had a collapsing population due to low penetration rates?

@justalexoki can i get a hoody

foreskin merch it is

@OscarSykes7 think about the ocean nearly zero percent urban

New Zealand is even more crazy, the urban land area is only 1% of the country

@Biomaven @BoWang87 great point and word choice

@BoWang87 There was a short interregnum when GMs aided by computers were the strongest chess players in the world. Didn't last long.

Three weeks ago I shared that Claude had shocked Prof. Donald Knuth by finding an odd-m construction for his open Hamiltonian decomposition problem in about an hour of guided exploration. Prof. Knuth titled the paper Claude’s Cycles. The story didn't end there. The updated paper shows the story got much bigger. For the base case m=3, there are exactly 11,502 Hamiltonian cycles. Of those, 996 generalize to all odd-m, and Prof. Knuth shows there are exactly 760 valid “Claude-like” decompositions in that family. The even case, which Claude couldn’t finish, was then cracked by Dr. Ho Boon Suan using GPT-5.4 Pro to produce a 14-page proof for all even m≥8, with computational checks up to m=2000. Soon after, Dr. Keston Aquino-Michaels used GPT + Claude together to find simpler constructions for both odd and even m, by using the multi-agent workflow. Dr. Kim Morrison also formalized Knuth’s proof of Claude’s odd-case construction in Lean. So yes: the problem now appears fully resolved in the updated paper’s ecosystem of human + AI + proof assistant work! We went from one AI solving one problem to a full mathematical ecosystem (multiple AI systems, multiple humans, formal verification) running in parallel on a problem that stumped experts for weeks. We are living in very interesting times indeed. Paper (updated): www-cs-faculty.stanford.edu/~knuth/papers/…

@basedanarki @nikitabier true

@nikitabier been loving the japan posts ngl

If you’re seeing a bunch of Japanese posts, here are some fun facts: Japan has more daily active users and more time spent on X than any other country in the world. Over two thirds of the country is monthly active on X. X in Japan has one of the highest penetration rates of any social network in history.

@nikitabier holy shit yes all i see now is japanese people loving american food culture lmao

i was left with a nice idea and a broken cli

@signulll true if you initiate then its initated plus requested which is too much hang time better to let the requests trickle in and get a nice hang cost average

my toxic trait is that i rarely if ever initiate an irl hang with anyone but if anyone asks me i’m almost always down.

@barstoolsports sick

Father/son assists: LeBron/Bronny: 1 Michael/Marcus Jordan: 0

the only way to start is to get started

if you were an eagle where would you land