Viewing profile — sproutini

Overengineered in my view, what is wrong with `x | f` is `f(x)`? Then `x | f | g` can be read as `g(f(x))` and you're done. I don't see any reason to make it more complicated than …

> If you don't know why set theory is important, it is because set theory is the foundation of all of mathematics. Sorry to burst your bubble, but as far as we know, that isn't tru…

The problem with that statement isn't that some APIs use state but that the reason those APIs need state wasn't documented.

No, not really. A lisp in 99 lines of C would barely be useful. In contrast, Prolog mostly shines where you need reasoning/unification over a database of facts -happens pretty ofte…

The problem with Prolog is that it's based on unification, and small unification engines can be expressed in a few lines in any functional programming language. That narrows down t…

This isn't news to any logician or people working in formal methods. More like a mathematician getting his head around what has been thought about for decades, if not centuries. Al…

I still regret I couldn't get a Barry White text-to-speech for the voiceover.