Explore >> Select a destination
|
You are here 
|
k-monk.org | ||
| | | | |
blog.tst.sh
|
|
| | | | | A little while ago I stumbled upon a golf challenge where you had to do run length encoding (RLE) on an arbitrary string, for example given the input string: 10+[>+>3+>7+>10+4<-]3>2+.>+.7+2.3+.2<2+.>15+.>.3+.6-.8-.2<+.<. it must be converted to: ++++++++++[>+>+++>+++++++>++++++++++<<<<-]>>>++.>+.+++++++..+++.<<++.>+++++++++++++++.>.+++.------. | |
| | | | |
boxbase.org
|
|
| | | | | These ideas and thoughts have converged towards type theory, and I remembered familiar patterns so I did a closer study at the Hindley-Milner, to understand it much better than before. | |
| | | | |
slightknack.dev
|
|
| | | | | A cozy little corner of the web. | |
| | | | |
nhigham.com
|
|
| | | A Householder matrix is an $latex n\times n$ orthogonal matrix of the form $latex \notag P = I - \displaystyle\frac{2}{v^Tv} vv^T, \qquad 0 \ne v \in\mathbb{R}^n. $ It is easily verified that $LATEX P$ is orthogonal ($LATEX P^TP = I$), symmetric ($LATEX P^T = P$), involutory ($LATEX P^2 = I$ that is, $LATEX P$ is... | ||
