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…

  • Hindley-Milner 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…