Category: computer science

The kernel trick
A support vector machine can find values of such that the hyperplane (i.e. line, but in more dimensions) given by seperates a (linearly seperable) dataset such that all points above the line are in class A and all points below the line are in class B. The key feature of the SVM is that of…

HindleyMilner Type Inference in Rust
I have always found the explanations of type inference in the PL (programming language) literature to be at a very abstract level. This is fine, but I found it much easier to understand the underlying mechanisms by looking at more concrete examples. The basic problem of type inference is this: we don’t want to make…