schani

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix tracker: <http://www.tracker-project.org/ontologies/tracker#> .
@prefix test: <http://www.tracker-project.org/ontologies/test#> .

test: a tracker:Namespace ;
	tracker:prefix "test" .

test:Entity a rdfs:Class .

schani

PREFIX test: <http://www.tracker-project.org/ontologies/test#>

SELECT ?n1,?n2,?n3,?n4,?n5,?n6,?n7,?n8,?n9,?n10,?n11,?n12,?n13,?n14,?n15,?n16,?n17,?n18,?n19
WHERE {
<test:n0> test:edge ?n1 .
?n1 test:edge ?n2 .
?n2 test:edge ?n3 . 
?n3 test:edge ?n4 . 
?n4 test:edge ?n5 . 
?n5 test:edge ?n6 . 

schani

triplet(n0, edge, n1).

triplet(n1, edge, n0).
triplet(n1, edge, n2).

triplet(n2, edge, n1).
triplet(n2, edge, n3).

triplet(n3, edge, n2).
triplet(n3, edge, n4).

schani

[color]
	pager = true
	ui = auto
	branch = auto
	diff = auto
	interactive = auto
	status = auto

schani

(define-key-after
  global-map
  [menu-bar bertl]
  (cons "Bertl" (make-sparse-keymap "beidel"))
  'tools)

(defun bertl-pipe-region (command)
  (interactive "sCommand: ")
  (shell-command-on-region (region-beginning) (region-end) command nil t))

schani

(defun bertl-switch-to-buffer (name)
  (interactive "BSwitch to buffer")
  (let ((buffer (get-buffer name)))
    (if buffer
	(switch-to-buffer buffer)
      (progn
	(switch-to-buffer name)
	(setq buffer-offer-save t)
	(auto-save-mode t)))))

schani

(defun make-bertl-untitled-name (i)
  (concat "untitled-" (number-to-string i)))

(defun bertl-switch-to-untitled-buffer ()
  (interactive)
  (let ((index 0))
    (while (get-buffer (make-bertl-untitled-name index))
      (setq index (1+ index)))
    (bertl-switch-to-buffer (make-bertl-untitled-name index))))

schani

(defun bertl-kill-region ()
  (interactive)
  (if rm-mark-active
      (kill-rectangle (region-beginning) (region-end))
    (kill-region (region-beginning) (region-end))))

schani

Introduction

Last weekend several hundred programming teams all over the world participated in the 2010 ICFP Programming Contest. Among them, of course, the glorious team Funktion im Kopf der Mensch.

The task

This year’s task was multi-layered. There was a core problem, but to even get to the point where we could submit part of a solution to it, we had to first make our way through a couple of secondary tasks.

The core task

The primary task was to submit “cars” and “fuels” to the organizers’

schani

commit 8e49f5fcf7211fe8deef14b7ac09d712644cf319
Author: Mark Probst <mark.probst@gmail.com>
Date:   Sat Jul 3 15:16:39 2010 +0200

    Don't suspend exception thread on darwin.

	Modified mono/metadata/gc-internal.h
diff --git a/mono/metadata/gc-internal.h b/mono/metadata/gc-internal.h
index c9a4ee9..8df916e 100644
--- a/mono/metadata/gc-internal.h