Skip to content

Instantly share code, notes, and snippets.

View robertpfeiffer's full-sized avatar

robertpfeiffer

54 followers · 81 following
View GitHub Profile
@robertpfeiffer
robertpfeiffer / gist:855520
Created March 4, 2011 19:19
[ 30%] Building CXX object CMakeFiles/Towerdefense.dir/src/hud.cpp.o
In file included from /usr/include/c++/4.4/bits/localefwd.h:43,
from /usr/include/c++/4.4/string:45,
from /usr/local/include/osg/Object:21,
from /usr/local/include/osg/Node:18,
from /usr/local/include/osg/Group:17,
from /usr/local/include/osg/Transform:17,
from /usr/local/include/osg/Camera:17,
from /home/rincewind/realistictowerdefense/include/hud.h:2,
from /home/rincewind/realistictowerdefense/src/hud.cpp:1:
@robertpfeiffer
robertpfeiffer / gist:597170
Created September 25, 2010 19:07
(net.cgrand.enlive-html/html-snippet
"<html><head></head>
<body>
<span itemprop='geo' itemscope
itemtype='http://data-vocabulary.org/Geo'>
<meta itemprop='latitude' content='45.499576' />
<meta itemprop='longitude' content='-73.565958' />
</span>
</body>
</html>")
@robertpfeiffer
robertpfeiffer / zipper_b.fs
Created July 28, 2010 12:37
let rec iterate fn prop start =
if prop start then start
else iterate fn prop (fn start)
let rec next node =
if is_left node then node |> right |> up |> firstChild
else node |> iterate up is_left |> next
let rec delete n off node =
let newnode = node |> toString |> boundedsubstring n off |> fromString
@robertpfeiffer
robertpfeiffer / map.sh
Created July 26, 2010 11:26
map() {
while read line ; do
$1 "$line";
done;
}
@robertpfeiffer
robertpfeiffer / primrec.hs
Created July 19, 2010 11:39
primrec :: (a -> b) -> (a -> Int -> b -> b) -> (a -> Int -> b)
@robertpfeiffer
robertpfeiffer / churchmath.hs
Created May 29, 2010 17:16
Prelude> let church n f = foldl (.) id (map (\x -> f) [1..n])
Prelude> let unchurch fun = fun (+1) 0
Prelude> let mul = (.)
Prelude> let exp a b = ($) b a
Prelude> let exp2 m n f x = n m f x
Prelude> :t exp2
exp2 :: t -> (t -> t1 -> t2 -> t3) -> t1 -> t2 -> t3
Prelude> let exp1 m n = n m
Prelude> :t exp1
exp1 :: t -> (t -> t1) -> t1
@robertpfeiffer
robertpfeiffer / Rope.fs
Created May 5, 2010 14:12 — forked from anonymous/Ropes in F#
// Learn more about F# at http://fsharp.net
#light
module Module1
open System
open System.Collections.Generic
type Rope = Rope of int * int * RopeNode
and RopeNode =
Concat of Rope * Rope
@robertpfeiffer
robertpfeiffer / zipper.fs
Created April 26, 2010 15:48
module test
#light
type 'element Tree =
| TreeNode of 'element Tree * 'element Tree
| TreeLeaf of 'element
type 'element Zipper =
| LeftNode of 'element Zipper * 'element Tree
| RightNode of 'element Zipper * 'element Tree
| Root
@robertpfeiffer
robertpfeiffer / gist:291806
Created February 1, 2010 16:38
From 06311538cd292e01cd5a720eb900cc92b8121a21 Mon Sep 17 00:00:00 2001
From: robert.pfeiffer <robert.pfeiffer@0edcaff0-1f94-41fd-a3cc-b4922521d3a4>
Date: Thu, 28 Jan 2010 16:45:04 +0000
Subject: [PATCH] populate task
git-svn-id: svn+ssh://svn.hpi.uni-potsdam.de/svn/branches/accounting@2729 0edcaff0-1f94-41fd-a3cc-b4922521d3a4
---
lib/tasks/populate.rake | 6 +++-
lib/tasks/populate_accounting.rake | 42 ++++++++++++++++++++++++++++++++++++
2 files changed, 46 insertions(+), 2 deletions(-)
@robertpfeiffer
robertpfeiffer / embed.html
Created January 30, 2010 17:50
<html>
<head>
<title>Embedded webshell</title>
<script type="text/javascript" src="http://prototypejs.org/assets/2009/8/31/prototype.js"></script>
<script type="text/javascript" src="http://localhost:8081/rest/backend/eval.js"></script>
</head>
<body>
<h1>Embedded webshell</h1>
<div id="output" > </div>