atduskgreg

Interactive Machine Learning

Taught by Brad Knox at the MIT Media Lab in 2014. Course website. Lecture and visiting speaker notes.

• Power to the People: The Role of Humans in Interactive Machine Learning by Knox, Cakmak, Kulesza, Amershi, and Lau
• A Few Useful Things to Know about Machine Learning by Domingos
• Machine Learning that Matters by Wagstaff
• Beyond Concise and Colorful: Learning Intelligible Rules by Pazzani et al.
• [Designing Games with a Purpose] (https://www.cs.cmu.edu/~biglou/GWAP_CACM.pdf) by von Ahn and Dabbish
• [Human Model Evaluation in Interactive Supervised

bishboria

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

1stvamp

#!/bin/bash
mkdir /tmp/curl-ca-bundle
cd /tmp/curl-ca-bundle
wget http://curl.haxx.se/download/curl-7.22.0.tar.bz2
tar xzf curl-7.22.0.tar.bz2
cd curl-7.22.0/lib/
./mk-ca-bundle.pl
if [ ! -d /usr/share/curl/ ]; then
	sudo mkdir -p /usr/share/curl/
else

smanek

(defvar *earth-radius* (the fixnum 6371))

(defun degree-to-radian (deg)
  (declare (type single-float deg)
	   (optimize (speed 3) (safety 0) (debug 0)))
  (the single-float (* deg (/ (coerce pi 'single-float) 180))))

(defun distance (lata lnga latb lngb)
  (declare (type single-float lata lnga latb lngb)
	   (optimize (speed 3) (safety 0) (debug 0)))

smanek

(defvar *earth-radius* 6371)

(defun degree-to-radian (deg)
  (* deg (/ pi 180)))

(defun distance (lata lnga latb lngb)
  (let* ((lata-r (degree-to-radian lata))
	 (lnga-r (degree-to-radian lnga))
	 (latb-r (degree-to-radian latb))
	 (lngb-r (degree-to-radian lngb))