MJGrzymek

I was just thinking about how it's an underrated open problem which pairs of (number of variables, degree) are undecidable for MRDP.

Correct me if I'm wrong but I think it's guaranteed to have a finite answer, as a list of the minimal undecidable pairs. You can even throw in maximum absolute value of coefficients, though if you limit all three things that's decidable by being finite.

I get net::ERR_CERT_COMMON_NAME_INVALID on everwilds.io (chrome android)

That's surprising to learn.

I'm surprised those even use actual lean code instead of like raw type theory.

They shouldn't - they never wanted people to solve these math problems on the job, they're using the ability to solve them as a proxy for other abilities, which will likely fall to AI later.

sticking to dfs, there is still a difference between pre-order/in-order/post-order

The (self-posting) author here.

I follow some math professors, so I linked their relevant stuff, but I was surprised how little quality commentary I could find. Please link if I missed something.

Not sure about the implicit behavior. In C++, you can write a lot of code using vector and map that would require manual memory management in C. It's as if the heap wasn't there.

Feels like there is a beneficial property in there.

I don't get it, surely they can build it for less than $3B, and why would they need the Windsurf brand?

I'm a potential user in the wiktionary frontend market cause I'm addicted to checking pronunciations but it seems the support is not great, for example searching "dog" there is no IPA.