banachtarski

98 ms·

1051.
by banachtarski 14y ago
This is a government agency we're talking about. Why is this restriction even surprising?
1052.
by banachtarski 14y ago
Congrats!
1053.
by banachtarski 14y ago
What in legutierr's post suggested he did not know this?
1054.
by banachtarski 14y ago
It's not the same as type theory because the relationships between physical units are actually tied by real mathematical operations. A float and a string do not combine in any sensible way (aside from type-casting, which is entirely differe
1055.
by banachtarski 14y ago
It isn't a mathematical formalism. I have studied books on lambda calculus and all that. A computer scientist's understanding of what "well-defined" means is very different from a mathematician's. It's not to say that it doesn't work, just
1056.
by banachtarski 14y ago
It's possible, because you aren't a mathematician, that you aren't aware of who Terrence Tao is. He is one of the most celebrated mathematicians of our time, and a prolific one at that. His goal is emphatically not to explain what dimensi
1057.
Lessons from 2012 from an engineer(jeremyong.com)
1 points by banachtarski 14y ago|0 comments
1058.
by banachtarski 14y ago
Would love a comparison of this to couchbase which seems to have a similar sharded distributed setup. Congrats on shipping!
1059.
by banachtarski 14y ago
I've hated everything Office for years. Every single piece of software they offer has a much more powerful (and free) open sourced alternative. I don't see any of this crap changing my mind any time soon.