You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
That's pretty easy to do. I'll post my (propensive/dotty-only) code sample of dimension-checked matrices tomorrow.
The huge challenge, I think, is going to be dealing with interactions between lists of statically-known and statically-unknown length.
Dimension-checked matrices has been my dream ever since wasting days of research effort due to my garbage python code. I didn't need statically-unknown dimensions. But maybe we could have symbolic variables and then maybe use symbolic math? Shell out to sympy?
Yeah, having to encode associativity/commutativity of addition and multiplication in the compiler to ensure (a.size + 5) =:= (5 + a.size)...
At least I guess that's what it would take
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
