Explore >> Select a destination
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
degoes.net
|
|
| | | | | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts | |
| | | | |
wimvanderbauwhede.codeberg.page
|
|
| | | | | Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles. | |
| | | | |
rakhim.org
|
|
| | | | | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations. | |
| | | | |
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... | ||
