MJGrzymek

6 ms·

1.
by MJGrzymek 1y ago
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 th
2.
by MJGrzymek 1y ago
I get net::ERR_CERT_COMMON_NAME_INVALID on everwilds.io (chrome android)
3.
by MJGrzymek 1y ago
That's surprising to learn. I'm surprised those even use actual lean code instead of like raw type theory.
4.
by MJGrzymek 1y ago
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.
5.
by MJGrzymek 1y ago
sticking to dfs, there is still a difference between pre-order/in-order/post-order
6.
Reputation Is Lazily Evaluated(lesswrong.com)
2 points by MJGrzymek 1y ago|0 comments
7.
by MJGrzymek 1y ago
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.
8.
Are We AI Math Yet?(areweaimathyet.com)
2 points by MJGrzymek 1y ago|1 comments
9.
by MJGrzymek 1y ago
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.
10.
by MJGrzymek 1y ago
I don't get it, surely they can build it for less than $3B, and why would they need the Windsurf brand?
11.
by MJGrzymek 1y ago
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 API" apparent
12.
by MJGrzymek 1y ago
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.
13.
by MJGrzymek 1y ago
You can also see my post on reddit where I answer some questions https://www.reddit.com/r/ProgrammingLanguages/comments/1jfxj...
14.
Show HN: I made PeanoScript, an educational TypeScript-like theorem prover(peanoscript.mjgrzymek.com)
3 points by MJGrzymek 1y ago|1 comments
15.
by MJGrzymek 2y ago
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 and post-quantum together: https://signal.or
16.
by MJGrzymek 2y ago
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?
17.
by MJGrzymek 2y ago
I got log in page on first click but it went away after closing it and opening again.
18.
Pushing CSS:has() to its limits – highlightable parentheses, variable bindings(blog.mjgrzymek.com)
3 points by MJGrzymek 2y ago|0 comments