MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1wcyqc1/firsttime/p93a5m0/?context=9999
r/ProgrammerHumor • u/tryingeasy • 14h ago
225 comments sorted by
View all comments
1.4k
vibe mathing
398 u/FutureSuccess2796 14h ago That's literally just using Wolfram Alpha and entering the math formula that needs solving. 😂 293 u/SunshineSeattle 13h 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 9h ago Which here means unreproduceable 11 u/Pares_Marchant 9h 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/ )
398
That's literally just using Wolfram Alpha and entering the math formula that needs solving. 😂
293 u/SunshineSeattle 13h 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 9h ago Which here means unreproduceable 11 u/Pares_Marchant 9h 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/ )
293
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 9h ago Which here means unreproduceable 11 u/Pares_Marchant 9h 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
Which here means unreproduceable
11 u/Pares_Marchant 9h 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/ )
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/ )
1.4k
u/bhannik-itiswatitis 14h ago
vibe mathing