Hacker News: MJGrzymek

New comment by MJGrzymek in "A Formal Proof of Complexity Bounds on Diophantine Equations"

MJGrzymek — Sat, 24 May 2025 05:31:45 +0000

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.

New comment by MJGrzymek in "Show HN: MMORPG prototype inspired by World of Warcraft"

MJGrzymek — Mon, 12 May 2025 17:39:31 +0000

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

New comment by MJGrzymek in "DeepSeek-Prover-V2"

MJGrzymek — Thu, 01 May 2025 01:25:01 +0000

That's surprising to learn.

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

New comment by MJGrzymek in "Ask HN: Will employers care less about math contests as AI gets better at them?"

MJGrzymek — Tue, 29 Apr 2025 15:01:13 +0000

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.

New comment by MJGrzymek in "Programming languages should have a tree traversal primitive"

MJGrzymek — Tue, 29 Apr 2025 12:33:18 +0000

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

Reputation Is Lazily Evaluated

MJGrzymek — Sat, 26 Apr 2025 04:42:09 +0000

Article URL: https://www.lesswrong.com/posts/EQJfdqSaMcJyR5k73/habryka-s-shortform-feed?commentId=rzB5wieXwqqtZ4piw

Comments URL: https://news.ycombinator.com/item?id=43800995

Points: 2

# Comments: 0

New comment by MJGrzymek in "Are We AI Math Yet?"

MJGrzymek — Sat, 26 Apr 2025 02:37:26 +0000

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.

Are We AI Math Yet?

MJGrzymek — Sat, 26 Apr 2025 02:34:35 +0000

Article URL: https://www.areweaimathyet.com/

Comments URL: https://news.ycombinator.com/item?id=43800419

Points: 2

# Comments: 1

New comment by MJGrzymek in "Four Years of Jai (2024)"

MJGrzymek — Fri, 18 Apr 2025 16:30:10 +0000

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.

New comment by MJGrzymek in "OpenAI in Talks to Buy Windsurf for About $3B"

MJGrzymek — Wed, 16 Apr 2025 19:14:51 +0000

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

New comment by MJGrzymek in "JSX over the Wire"

MJGrzymek — Wed, 16 Apr 2025 12:33:55 +0000

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" apparently originally meant "a website".

New comment by MJGrzymek in "Show HN: I made a faster, mobile-friendly interface for Wiktionary"

MJGrzymek — Sat, 12 Apr 2025 14:25:45 +0000

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.

New comment by MJGrzymek in "Show HN: I made PeanoScript, an educational TypeScript-like theorem prover"

MJGrzymek — Sat, 22 Mar 2025 19:49:06 +0000

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

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover

MJGrzymek — Sat, 22 Mar 2025 14:15:57 +0000

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 proving. My CS freshman logic class woefully lacked an interactive code environment

It's completely web-based so you can go ahead and try the interactive tutorial https://peanoscript.mjgrzymek.com/tutorial . Everything is explained on its own terms, so it should be readable if you just know programming.

If you already know this kind of stuff and want a tldr, there is also a reference https://peanoscript.mjgrzymek.com/reference and playground https://peanoscript.mjgrzymek.com/playground

The code is out on GitHub https://github.com/mjgrzymek/PeanoScript

Have fun!

Comments URL: https://news.ycombinator.com/item?id=43445747

Points: 3

# Comments: 1

New comment by MJGrzymek in "NIST selects HQC as fifth algorithm for post-quantum encryption"

MJGrzymek — Tue, 11 Mar 2025 18:51:41 +0000

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.org/blog/pqxdh/

> The essence of our protocol upgrade from X3DH to PQXDH is to compute a shared secret, data known only to the parties involved in a private communication session, using both the elliptic curve key agreement protocol X25519 and the post-quantum key encapsulation mechanism CRYSTALS-Kyber. We then combine these two shared secrets together so that any attacker must break both X25519 and CRYSTALS-Kyber to compute the same shared secret.

New comment by MJGrzymek in "Vine: A programming language based on Interaction Nets"

MJGrzymek — Sun, 23 Feb 2025 01:52:27 +0000

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?

New comment by MJGrzymek in "Parsing JSON in 500 lines of Rust"

MJGrzymek — Wed, 19 Feb 2025 14:10:24 +0000

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

Pushing CSS:has() to its limits – highlightable parentheses, variable bindings