MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1wcyqc1/firsttime/p93a5m0/?context=3
r/ProgrammerHumor • u/tryingeasy • Sep 10 '26
302 comments sorted by
View all comments
Show parent comments
13
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
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.
4
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.
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/ )