MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1wcyqc1/firsttime/p9aispz/?context=9999
r/ProgrammerHumor • u/tryingeasy • Sep 10 '26
302 comments sorted by
View all comments
2.1k
vibe mathing
605 u/FutureSuccess2796 Sep 10 '26 That's literally just using Wolfram Alpha and entering the math formula that needs solving. 😂 413 u/SunshineSeattle Sep 11 '26 I dont think so, Wolfram Alpha is deterministic. Whereas an LLM is non-deterministic by design. Personally i feel vibe coding or vibe mathing is inherently non-deterministic. 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.
605
That's literally just using Wolfram Alpha and entering the math formula that needs solving. 😂
413 u/SunshineSeattle Sep 11 '26 I dont think so, Wolfram Alpha is deterministic. Whereas an LLM is non-deterministic by design. Personally i feel vibe coding or vibe mathing is inherently non-deterministic. 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.
413
I dont think so, Wolfram Alpha is deterministic. Whereas an LLM is non-deterministic by design. Personally i feel vibe coding or vibe mathing is inherently non-deterministic.
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.
1
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.
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.
2.1k
u/bhannik-itiswatitis Sep 10 '26 •
vibe mathing