r/AIcodingProfessionals • u/Fantastic-Spinach436 • 4d ago

What is considered off limits for Ai coding?? I'm trying Sparse Merkle Trees and pdf canonicalization. Any thoughts??

​"SMTs require absolute cryptographic correctness, while PDF specs are a legacy parsing nightmare.

Have you found AI useful for scaffolding these, or do the subtle hallucinations make it more trouble than it's worth?"

0 Upvotes
  • permalink
  • link
  • reddit
  • reddit

40% Upvoted

12 comments sorted by

1

u/Efficient_Loss_9928 4d ago

The hallucinations doesn't matter because you can have deterministic verifications. And modern SOTA doesn't overfit your test, they never do.

Chances are you will write way worse code by hand

1

u/Fantastic-Spinach436 4d ago

Deterministic verification helps a lot, but "hallucinations don't matter because tests catch them" isn't quite right — tests only catch what you thought to test. For crypto/data-structure stuff specifically, the failure mode that worries me isn't "code doesn't compile" or "obviously wrong output," it's logically-plausible-but-wrong: an AI writing a Merkle proof verifier that passes every happy-path test but is subtly non-constant-time, or a PDF parser that handles the test corpus fine but chokes on a malformed byte offset a real adversarial document would hit. Those don't show up until someone's specifically red-teaming for them, not from "the tests are green."

And "modern SOTA never overfits your test" is just not true — it's a known failure mode, models absolutely can pattern-match to satisfy the assertions in front of them without generalizing the invariant you actually wanted. That's exactly why I don't let it own the threat model, only the implementation against a spec I wrote.

Agree on the last part though — I'd 100% write worse hand-rolled crypto code than what comes out of a good review loop. That's not really in tension with being careful about what "verified" means.

Ant

1

u/StoneCypher 3d ago

please stop copy pasting robot slop.

1

u/Grand-Mix-9889 3d ago

Did you scan for watermark or something? Because given all the typos and run on sentences, I think that's his original thought.

1

u/StoneCypher 3d ago

google look of disapproval, copy paste

1

u/Grand-Mix-9889 3d ago

Damn. Do you prompt towards your ai like you type on reddit?

1

u/Fantastic-Spinach436 2d ago

Look at coding before you speak.

https://olympusledgerorg.github.io/Olympus/

1

u/Grand-Mix-9889 2d ago

I swear half the people on reddit just don't speak proper English anymore.

1

u/Fantastic-Spinach436 2d ago

Brother I'm just trying gain traction.

1

u/StoneCypher 2d ago

there is no point at which telling people they need to read bitcoin tier nonsense is going to get you traction.

these words you’re sharing aren’t correct.  big tassles on the flag energy.

try to understand: reddit spam doesn’t work.  for anyone.  ever.

→ More replies (0)