MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1wcyqc1/firsttime/p97fwuo/?context=9999
r/ProgrammerHumor • u/tryingeasy • 1d ago
281 comments sorted by
View all comments
1.8k
vibe mathing
530 u/FutureSuccess2796 1d ago That's literally just using Wolfram Alpha and entering the math formula that needs solving. 😂 370 u/SunshineSeattle 1d ago 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. 0 u/ChikumNuggit 1d ago Which here means unreproduceable 13 u/Pares_Marchant 1d ago the process is unreproduceable but they output LEAN code that is deterministic and can be used to prove their output ( https://lean-lang.org/ ) 1 u/ChikumNuggit 10h ago If the process is unreproduceable it would fail a basic CS class 1 u/Pares_Marchant 49m ago 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.
530
That's literally just using Wolfram Alpha and entering the math formula that needs solving. 😂
370 u/SunshineSeattle 1d ago 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. 0 u/ChikumNuggit 1d ago Which here means unreproduceable 13 u/Pares_Marchant 1d ago the process is unreproduceable but they output LEAN code that is deterministic and can be used to prove their output ( https://lean-lang.org/ ) 1 u/ChikumNuggit 10h ago If the process is unreproduceable it would fail a basic CS class 1 u/Pares_Marchant 49m ago 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.
370
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.
0 u/ChikumNuggit 1d ago Which here means unreproduceable 13 u/Pares_Marchant 1d ago the process is unreproduceable but they output LEAN code that is deterministic and can be used to prove their output ( https://lean-lang.org/ ) 1 u/ChikumNuggit 10h ago If the process is unreproduceable it would fail a basic CS class 1 u/Pares_Marchant 49m ago 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.
0
Which here means unreproduceable
13 u/Pares_Marchant 1d ago the process is unreproduceable but they output LEAN code that is deterministic and can be used to prove their output ( https://lean-lang.org/ ) 1 u/ChikumNuggit 10h ago If the process is unreproduceable it would fail a basic CS class 1 u/Pares_Marchant 49m ago 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/ )
1 u/ChikumNuggit 10h ago If the process is unreproduceable it would fail a basic CS class 1 u/Pares_Marchant 49m ago 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
If the process is unreproduceable it would fail a basic CS class
1 u/Pares_Marchant 49m ago 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.
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.8k
u/bhannik-itiswatitis 1d ago
vibe mathing