mrb

I’d like to introduce you to a few of my closest friends

Michael R. Bernstein

CUSEC, Montreal, QC, 15 Jan 2016

Hello, and thank you for having me - I'm honored to deliver a keynote speech to this group of wonderful people for a few specific reasons.

Firstly, I used to be a teacher, and I miss being around students. Your energy and intelligence never cease to amaze me. Thanks for all of the great conversations I've had with organizers, attendees and fellow speakers so far this weekend - I'm looking forward to a lot more.

Secondly, I'm used to speaking on very specific topics to a room full of industry professionals or seasoned Academics, some of whom have heard it all before, know everything, and yet still continue to attend conferences! It boggles the mind. In this case, I get to address a group of students about a topic entirely of my own choosing! Though you probably still think you know everything if college-aged me is any indication.

mrb

Michaels-MBP:requiresafe-demo mrb$ ~/Projects/requiresafe/bin/requiresafe check 
Name    Installed  Patched  Location       Advisory Details
marked      0.3.3        x  demo > marked  https://portal.requiresafe.com/advisories/marked_redos https://portal.requiresafe.com/advisories/marked_redos https://portal.requiresafe.com/advisories/marked_redos

Michaels-MBP:requiresafe-demo mrb$ ~/Projects/requiresafe/bin/requiresafe check --codeclimate
{"type":"issue","check_name":"vulnerable module \"marked@0.3.3\"identified","description":"marked regular expression denial of service","categories":["Security"],"location":{"path":"npm-shrinkwrap.json","lines":{"begin":0,"end":0}}}
{"type":"issue","check_name":"vulnerable module \"marked@0.3.3\"identified","description":"marked regular expression denial of service","categories":["Security"],"location":{"path":"npm-shrinkwrap.json","lines":{"begin":0,"end":0}}}

mrb

• S. Kleene. Origins of recursive function theory. Annals of the History of Computing, 3(1):52–67, 1981.
• Philip Wadler, "Propositions as Types" [PDF]
• Philip Wadler's historical papers and talks bibliography

mrb

• Abramsky and Jung "Domain Theory" http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf
• Appel, Andrew "Modern Compiler Implementation in ML"
• Cousot, Patrick "Abstract Interpretation Based Formal Methods and Future Challenges" http://www.di.ens.fr/~cousot/publications.www/Cousot-LNCS2000-sv-sb.pdf
• Darais, Might, and Van Horn "Galois Transformers and Modular Abstract Interpreters" http://arxiv.org/pdf/1411.3962v1.pdf
• Davey and Priestley, "Introduction To Lattices and Order"
• Friedman and Mendhekar, "Using an Abstracted Interpreter to Understand Abstract Interpretation" http://www.cs.indiana.*du/l/www/classes/b621/abiall.pdf
• Friedman and Wand, "Essentials of Programming Languages"
• Jones and Nielson, "Abstract Interpretation: a Semantics-Based Tool for Program Analysis" http://se.inf.ethz.ch/courses/2014b_fall/sv/reading/jones-nielson.pdf
• Livshits, Sridharan, Smaragdakis, et. al. "In Defense of Soundiness: A Manifesto" http://cgi.di.uoa.gr/~smaragd/Soundiness-CACM.pdf
• Might, Matt "Writing an inte

mrb

SHUT THE FUCK UP

mrb

#include <Carbon.h>
#include <math.h>
#include <stdio.h>
#include "glut.h"
#include "imageTextureColor.h"
#include <time.h>    // For our FPS stats.
#include <iostream>
#include <iomanip>
#include <fstream>
#include "portaudio.h"

mrb

module Main
 
import Control.Monad.Writer
 
Id : Type
Id = String
 
data Binop = Plus | Minus | Times
 
mutual

mrb

module Graph

%default total

Node : Type
Node = Nat

Adj : Type -> Type
Adj a = List (a, Node)

mrb

module Graph

%default total
%access public

Node : Type
Node = Nat

Adj : Type -> Type
Adj a = List (a, Node)

mrb

(ns chords.core
  (:refer-clojure :exclude [==])
  (:require [clojure.core.logic :refer :all]
            [clojure.core.logic.fd :as fd]
            [clojure.core.logic.pldb :as pldb]
            [fipp.edn :refer (pprint) :rename {pprint fipp}]))

(pldb/db-rel note-name ^:index p)
(pldb/db-rel octave ^:index p)
(pldb/db-rel note ^:index p1 ^:index p2)