I hereby claim:
- I am dmgottlieb on github.
- I am dmgottlieb (https://keybase.io/dmgottlieb) on keybase.
- I have a public key ASAQ5YUzJbu76KPin902Glek_CL2ZtL6DFNSCGNUHg7RYAo
To claim this, I am signing this object:
function Str(el) | |
-- convert inline wikilinks to html links | |
if el.text:match("%[%[.-%]%]") then | |
local dest_file = el.text:match("%[%[(.-)%]%]") | |
return pandoc.Link(el.text, dest_file .. ".html") | |
end | |
return el | |
end |
I hereby claim:
To claim this, I am signing this object:
{"nodes": [{"group": 2, "name": "alexander-aphrodisias"}, {"group": 2, "name": "aquinas"}, {"group": 2, "name": "aristotle"}, {"group": 2, "name": "augustine"}, {"group": 0, "name": "berkeley"}, {"group": 2, "name": "boethius"}, {"group": 5, "name": "brouwer"}, {"group": 2, "name": "buridan"}, {"group": 3, "name": "cognitive-science"}, {"group": 7, "name": "communitarianism"}, {"group": 3, "name": "compatibilism"}, {"group": 3, "name": "consciousness-intentionality"}, {"group": 3, "name": "consciousness-representational"}, {"group": 3, "name": "consciousness"}, {"group": 7, "name": "consequentialism"}, {"group": 3, "name": "content-causal"}, {"group": 3, "name": "content-externalism"}, {"group": 3, "name": "content-narrow"}, {"group": 7, "name": "democracy"}, {"group": 0, "name": "descartes"}, {"group": 5, "name": "descriptions"}, {"group": 3, "name": "determinism-causal"}, {"group": 3, "name": "dualism"}, {"group": 2, "name": "duns-scotus"}, {"group": 7, "name": "egalitarianism"}, {"group": 1, "name": "epist |
{"nodes": [{"group": 1, "name": "abduction"}, {"group": 2, "name": "abelard"}, {"group": 5, "name": "abstract-objects"}, {"group": 3, "name": "action"}, {"group": 5, "name": "actualism"}, {"group": 1, "name": "adaptationism"}, {"group": 0, "name": "adorno"}, {"group": 0, "name": "aesthetics-18th-german"}, {"group": 7, "name": "affirmative-action"}, {"group": 2, "name": "al-kindi"}, {"group": 2, "name": "albert-great"}, {"group": 2, "name": "alexander-aphrodisias"}, {"group": 2, "name": "alyngton"}, {"group": 2, "name": "analogy-medieval"}, {"group": 5, "name": "analysis"}, {"group": 5, "name": "analytic-synthetic"}, {"group": 2, "name": "ancient-soul"}, {"group": 2, "name": "anselm"}, {"group": 5, "name": "apriori"}, {"group": 2, "name": "aquinas"}, {"group": 2, "name": "arabic-islamic-greek"}, {"group": 2, "name": "arabic-islamic-natural"}, {"group": 2, "name": "aristotle-commentators"}, {"group": 5, "name": "aristotle-logic"}, {"group": 5, "name": "aristotle-metaphysics"}, {"group": 5, "name": "aristotle-no |
# SEPScraper.py | |
# Dave Gottlieb | |
# | |
# Scrapes article text from 2016 Spring stable edition of SEP. | |
from lxml import html | |
import requests | |
import re | |
URLstem = "http://plato.stanford.edu/archives/spr2016/" |
# theano_pong_rnn.py | |
# Dave Gottlieb ([email protected]) 2016 | |
# | |
# Pong RNN model reimplemented more correctly + flexibly directly in Theano | |
from theano import * | |
import theano.tensor as T | |
import numpy as np | |
class PongRNNModel(object): |
from theano import * | |
import theano.tensor as T | |
Q = T.tensor4('Q') | |
W_CONV1 = shared(np.random.randn(8,1,3,3) * (1.0/6),name='W_CONV1') | |
b_CONV1 = shared(np.zeros(8),name='b_CONV1') | |
W_CONV2 = shared(np.random.randn(16,8,3,3) * 0.04,name='W_CONV2') | |
b_CONV2 = shared(np.zeros(16),name='b_CONV2') | |
W_FC = shared(np.random.randn(16*32*32,1) * .008,name='W_FC') | |
b_FC = shared(np.zeros(1),name='b_FC') |
# numpy_pong.py | |
# Dave Gottlieb 2016 ([email protected]) | |
# ===== | |
# | |
# small numpy implementation of Pong for programmatic interaction | |
# | |
# matplotlib is used for live visualization (in __main__) | |
# | |
# game can be started with a seed to get deterministic outcomes |
#!/bin/sh | |
branch=$(git rev-parse --abbrev-ref HEAD $1) | |
date=""`date +%d`" "`date +%B`", "`date +%Y` | |
githash="git rev-parse --short HEAD" | |
echo "Build $githash of $date" > buildinfo | |
if [ "test" == "$branch" ]; then |
import Data.List | |
import Data.Ord | |
-- Tower of Hanoi implementation | |
type Peg = String | |
type Move = (Peg, Peg) | |
hanoi :: Integer -> Peg -> Peg -> Peg -> [Move] | |
hanoi 0 a b c = [ ] | |
hanoi n a b c = hanoi (n-1) a c b ++ [(a,b)] ++ hanoi (n-1) c b a |