Skip to content

Instantly share code, notes, and snippets.

View jonnybest's full-sized avatar

Jonathan Best jonnybest

7 followers · 15 following
View GitHub Profile
@jonnybest
jonnybest / gist:3578033
Created September 1, 2012 15:49
<a href="http://www.youtube.com/watch?v=933hKyKNPFQ" target="_blank">http://www.youtube.com/watch?v=933hKyKNPFQ</a>
@jonnybest
jonnybest / marksweepgc_soundness1.als.z3
Created July 25, 2012 10:30
a model for proving soundness of the gc marksweep algorith (originally generated from the marksweep sample in alloy4 http://alloy.mit.edu/alloy/download.html)
(set-logic AUFLIA)
(set-option :macro-finder true)
(set-option :produce-unsat-cores true)
;; sorts
(declare-sort Atom)
(declare-sort Rel1)
(declare-sort Rel2)
(declare-sort Rel3)
;; --end sorts
@jonnybest
jonnybest / htaccess
Created December 14, 2011 14:49 — forked from dave1010/htaccess
HTTP Status Cats Apache (htaccess) config
# HTTP Status Cats
# Apache (htaccess) config created by @dave1010
# Licensed CC BY 2.0
# Images CC BY 2.0, from GirlieMac's photostream:
# http://www.flickr.com/photos/girliemac/sets/72157628409467125/with/6508023065/
# Usage: copy save this file as .htaccess or add it to your httpd.conf
ErrorDocument 404 '<a href="http://www.flickr.com/photos/girliemac/6508022985/" title="404 - Not Found by GirlieMac, on Flickr"><img src="http://farm8.staticflickr.com/7172/6508022985_b22200ced0.jpg" width="500" height="400" alt="404 - Not Found"></a>'
@jonnybest
jonnybest / gist:1238850
Created September 24, 2011 01:55
D:\Entwicklung\gitrepos\coapp-project\output\any\debug\bin>coapp install-package libd-2.0.0.0-x86.msi
CoApp Project CoApp Version 1.1.1.984 for x86
Copyright (c) Garrett Serack, CoApp Contributors 2010-2011. All rights reserved
CoApp command line utility
-------------------------------------------------------------------------------
Packages to install:
Name|Version|Arch|Type |Location
-------------------------------------------------------------------------------------------------------------
libd|2.0.0.0|x86 |Requested|D:\Entwicklung\gitrepos\coapp-project\output\any\debug\bin\libd-2.0.0.0-x86.msi
@jonnybest
jonnybest / update-coapp.ps1
Created August 30, 2011 06:41
Powershell update script for multiple git repositories
$git = $env:programfiles+"\Git\cmd\git.cmd";
if (!$git) {
Write-Host "Something went wrong.
Please enter the path to git.cmd or git.exe:";
$git = Read-Host;
Set-Variable -Name git -Value $git;
}
ls -name -Exclude *.* | foreach {cd .\$_ ; .$git pull origin master ; cd ..}
Write-Host "Done.";
@jonnybest
jonnybest / coapplinks.md
Created August 29, 2011 12:49
Coapp links
@jonnybest
jonnybest / seesmic-panel-remove.js
Created June 13, 2011 14:32
hack for seesmic ui - removes the annoying panel on the left hand side
document.evaluate('//*[@id="sideBarPanel"]', document, null, XPathResult.UNORDERED_NODE_ITERATOR_TYPE, null ).iterateNext().style.display = "none";
// hack für seesmic. entfernt die linke Leiste, sodass genug Platz für die wichtigen Teile der Seite bleibt
@jonnybest
jonnybest / umlauts.cpp
Created February 22, 2011 21:12
Umlaute auf die Console schreiben
#include <iostream>
int main(int argc, char* argv[])
{
std::locale::global(std::locale("German_germany"));
std::cout << "Hallo, schöne Welt!" << std::endl;
}