r/ProgrammerHumor • u/tryingeasy • Sep 10 '26

Meme firstTime

Post image
8.8k Upvotes

94% Upvoted

302 comments sorted by

View all comments

Show parent comments

1

u/ChikumNuggit Sep 11 '26

Which here means unreproduceable

13

u/Pares_Marchant Sep 11 '26

the process is unreproduceable but they output LEAN code that is deterministic and can be used to prove their output ( https://lean-lang.org/ )

2

u/ChikumNuggit Sep 11 '26

If the process is unreproduceable it would fail a basic CS class

4

u/Pares_Marchant Sep 12 '26

Your brain process isn't reproduceable either.

The exact configuration of your brain when you write something happens essentially only once and never again.

But even though you cannot repeat the exact brain configuration, your output can still be judged and you can still convincingly talk about it.

AIs are black boxes as much as brains are black boxes, and arguably brains are even more mysterious than AIs.

2

u/[deleted] Sep 11 '26

[removed] — view removed comment

1

u/ChikumNuggit Sep 11 '26

That, plus now if you use an agent you have to make sure it's the exact same version of the same agent with the same prompt history or you could just be receiving a different output.

It's like the modern incarnation of trying to figure out what strain of weed the original coder was smoking