Skip to content

Instantly share code, notes, and snippets.

Avatar
🍕
Helping companies market and sell more software

Michael Bernstein mrb

🍕
Helping companies market and sell more software
View GitHub Profile
View gist:343b4c40125d5d0fb1c6
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
mrb / bibliography.markdown
Last active Aug 29, 2015
mrb's "Propositions as Types" Papers We Love talk bibliogrpahy
View bibliography.markdown
@mrb
mrb / abstint.md
Last active Oct 4, 2020
"Programs that eat programs" Works cited/bibliography
View abstint.md
View headers.h
#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
mrb / Tiger.idr
Created Oct 24, 2014
A little straight line program interpreter I implemented from the "modern compiler implementation in ML" book by Appel
View Tiger.idr
module Main
import Control.Monad.Writer
Id : Type
Id = String
data Binop = Plus | Minus | Times
mutual
View erwig.idr
module Graph
%default total
Node : Type
Node = Nat
Adj : Type -> Type
Adj a = List (a, Node)
View erwig.idr
module Graph
%default total
%access public
Node : Type
Node = Nat
Adj : Type -> Type
Adj a = List (a, Node)
View minsv.clj
(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)
@mrb
mrb / chords.clj
Last active Aug 29, 2015
core.logic db chords exercise
View chords.clj
(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)
You can’t perform that action at this time.