maimaiml's comments

maimaiml | 8 years ago | on: Russia threatens to block Telegram

GSM is not secure and OTP via SMS is not secure - this is a vulnerability of many many systems, including banks and Bitcoin vendors. This has nothing to with Telegram's crypto.

maimaiml | 8 years ago | on: Julia Computing Raises $4.6M in Seed Funding

> Maybe it is terrible for you...

It is. I know of the examples you mention (and some of them like planning may not really involve much numerical work) but the fact is that unless you're doing things by scratch (like starting from GEMM), numerical libraries are often badly documented, slow or otherwise incomplete (or a mixture thereof). You can disagree with me, but Tamas Papp who maintained a bunch CL libraries seems to have moved over to Julia entirely.

> As for the "type system being weak",

I meant weak in the sense that it's not very expressive, so as to allow better static type inference. I'm not saying CL should be static for "correctness" reasons, but for removing the user from having to have declarations all over the place.

Let's reify. If I were to create a bunch of matrix classes (matrix-float, matrix-double, ignoring the lack of sugar), CL provides no way to declare a generic method 'mref' to be intelligent enough to know what the output will be, given the input type. Even getting the type in the compiler-macro is implementation dependent. In C++ this is extremely easy with templates, and in Haskell you do it via a type declaration (AFAIK).

Yes, you can get around it via lots of macro magic, but this is so fundamental that you might as well create a new language (like Qi/Shen).

maimaiml | 8 years ago | on: Julia Computing Raises $4.6M in Seed Funding

> (If you need more power and flexibility than Julia with good processing speed, i think only Common Lisp will clearly provide it.)

Common Lisp is terrible for numerical computing, and the type system is really quite weak IMO.

page 1