Miëtek Bak mietek

Grid computing with Apple's Xgrid

How to set up a grid of computers using the Mac OS X desktop version.

Any machine can be an agent. Configure the agent using the Sharing Pane of System Preferences. See Managing Xgrid Agents.

This simple script will take a picture of a whiteboard and use parts of the ImageMagick library with sane defaults to clean it up tremendously.

The script is here:

#!/bin/bash
convert "$1" -morphology Convolve DoG:15,100,0 -negate -normalize -blur 0x1 -channel RBG -level 60%,91%,0.1 "$2"

	module Foo where
	foreign export ccall foo :: Int -> IO Int

	foo :: Int -> IO Int
	foo n = return (length (f n))

	f :: Int -> [Int]
	f 0 = []
	f n = n:(f (n-1))

	module Sorting where
	-- See https://www.twanvl.nl/blog/agda/sorting

	open import Level using () renaming (zero to ℓ₀;_⊔_ to lmax)
	open import Data.List hiding (merge)
	open import Data.List.Properties
	open import Data.Nat hiding (_≟_;_≤?_)
	open import Data.Nat.Properties hiding (_≟_;_≤?_;≤-refl;≤-trans)
	open import Data.Nat.Logarithm
	open import Data.Nat.Induction

	module Sorting where

	open import Level using () renaming (zero to ℓ₀;_⊔_ to lmax)
	open import Data.List
	open import Data.List.Properties
	open import Data.Nat hiding (_≟_;_≤?_)
	open import Data.Nat.Properties
	open import Data.Product
	open import Data.Sum
	open import Relation.Nullary

	#!/usr/bin/env python
	"""strip outputs from an IPython Notebook

	Opens a notebook, strips its output, and writes the outputless version to the original file.

	Useful mainly as a git filter or pre-commit hook for users who don't want to track output in VCS.

	This does mostly the same thing as the `Clear All Output` command in the notebook UI.

	LICENSE: Public Domain

	module Unify where

	-- Translated from http://strictlypositive.org/unify.ps.gz

	open import Data.Empty
	import Data.Maybe as Maybe
	open Maybe hiding (map)
	open import Data.Nat
	open import Data.Fin
	open import Data.Product hiding (map)

	digraph {
	"Vannevar Bush" -> "Claude Shannon";

	"Claude Shannon" -> "Ivan Sutherland";

	subgraph ailab {
	rank = same;
	edge[dir=none];

	"Seymour Papert" -> "Marvin Minsky";

	module Primes where

	open import Level using (_⊔_)
	open import Coinduction
	open import Function
	open import Data.Empty
	open import Data.Unit
	open import Data.Nat
	open import Data.Nat.Properties
	open import Data.Nat.Divisibility