2 ms·
I know a Pons Asinorum that kinda was mind-blowing to me. It uses topology connection to define an unexpected function. "Infinite search in finite time" https:
by valyagolev 3y ago
I know a Pons Asinorum that kinda was mind-blowing to me. It uses topology connection to define an unexpected function.
"Infinite search in finite time"
https://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/ https://math.andrej.com/2007/09/28/seemingly-impossible-func...
https://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/ https://math.andrej.com/2008/11/21/a-haskell-monad-for-infin...