157 karma · joined May 11, 2015
SA/RR are global optimization methods which come with very little (if any?) complexity guarantees.
It appears that tusks from African elephants are more valued in China than those from S/S.E Asia. Does anyone know why this is ?
I was looking at, https://github.com/uncomplicate/neanderthal/blob/master/src/...
If you want to take a look at it, the AutoGemm generator seems to be a simple python script written in order to overcome the limitations of the C preprocessor. I was considering using its tiling structure, since I already have a Lisp->OpenCL compiler in place (and have had no luck beating it). See, for instance,
https://github.com/matlisp/matlisp-opencl/blob/master/tests/...
https://github.com/matlisp/matlisp-opencl/blob/master/src/te...
I was considering using a polyhedral compiler macro (like PPCG), for writing OpenCL kernels in matlisp, but it's not clear how optimal this would be.
As an aside, I've always found the way in which East Asian Buddhists held firm against cultural invaders, extremely inspiring. In India, there seems to be little other than memories of conspiring with the colonizers for profit.
sAkyamuni himself did, and many sAdhus today go to great trouble to become "asaktaH" (non-attached). It's said that former recognized the errors in this path, gave up on this course, and attained nirvana the subsequent day. Unless this is modern propaganda, I imagine Kobo Daishi was aware of it too.
India too has not suffered a loss of creatures who file PILs at the slightest deviation from the fashionable.
(note: Jainism is a traditionally recognised nAstika school, one that's not grounded in the vedAni. By this definition, Buddhism too is Hinduism - the demarcation only became rigid in the past ~200 years.).
Sigh.
KF is essentially solving a QP with equality constraints (Boyd's course is a good place for details), which can be solved exactly with a single decomposition of the KKT system - picking an ordering is all that matters for complexity.
This is essentially the principle on which all of Sparse Linear algebra and Graphical models work. There is nothing special about the structure of KF, nor in LQR, nor in their non-linear generalizations.
One can symbolically unroll Schur complements multiple times to make block-LU appear opaque and sophisticated, but it really is not (this of course is not to say this is done deliberately). KF can also derived from the Bayes' network model, but extending this to non-linear forms like EKF, and to things which are not first-order becomes rather troublesome (or impossible).
I'd have appreciated a post asking for details rather than infantile derision.
P.S: Maxima actually uses a list-of-lists to represent a matrix.
Which I exactly why I feel Lisp doesn't see much use elsewhere :(
The author obviously hasn't had an awesome cup of Filter Kaapi :)