Machine Learning, Artificial Intelligence, Computer Science. (more…)

The below is mostly a log of my thought process while building out some functionality that I wanted to add into searchcode server. I kept a record of progress and thoughts while doing this in the hopes that I get some sort of useful blog post out of it. I... (more…)

A Recommender System predicts the likelihood that a user would prefer an item. (more…)

The propositions-as-types interpretation states that proofs are programs. How can functional programming help us understand calculus? (more…)

The primary benefit from subscribing to LWN is helping to keep us publishing, but, beyond that, subscribers get immediate access to all site content and access to a number of extra site features. Please sign up today!