3 ms·
> F: Real Software. Not all software matters. Any software which wouldn't exist on Mars isn't real. Is it true that mars has neither lambda calculus nor catego
by dustingetz 6y ago
> F: Real Software. Not all software matters. Any software which wouldn't exist on Mars isn't real.
Is it true that mars has neither lambda calculus nor category theory? From what I've read, Urbit is meant to be a boolean – it's either mathematically perfect and succeeds, or it's not and it fails. And it appears it's not perfect. Do I have it right?
- AnimalMuppet 6y agoExcept the idea is wrong. Software can be mathematically imperfect and succeed (hello, Microsoft Windows), and it almost certainly can be mathematically perfect and fail (by being mathematically perfect but not doing anything that anyone cares about).