Skip to content

Instantly share code, notes, and snippets.

View IgnoredAmbience's full-sized avatar

Thomas Wood IgnoredAmbience

133 followers · 89 following
View GitHub Profile
@IgnoredAmbience
IgnoredAmbience / PKGBUILD
Created October 29, 2012 22:31
z3-git PKGBUILD for Arch Linux
# Maintainer: Thomas Wood <grand.edgemaster@gmail.com>
pkgname=z3-git
pkgver=20121029
pkgrel=1
pkgdesc="A high performance theorem prover"
arch=('any')
url="http://research.microsoft.com/en-us/um/redmond/projects/z3/"
license=('custom')
depends=('gcc-libs')
makedepends=('git' 'dos2unix')
@IgnoredAmbience
IgnoredAmbience / cfa.hs
Created February 23, 2013 18:36
Control Flow Analysis solver for a simple functional language (Yes, my Haskell sucks, I'm out of practice!)
import Data.Set (Set, unions, union, insert, empty, singleton, foldl, member, isSubsetOf)
import Data.Maybe (fromMaybe)
import Text.Show.Pretty (ppShow)
class ShowNolabel a where
showNolabel :: a -> String
data Expr = Expr {term :: Term, label :: Integer}
deriving (Eq, Ord)
instance Show Expr where
@IgnoredAmbience
IgnoredAmbience / gist:8153776
Created December 27, 2013 22:52
Results of "SELECT * FROM `tc_stations` WHERE is_lu =1 AND is_nr =1"
|------
|id|name|zone|is_lu|is_nr|is_dlr|is_lo|is_tl|location_ns
|------
|13|Amersham|9|1|1|0|0|0|N
|24|Balham|3|1|1|0|0|0|S
|28|Barking|4|1|1|0|1|0|N
|50|Bethnal Green|2|1|1|0|0|0|N
|55|Blackfriars|1|1|1|0|0|0|N
|70|Brixton|2|1|1|0|0|0|S
|90|Cannon Street|1|1|1|0|0|0|N
@IgnoredAmbience
IgnoredAmbience / gist:8338840
Created January 9, 2014 18:00
diff --git a/src/core/trunk/Makefile b/src/core/trunk/Makefile
index 53711c1..7df59f2 100644
--- a/src/core/trunk/Makefile
+++ b/src/core/trunk/Makefile
@@ -97,6 +97,7 @@ FAST_VO=$(FAST_SRC:.v=.vo)
.PHONY: all report depend clean
.SUFFIXES: .v .vo
+.SECONDARY:
@IgnoredAmbience
IgnoredAmbience / gist:9624277
Last active August 29, 2015 13:57
*
+*.ac.*
+*.acm.org
+*.amazonaws.com
+*.ams.org
+*.asn.au
+*.cajadores.com
+*.ctan.org
+*.dagstuhl.de
+*.de
@IgnoredAmbience
IgnoredAmbience / index.html
Last active August 29, 2015 13:57
<html>
<body>
<script type="text/javascript" src="this.js"></script>
</body>
</html>
@IgnoredAmbience
IgnoredAmbience / apache-versions
Last active August 29, 2015 13:58
$ ls */core/pool/main/a/apache2/apache*bin*amd64.deb
10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.10_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.10_amd64.deb
10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.11_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.11_amd64.deb
10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.12_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.12_amd64.deb
10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.13_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.13_amd64.deb
10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.4_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.4_amd64.deb
10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.6_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.6_amd64.deb
10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.7_amd64.deb luci
@IgnoredAmbience
IgnoredAmbience / deadbeef.wacc
Created September 25, 2014 13:03
begin
int i = -2147483648;
while i < 2147483647 do
pair (int, int) px = newpair (-559038737, -559038737);
i = i + 1
done;
pair (int, int) pi = newpair (101, 102) ;
pair (char, char) pc = newpair ('a', 'b');
pair (pair, pair) pp = newpair (pi, pc);
pi = snd pp;
@IgnoredAmbience
IgnoredAmbience / JsCorrectness.xml
Last active August 29, 2015 14:14
This file has been truncated, but you can view the full file.
<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE InductiveDefinition SYSTEM "http://mowgli.cs.unibo.it/dtd/cic.dtd">
<InductiveDefinition noParams="1" id="i1959" params="">
<InductiveType id="i0" name="runs_type_correct" inductive="true">
<arity>
<PROD type="Type">
<decl id="i1953" type="Type" binder="runs">
<MUTIND uri="cic:/JsInterpreter/runs_type.ind" noType="0" id="i1955"/>
@IgnoredAmbience
IgnoredAmbience / gist:b92646469d91c1e58aa9
Created May 6, 2015 13:02
<p begin="00:00:08.88" id="p0" end="00:00:11.36">BIRDSONG</p>
<p begin="00:00:55.20" id="p1" end="00:00:58.00">ENGINE CHUGS</p>
<p begin="00:01:55.68" id="p2" end="00:01:58.20">GATES THUD</p>
<p begin="00:02:09.04" id="p3" end="00:02:12.60">WATER POURS</p>
<p begin="00:02:52.20" id="p4" end="00:02:55.40">MACHINERY CRANKS</p>
<p begin="00:03:26.44" id="p5" end="00:03:29.12">MACHINERY CRANKS</p>
<p begin="00:05:35.92" id="p6" end="00:05:39.20">GATES CREAK</p>
<p begin="00:05:51.08" id="p7" end="00:05:54.04">ENGINE CHUGS</p>
<p begin="00:06:48.72" id="p8" end="00:06:51.40">DUCK QUACKS</p>
<p begin="00:11:08.48" id="p9" end="00:11:11.56">BIRDS TWEET</p>