k2xl

I'm still a fan of Terence Tao, I'm really sad to witness what appears to be the 5 stages of grief.

Result 003 (Quasi-Riemann Hypothesis), from my reading of mathematicians reactions, is a landmark discovery.

Can someone knowledgeable about the subject outline the most significant portions of the results?

The Problems of the Future... Today!

Lots of fond memories of this website. I have many flash games and animations still on there. My favorite period of the internet.

Per their market cap...

3.85 billion is actually closer to a "penny" for Microsoft.

Question (serious) - Why teach kids programming anymore?

I’m sympathetic to the concern, but I’m still unclear on what the concrete ask is.

If the worry is that AI companies are turning open problems into benchmarks and potentially “using up” fertile mathematical problems before humans can develop the ideas around them, what exactly should the companies do differently? Also why does discovering the answers preclude humans developing ideas from them? I don't get why solving a math problem stops anyone from doing that?

Should they (AI companies) avoid training or evaluating models on open problems? Solve them but not publish the results? Delay publication? Only release proofs after mathematicians have had time to study them? Require some attribution or review process?

The statement makes a strong case that “maximize the number of solved problems” may be the wrong objective, but it seems much less clear about what behavior they actually want from OpenAI, Anthropic, DeepMind, etc.

I’d be interested in the most concrete version of the proposal. Without that, it starts to read a little like: "Please stop getting so good at our thing!"

LOL. So here is the truth: I named it because my oldest son was really into the “67” meme. I was trying to come up with a domain name, everything decent seemed taken, and chess67.com was available.

I figured it would just be a temporary name until I came up with something better.

Then it stuck. I will say it has been easy for my customers to remember the name!

(Disclaimer, I’m the founder of chess67.com)

There is a very tangible benefit to people playing in chess that has nothing to do with the game itself. One example is for kids - I think kids playing chess (particularly over the board) learn quite a lot from the game. For example, etiquette (being respectful to your opponent), patience, logic, etc… but one of the best things they learn is how to lose. In chess you lose a lot. Asymptotically vast majority of players will lose approximately 50% of their games. Learning how to lose (respectfully), learn from your mistakes, then overcome them is really great process to learn. Doing this in real life rather than over the screen is also completely different.

Combine that with the game being fun and the social aspects (meeting new people, making friends)… chess very much transfers to real life in my view

How much data is loaded here?

I wonder how this would do with Thinky.gg games (Pathology or Sokopath). Are you familiar with the site? There's a group of engineers working on various types of solvers in the thinky.gg discord too.

I don't think that's a fair comparison. Regulatory teams exist to make sure companies comply with actual laws and regulations. There's a relatively objective standard they're enforcing.

Big tech has the same thing in its legal and compliance teams, and those teams absolutely can kill projects. That's pretty different from an amorphous "ethics" committee deciding what is or isn't ethical based on much more subjective criteria.

100M investment from Coursera? Isn't Andrew Ng a cofounder and still chairman?

Chess67.com - Website for real life OTB chess clubs, events and tournaments.

When is it rolling out? Currently on ChatGPT Pro but not seeing it yet?

Would be cool if these could animate/interpolate to their next position

"You Can't Miss It" https://k2xl.substack.com/p/you-cant-miss-it

Fun but should have difficulty levels!

Why did you decide to write this book?

I’m honestly surprised Apple didn’t retire the Siri brand.

At this point, “Siri” has a pretty strong cultural association with being underwhelming or unhelpful. Even if the new version is dramatically better, convincing people to give Siri another shot may be harder than launching the same technology under a new name.

Feels like a missed opportunity to reset expectations.

I would assume that the outcome probability of people selling other companies to buy Anthropic/SpaceX/OpenAI has been priced in already.

I do imagine they get an insane amount of reports, i guess they haven’t figured out how to filter through them all

it's confusing that ultracode is not enabled on the desktop though - or at least it isn't clear how to enable