Viewing profile — 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 guaran…

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…

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 mi…

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. F…

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

Reading the linked article https://htmx.org/essays/how-did-rest-come-to-mean-the-opposi... , does this mean Next.js is the real REST? I still can't get over how the "API" in "REST …

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 …

You can also see my post on reddit where I answer some questions https://www.reddit.com/r/ProgrammingLanguages/comments/1jfxj...

Hi HN, I made this with the idea that many people are somewhat familiar with TypeScript and first-order logic, so combining them could be a nice introduction to automated theorem p…

Isn't that trivial in a sense? Encrypt with layer 1, then use that encrypted channel to send layer 2 (and so on). Not sure about the performance. Signal has a post about using pre …

This is something I never got through my annual rechecking of the interaction nets wiki page, cause isn't the lambda calculus also fundamentally parallel? Are nets even more?

I got log in page on first click but it went away after closing it and opening again.