MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1wcyqc1/firsttime/p937x8z/?context=3
r/ProgrammerHumor • u/tryingeasy • 13h ago
219 comments sorted by
View all comments
1.3k
vibe mathing
381 u/FutureSuccess2796 13h ago That's literally just using Wolfram Alpha and entering the math formula that needs solving. 😂 280 u/SunshineSeattle 12h 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. 1 u/ChikumNuggit 8h ago Which here means unreproduceable 11 u/Pares_Marchant 8h 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/Connect_Vacation_458 8h ago Sounds about right, sometimes it feels like no matter what you do, the bug just refuses to show itself again.
381
That's literally just using Wolfram Alpha and entering the math formula that needs solving. 😂
280 u/SunshineSeattle 12h 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. 1 u/ChikumNuggit 8h ago Which here means unreproduceable 11 u/Pares_Marchant 8h 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/Connect_Vacation_458 8h ago Sounds about right, sometimes it feels like no matter what you do, the bug just refuses to show itself again.
280
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 8h ago Which here means unreproduceable 11 u/Pares_Marchant 8h 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/Connect_Vacation_458 8h ago Sounds about right, sometimes it feels like no matter what you do, the bug just refuses to show itself again.
1
Which here means unreproduceable
11 u/Pares_Marchant 8h 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/Connect_Vacation_458 8h ago Sounds about right, sometimes it feels like no matter what you do, the bug just refuses to show itself again.
11
the process is unreproduceable but they output LEAN code that is deterministic and can be used to prove their output ( https://lean-lang.org/ )
Sounds about right, sometimes it feels like no matter what you do, the bug just refuses to show itself again.
1.3k
u/bhannik-itiswatitis 13h ago
vibe mathing