This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[remote "origin"] | |
fetch = +refs/heads/*:refs/remotes/origin/* | |
url = [email protected]:pelletier/foo.git | |
[remote "production"] | |
fetch = +refs/heads/*:refs/remotes/origin/* | |
url = [email protected]:www/foo/.git |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;;; Idp | |
;;; Identity predicate. Test if all members of the vector are equals. | |
;;; | |
;;; CL-USER> (idp (list 2 3 4 5)) | |
;;; NIL | |
;;; CL-USER> (idp (list 2 2 2 2)) | |
;;; T | |
(defun idp (v) | |
(if (null v) | |
t |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(:section "8.5 Limits of Rule-Based Approaches") | |
"In this section we return to some examples that pose problems." | |
"For the following, we would prefer (2 * (x + y))" | |
((simp '(x + y + y + x)) => (X + (Y + (Y + X)))) | |
"For the following, we would prefer (7 * X) and (Y + (8 * X)), respectively:" | |
((simp '(3 * x + 4 * x)) => ((3 * X) + (4 * X))) | |
((simp '(3 * x + y + x + 4 * x)) => ((3 * X) + (Y + (X + (4 * X)))) ) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(:section "8.5 Limits of Rule-Based Approaches") | |
"In this section we return to some examples that pose problems." | |
"For the following, we would prefer (2 * (x + y))" | |
((simp '(x + y + y + x)) => (X + (Y + (Y + X)))) | |
"For the following, we would prefer (7 * X) and (Y + (8 * X)), respectively:" | |
((simp '(3 * x + 4 * x)) => ((3 * X) + (4 * X))) | |
((simp '(3 * x + y + x + 4 * x)) => ((3 * X) + (Y + (X + (4 * X)))) ) | |
"In chapter 15, we develop a new version of the program that handles this problem." |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(defexamples 8 "Symbolic Mathematics: A Simplification Program" | |
"'Symbolic mathematics' is to numerical mathematics as algebra is to" | |
"arithmetic: it deals with variables and expressions, not just numbers." | |
"This chapter develops a program that simplifies algebraic expressions." | |
"We then show that differentiation and even integration can be seen as" | |
"special cases of 'simplification.' (Note that we replace calls to the" | |
"interactive function SIMPLIFIER with calls to the function SIMP.)" | |
(:section "8.2 Simplification Rules") | |
((requires "macsymar")) | |
((simp '(2 + 2)) => 4 @ 245) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(defexamples 8 "Symbolic Mathematics: A Simplification Program" | |
"'Symbolic mathematics' is to numerical mathematics as algebra is to" | |
"arithmetic: it deals with variables and expressions, not just numbers." | |
"This chapter develops a program that simplifies algebraic expressions." | |
"We then show that differentiation and even integration can be seen as" | |
"special cases of 'simplification.' (Note that we replace calls to the" | |
"interactive function SIMPLIFIER with calls to the function SIMP.)" | |
(:section "8.2 Simplification Rules") | |
((requires "macsymar")) | |
((simp '(2 + 2)) => 4 @ 245) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
import simplejson as json | |
import urllib | |
import httplib | |
import restkit | |
from restkit.resource import Resource | |
# ReadItLater credentials |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
RESULT = drawconvexhull | |
SOURCES = convexhull.ml drawconvexhull.ml | |
LIBS = graphics | |
PACKS = extlib | |
THREADS = true | |
OCAMLLDFLAGS = -cclib "-framework Cocoa" | |
LDFLAGS = -arch x86_64 | |
include OCamlMakefile |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import json | |
import urllib | |
import httplib | |
KEY = "AAA" | |
USER = "BBB" | |
PASS = "CCC" | |
PATH = "/Users/thomas/Library/Application Support/Chromium/Default/Bookmarks" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
" File: scratch.vim | |
" Author: Yegappan Lakshmanan (yegappan AT yahoo DOT com) | |
" Version: 1.1 | |
" Last Modified: April 26, 2011 | |
" Modified By: Thomas Pelletier (thomas AT pelletier DOT im) | |
" | |
" Changes | |
" ------- | |
" Added the ScratchToggle command. | |
" |